为何返回int类型的匿名方法会被推断为Func<int?>？

核心逻辑拆解 #

你的推测完全正确：C#的类型推断会针对匿名函数的返回值进行隐式转换适配，以此匹配泛型参数的约束。

第一个案例的推断过程

给定代码：

int? value = null;
M(() => 5, value);

编译器的推断步骤如下：

1. 从第二个参数value直接得到T的候选类型为int?。
2. 处理第一个参数() => 5：这是一个无类型的匿名函数，编译器需要将它适配为Func<T>（即Func<int?>）。由于int可以隐式转换为int?（值类型到可空值类型的默认隐式转换），这个匿名函数的返回值5可以被自动提升为int?，因此Func<int?>是合法的类型，完全匹配T=int?的约束。
3. 两个参数的约束达成一致，最终T被确定为int?。

第二个案例的失败原因

给定代码：

int? value = null;
Func<int> function = () => 5;
M(function, value);

这里的关键差异是function已经被显式声明为Func<int>：

1. 第一个参数的类型固定为Func<int>，因此T的候选类型被锁定为int。
2. 第二个参数value是int?，无法隐式转换为int；同时，泛型协变只支持引用类型，Func<int>不能协变转换为Func<int?>（int是值类型）。
3. 没有能同时满足两个参数的T，因此类型推断失败。

补充说明 #

匿名函数（包括lambda表达式）本身没有固定的编译时类型，属于“无类型委托/表达式树”，编译器会根据上下文的类型约束，尝试通过隐式转换来匹配目标类型——这也是它和显式声明的委托实例最大的区别。

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