C# 根据传递的委托(delegate)推断泛型类型

Question

我有以下代码:

public static class X
{
    public static C Test<A,B,C>(this A a, Func<B,C> f)
        where C:class
    {
        return null;
    }

}

public class Bar
{
    public Bar()
    {
        this.Test(foo); //this doesn't compile
        this.Test((Func<int, string>)foo);
        this.Test((int q) => "xxx");
    }

    string foo(int a) { return ""; }
}

为什么标记的行不能编译？它与不属于签名的返回类型有关吗？
但是第三行确实编译了，这让我猜测编译器将它变成了类似于第二行的东西......

Answer 1

基本上，规范第 7.5.2 节中描述的类型推断过程在方法组转换方面相对较弱。在带注释的标准中，第 7.5.2.6 节讨论了输出类型推断——包括方法组——Vladimir Reshetnikov 的注释指出:

This step [method group output type inference] applies only if all method type parameters occurring in the delegate parameter types are already fixed. Overload resolution does not try to select the best method based on incomplete type information.

我相信这正是这里的问题 - 当然，您实际上只有一个可以调用的方法，并且方法组只包含一个方法，但是类型推断过程还不够强大，无法将两者联系在一起.