Почему компилятор не выводить общий тип

Question

У меня есть следующий метод:

public static void Foo<T>(Predicate<T> validator) { ... } 

И я хочу, чтобы назвать это следующим образом:

Foo(s => string.IsNullOrEmpty(s)); 

Почему не компилятор выяснить, s есть string и поэтому T есть string? Какое правило в спецификации делает алгоритм вывода неудачным здесь?

Answer 1

Я признаю, что я не проверил всю C# 5.0 спецификации, но раздел 8.5.1 декларация локальной переменных говорит немного о var ключевом слове, которое используется для объявления распознанного типа.

Вот правила для переменных, объявленных для var и для всех выводимых переменных:

• Локальная переменная декларация не может включать в себя несколько локальных переменных при-declarators.
• Локальная переменная-декларатор должна включать инициализатор локальной переменной.
• Инициализатор с локальной переменной должен быть выражением.
• Инициализатор выражение должно иметь тип времени компиляции.
• Инициализатором выражение не может относиться к самой объявленной переменной

Поскольку это лямбда, ваш Inferred инициализатор:

string.IsNullOrEmpty(s) 

ОК, так что ...

• У него нет нескольких локальных переменных-деклараторов. Проходить.
• Он включает в себя local-variable-intitalizer, потому что это лямбда. Проходить.
• Это выражение. Проходить.
• string.IsNullOrEmpty возвращает строку. Проходить.
• Он полагается на себя, передается функции для определения типа. Потерпеть неудачу.

Итак, чтобы ответить на ваш вопрос, ваш инициализатор в конечном итоге терпит неудачу, потому что его тип должен быть известен, прежде чем вы сможете передать его методу.

Лямбда может исправить это относительно легко, хотя:

Foo(string s => string.IsNullOrEmpty(s));