C#如何从Lambda表达式推断重载方法？

这是C#编译器重载决议与Lambda类型推断协同工作的结果，核心逻辑是编译器会逐个验证重载候选，筛选出唯一能与Lambda表达式兼容的方法。

具体匹配过程解析 #

针对x => x = 1的匹配 #

• 先验证候选方法Accept(Action<int>)：委托要求参数为int类型，Lambda中的x = 1（1是int字面量）对int类型完全合法，因此该候选可行。
• 再验证候选方法Accept(Action<string>)：委托要求参数为string类型，x = 1试图将int赋值给string，类型不兼容，该候选被排除。
• 最终仅剩唯一可行的Accept(Action<int>)，因此匹配重载#1。

针对x => x.ToLower()的匹配 #

• 先验证候选方法Accept(Action<string>)：string类型自带ToLower()方法，Lambda调用合法，该候选可行。
• 再验证候选方法Accept(Action<int>)：int类型没有ToLower()成员，调用不合法，该候选被排除。
• 最终仅剩Accept(Action<string>)，匹配重载#2。

关键适用规则（基于C#语言标准） #

• Lambda推断依赖目标委托类型：编译器会先假设当前候选方法的委托参数类型，再检查Lambda体是否符合该类型的语法、语义要求。
• 自动排除不可行候选：如果某个重载候选无法将Lambda绑定到其委托参数（比如类型不兼容、成员不存在），会直接被从候选集中移除。
• 必须存在唯一可行候选：如果多个候选都能匹配Lambda，编译器会抛出歧义调用错误。例如若新增Accept(Action<object>)，x => x.ToString()会同时匹配Action<string>和Action<object>，触发编译错误。
• Lambda体的操作反向约束类型：Lambda内的赋值、成员调用等操作，必须在假设的参数类型下合法，否则对应候选会被排除。

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