为何C#在部分场景无法推断匿名委托/函数的类型？

这不是C#的bug，而是类型推断规则的设计限制，核心原因在于lambda本身是无类型表达式，编译器需要明确的上下文约束才能确定它对应的委托类型。

场景A：直接赋值可推断的原因 #

当你直接把lambda赋值给var变量时，编译器有明确的单一目标上下文——它需要为var推断一个类型，此时会自动匹配最适配的标准委托类型（比如这里的Func<string>），因为lambda的签名（无参数、返回string）完全符合Func<string>的定义，没有歧义。

// Scenario A
var func = () => "Hello World"; // 可推断为Func<string>类型，无问题

场景B：switch表达式无法推断的原因 #

在switch表达式中，每个分支的lambda都是独立的无类型表达式，编译器需要先统一所有分支的类型，才能推断var的类型。但此时没有明确的上下文约束告诉编译器要把lambda转换成哪种委托——理论上，这个lambda可以被转换为任何签名匹配的委托（比如你自定义的delegate string MyDelegate();），编译器无法自动替你选择，因此必须显式指定Func<string>作为变量类型。

// Scenario B
// 无法推断类型，需将"var"替换为"Func<string>"
var func = true switch
{
    false => () => "Hello World",
    true => () => "Foo Bar"
};

场景C：即时调用无法运行的原因 #

lambda本身不是可直接执行的代码块，必须先被转换为委托类型才能调用。场景C中，你没有给编译器任何上下文来确定要转换为哪种委托，因此报错。而场景D通过显式转换为Func<string>，明确了委托类型，编译器才能正确生成调用代码。

// Scenario C
var str = (() => "Hello World")(); // 无法运行
// Scenario D
var str = ((Func<string>)(() => "Hello World"))(); // 可运行

简单来说：只有当编译器能从上下文（比如赋值目标的类型、方法参数的类型）中得到明确的委托类型约束时，才能自动推断lambda对应的类型；没有约束时，必须显式指定，否则会产生歧义。

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