摘自《C#语言规范4.0》第7.5.3.2节：

7.5.3.2 更好的函数成员

为确定更好的函数成员，构造一个精炼的实参列表 A，其中只包含实参表达式本身，采用其出现在原始实参列表中的顺序。

每个候选函数成员的形参列表按以下方式构造：

• 如果函数成员只以展开形式适用，则使用展开形式。
• 从形参列表中移除没有对应实参的可选形参。
• 对形参重新排序，从而使其出现在与实参列表中的对应实参相同的位置上。

给定一个带有实参表达式集 { E₁, E₂, ..., E_N } 的实参列表 A 和带有形参类型 { P₁, P₂, ..., P_N } 和 { Q₁, Q₂, ..., Q_N } 的两个适用的函数成员 M_P 和 M_Q，则在以下情形中，M_P 将定义为比 M_Q 更好的函数成员

• 对于每个实参，从 E_X 到 Q_X 的隐式转换不如从 E_X 到 P_X 的隐式转换好，并且
• 对于至少一个参数，从 E_X 到 P_X 的转换比从 E_X 到 Q_X 的转换更好。

当执行此计算时，如果M_P或 M_Q以展开形式适用，则 P_X或 Q_X所代表的是展开形式的参数列表中的参数。

在形参类型序列 {P₁, P₂, …, P_N} 和 {Q₁, Q₂, …, Q_N} 等效（即每个 P_i 都有到对应 Q_i 的标识转换）的情况下，将应用以下附加规则来确定更好的函数成员。

• 如果 M_P 是非泛型方法而M_Q 是泛型方法，则M_P 比M_Q 好。
• 否则，如果 M_P 在正常形式下适用，M_Q 有一个 params 数组并且仅在其展开形式下适用，则 M_P 比 M_Q 好。
• 否则，如果 M_P 具有比 M_Q 更多的已声明形参，则 M_P 比 M_Q 好。如果两个方法都有 params 数组，并且都仅在其展开形式下适用，就可能出现这种情况。
• 否则，如果 M_P 的所有形参都有对应实参，而需要使用默认实参替换 M_Q 中的至少一个可选形参，则 M_P 比 M_Q 好。
• 否则，如果 M_P 具有比 M_Q 更明确的形参类型，则 M_P 比 M_Q 好。假设 {R₁, R₂, …, R_N} 和 {R₁, R₂, …, R_N} 表示 M_P 和 M_Q 的未实例化和未展开的形参类型。如果对于每个形参，R_X 都不比 S_X 更不明确，并且至少对于一个形参，R_X 比 S_X 更明确，则 M_P 的形参类型比 M_Q 的形参类型更明确：
• 类型形参不如非类型形参明确。
• 递归地，如果某个构造类型至少有一个类型实参更明确，并且没有类型实参比另一个构造类型（两者具有相同数目的类型实参）中的对应类型实参更不明确，则某个构造类型比另一个构造类型更明确。
• 如果一个数组类型的元素类型比另一个数组类型的元素类型更明确，则第一个数组类型比第二个数组类型（具有相同的维数）更明确。
• 否则，如果一个成员是非提升运算符而另一个是提升运算符，则非提升运算符更佳。

否则，两个函数成员都不是更好的。