Вывод типа делегата C#

Question

Почему не может компилятор C# вывести T в int в указанном примере?

void Main() 
{ 
    int a = 0; 
    Parse("1", x => a = x); 
    // Compiler error: 
    // Cannot convert expression type 'int' to return type 'T' 
} 

public void Parse<T>(string x, Func<T, T> setter) 
{ 
    var parsed = .... 
    setter(parsed); 
} 

Answer 1

типа Метод вывода на лямбда требует, чтобы типы параметров лямбда известны уже до типов возвращается сделаны на основе. Так, например, если у вас:

void M<A, B, C>(A a, Func<A, B> f1, Func<B, C> f2) { } 

и вызов

M(1, a=>a.ToString(), b=>b.Length); 

тогда мы заключаем:

A is int, from the first argument 
Therefore the second parameter is Func<int, B>. 
Therefore the second argument is (int a)=>a.ToString(); 
Therefore B is string. 
Therefore the third parameter is Func<string, C> 
Therefore the third argument is (string b)=>b.Length 
Therefore C is int. 
And we're done. 

См, нам нужно выработать B и B работать вне C. В вашем случае вы хотите выработать T от T. И вы не можете этого сделать.

Answer 2

См. http://msdn.microsoft.com/en-us/library/ms379564%28v=vs.80%29.aspx раздел об общих методах.

Обратите внимание, что компилятор не может вывести тип в зависимости от типа возвращаемого значения .