方法组自然类型改进

注意

本文是特性规范。该规范充当该功能的设计文档。它包括建议的规范更改，以及功能设计和开发过程中所需的信息。这些文章将发布，直到建议的规范更改最终确定并合并到当前的 ECMA 规范中。

功能规范与已完成的实现之间可能存在一些差异。这些差异记录在相关的语言设计会议（LDM）笔记中。

可以在规范一文中详细了解将功能规范采用 C# 语言标准的过程。

总结

此建议通过多种方式优化方法组的自然类型的确定：

逐个范围考虑候选方法（首先是实例方法，然后是每个范围内的扩展方法）
修剪那些没有成功机会的候选项，这样他们就不会干扰确定唯一的签名：
- 如果未提供类型参数（var x = M;），则删除泛型实例方法
- 根据可减少扩展的能力和约束条件来修剪泛型扩展方法

在 C# 10 中，方法组获得了弱的自然类型。
该类型是一种“弱类型”，因为它仅在方法组不是目标类型（即它在 System.Action a = MethodGroup;中没有作用）时才起作用。
这种弱自然类型可能出现 var x = MethodGroup; 等情况。

如果方法组中的所有候选方法都具有通用签名，则方法组具有自然类型。（如果方法组可能包含扩展方法，则候选项包括包含类型和所有扩展方法范围。

在实践中，这意味着我们：

原则是逐个范围地仔细筛选候选对象，尽早去除那些我们已知不可能成功的候选者，这就是重载解析中使用的相同原则。

对于初始范围，如果相关类型的方法是静态的，并且接收者是类型；或者如果它们是非静态的，并且接收者是值，则这些方法与提供的类型参数基本匹配，并且使用提供的类型参数满足约束，则这些方法都在集合中
对于后续作用域，该作用域中的扩展方法可以用提供的类型参数替换，并在满足约束条件的同时使用接收器的值进行缩减