C#语言规范学习之签名和重载

方法、实例构造函数、索引器和运算符是由它们的签名来刻画的：

• 方法签名由方法的名称和它的每一个形参（按从左到右的顺序）的类型和种类（值、引用或输出）组成。需注意的是，方法签名既不包含返回类型，也不包含 params 修饰符（它可用于最右边的参数）。
• 实例构造函数签名由它的每一个形参（按从左到右的顺序）的类型和种类（值、引用或输出）组成。具体说来，实例构造函数的签名不包含可为最右边的参数指定的 params 修饰符。
• 索引器签名由它的每一个形参（按从左到右的顺序）的类型组成。具体说来，索引器的签名不包含元素类型。
• 运算符签名由运算符的名称和它的每一个形参（按从左到右的顺序）的类型组成。具体说来，运算符的签名不包含结果类型。

签名是对类、结构和接口的成员实施重载的机制：

• 方法重载允许类、结构或接口用同一个名称声明多个方法，条件是它们的签名在该类、结构或接口中是唯一的。
• 实例构造函数重载允许类或结构声明多个实例构造函数，条件是它们的签名在该类或结构中是唯一的。
• 索引器重载允许类、结构或接口声明多个索引器，条件是它们的签名在该类、结构或接口中是唯一的。
• 运算符重载允许类或结构用同一名称声明多个运算符，条件是它们的签名在该类或结构中是唯一的。

下面的示例显示了一组重载方法声明及其签名。

interface ITest
{
 void F(); // F()
 void F(int x); // F(int)
 void F(ref int x); // F(ref int)
 void F(int x, int y); // F(int, int)
 int F(string s); // F(string)
 int F(int x); // F(int) error
 void F(string[] a); // F(string[])
 void F(params string[] a); // F(string[]) error

注意，所有 ref 和 out 参数修饰符（第 10.5.1 节）都是签名的组成部分。因此，F(int) 和 F(ref int) 这两个签名都具有唯一性。还请注意，返回类型和 params 修饰符不是签名的组成部分，所以不可能仅基于返回类型或是否存在 params 修饰符来实施重载。因此，上面列出的关于方法 F(int) 和 F(params string[]) 的声明会导致编译时错误