c# - 编译器在传递方法时无法确定泛型类型

Question

我在使用 C# 和泛型类型推断时遇到了问题。我想编写一个方法来传递具有任何类型的方法，但编译器无法推断我传入的方法的类型。编译器总是提示消息

Expected a method with '??? TestFunc(???, ???)' signature

这是一个测试用例。

using System;

public class Example
{
    private interface ITest
    {
        int TestFunc(string str, int i);
    }

    private class Test : ITest
    {
        public int TestFunc(string str, int i) { return 0; }
    }

    public static void Main()
    {
        ITest t = new Test();
        DoWork(t.TestFunc);
    }

    public static void DoWork<T1, T2, TResult>(Func<T1, T2, TResult> func)
    {
    }
}

谁能给我解释一下这是什么问题？

Answer 1

不幸的是，类型推断的规则极其复杂。至少，我发现它们很复杂，而且我相信 Eric 和 Mads 正在为下一版本的规范再次简化它们——很可能不会改变实现的内容，但会改变规范中的表达方式。

在这种情况下，根本问题是方法组的参数 类型对类型推断没有贡献，即使返回 类型有贡献。特别是，从 C# 4 规范的 7.5.2.6 开始:

Otherwise, if E is a method group and T is a delegate type or expression tree type with parameter types T1…Tk and return type Tb, and overload resolution of E with the types T1…Tk yields a single method with return type U, then a lower-bound inference is made from U to Tb.

它处理返回类型，但没有指定任何关于参数类型的信息。我能找到的关于方法组参数类型的规范中唯一相关的部分是:

If E is a method group or implicitly typed anonymous function and T is a delegate type or expression tree type then all the parameter types of T are input types of E with type T.

不幸的是，这无助于修复任何界限。

所以基本上，这是可行的:

使用系统；

public class Example
{
    private interface ITest
    {
        int TestFunc();
        int TestFunc2(string value);
    }

    public static void Main()
    {
        ITest t = null;
        DoWork(t.TestFunc);
        DoWork2(t.TestFunc2);
    }

    public static void DoWork<TResult>(Func<TResult> func)
    {
    }

    public static void DoWork2<TResult>(Func<string, TResult> func)
    {
    }
}

... 因为在这两种情况下唯一需要推断的类型参数是返回类型。当您尝试根据方法的输入参数推断类型参数时，事情就会出错:(