C#泛型委托类型推理

本文关键字：类型 推理 泛型 | 更新日期: 2023-09-27 18:25:07

为什么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);
}

C#泛型委托类型推理

lambda上的方法类型推断要求在推断返回的类型之前，lambda参数类型是已知的。例如，如果你有：

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.

看，我们需要A算出B，B算出C。在你的情况下，你想从…算出T。。。T.你不能那样做。

请参阅http://msdn.microsoft.com/en-us/library/ms379564%28v=vs.80%29.aspx关于泛型方法的部分。

请注意，编译器无法根据仅返回值。

相关文章：