c# - 为什么 C# 不能从这个看似简单、明显的案例中推断出类型

Question

给定这段代码:

class C
{
    C()
    {
        Test<string>(A); // fine
        Test((string a) => {}); // fine
        Test((Action<string>)A); // fine

        Test(A); // type arguments cannot be inferred from usage!
    }

    static void Test<T>(Action<T> a) { }

    void A(string _) { }
}

编译器提示 Test(A) 无法将 T 确定为 string。

这对我来说似乎是一个非常简单的案例，我发誓我在我编写的其他通用实用程序和扩展函数中依赖了更复杂的推理。我在这里缺少什么？

更新 1:这是在 C# 4.0 编译器中。我在 VS2010 中发现了这个问题，上面的示例来 self 在 LINQPad 4 中制作的最简单的案例。

更新 2:在有效列表中添加了更多示例。

Answer 1

Test(A);

这会失败，因为唯一适用的方法 ( Test<T>(Action<T>)) 需要类型推断，并且类型推断算法要求每个参数都是某种类型或者是匿名函数。 (这个事实是从类型推断算法的规范(§7.5.2)中推断出来的)方法组 A不是任何类型(即使它可以转换为适当的委托(delegate)类型)，也不是匿名函数。

Test<string>(A);

这成功了，区别在于绑定(bind)测试不需要类型推断，方法组 A 可以转换为所需的委托(delegate)参数类型 void Action<string>(string) .

Test((string a) => {});

这成功了，不同之处在于类型推断算法在第一阶段为匿名函数做出了规定(§7.5.2.1)。匿名函数的参数和返回类型是已知的，因此可以进行显式参数类型推断，从而在匿名函数( void ?(string) )中的类型与委托(delegate)类型中的类型参数之间建立对应关系Test方法的参数(void Action<T>(T))。没有为与匿名函数的该算法相对应的方法组指定算法。

Test((Action<string>)A);

这成功了，区别在于无类型方法组参数A被转换为一个类型，从而允许类型推断 Test以特定类型的表达式作为方法的唯一参数正常进行。

我在理论上想不出为什么无法在方法组 A 上尝试重载决议的原因.然后——如果找到一个最佳绑定(bind)——方法组可以被给予与匿名函数相同的待遇。在这种情况下尤其如此，其中方法组只包含一个候选者并且没有类型参数。但它在 C#4 中不起作用的原因似乎是这个特性没有被设计和实现。鉴于此功能的复杂性、应用的局限性以及三个简单的解决方法的存在，我不会屏住呼吸!