C#中静态方法传递至PartiallyApply时类型参数无法推断的问题

为什么编译器无法自动推断类型参数？ #

这本质上是C#类型推断系统对方法组的处理限制导致的。当你直接传入MakeName（一个静态方法的方法组）时，编译器并没有办法直接把它和Func<T1,T2,TResult>划等号——哪怕你的MakeName只有一个重载，方法组本身也不具备固定的委托类型，它理论上可以适配多个不同签名的委托（比如如果后续新增重载的话）。

PartiallyApply的第一个参数是泛型委托Func<T1,T2,TResult>，编译器需要明确的类型信息来推导T1、T2、TResult这三个泛型参数。而方法组本身无法提供这种明确性，必须借助外部上下文（比如显式转换为指定的Func类型）才能完成推断。

无需显式转换的可行方案 #

这里有几种简单的方式可以绕过显式转换的步骤：

1. 用Lambda表达式包裹方法调用 #

通过lambda表达式把方法调用包装起来，编译器会自动推断lambda的参数和返回值类型，进而顺利推导PartiallyApply的泛型参数：

var f1 = PartiallyApply((a, b) => MakeName(a, b), first);

2. 将静态方法改为只读Func属性 #

正如你在更新中提到的，把原来的静态方法定义成一个只读的Func属性，让它本身就具备明确的委托类型：

static Func<string, string, string> MakeName => (a, b) => a + " " + b;

之后直接传入MakeName就可以正常调用PartiallyApply了：

var f1 = PartiallyApply(MakeName, first);

3. 扩展PartiallyApply的重载（可选） #

如果你想更直接地支持方法组传入，可以给PartiallyApply新增一个重载，通过显式的参数声明帮助编译器锁定类型：

// 原方法保留
static Func<T2, TResult> PartiallyApply<T1, T2, TResult>(
    Func<T1, T2, TResult> f, T1 t1)
{
    return t2 => f(t1, t2);
}

// 新增重载，直接匹配方法组的参数形式
static Func<T2, TResult> PartiallyApply<T1, T2, TResult>(
    TResult f(T1, T2), T1 t1)
{
    return t2 => f(t1, t2);
}

这个重载使用了方法语法的委托声明，能直接接受方法组作为参数，不需要额外转换就能让编译器完成类型推断。

内容的提问来源于stack exchange，提问作者Aage