c#3.0语言新特性之扩展方法

当前位置:

首页 > 编程开发 > Objective-C编程 >

c#3.0语言新特性之扩展方法

制作者：剑锋冷月单位：无忧统计网,www.51stat.net

　　20.2.1　引入匿名变量

当我们需要对已有类的功能进行扩展时，我们通常会想到继承，继承已有类，然后为其加入新的行为。而C# 3.0中加入的扩展方法（Extension Methods）特性，则提供了另一种实现功能扩展的方式。

　　扩展方法是一种特殊的静态方法，它定义在一个静态类中，但可以在其他类的对象上像调用实例方法那样进行调用。因此，通过扩展方法，我们就可以在不修改一个类型的前提下对一个类型进行功能上的扩充，这种方法并不会产生新的类型，而是采用向已有类中加入新方法的方式来完成功能扩展；同时，也可以将一些近似的类型中近似的功能同一实现在一个类中，便于阅读和维护。从最终效果上看，扩展方法使得扩展一个现有类型和构造一个具有附加方法的类型变成了现实。

　　20.3.1　定义扩展方法

　　在对已有类进行扩展时，我们需将所有扩展方法都写在一个静态类中，这个静态类就相当于存放扩展方法的容器，所有的扩展方法都可以写在这里面。

　　而且扩展方法采用一种全新的声明方式：

　　public static 返回类型扩展方法名(this 要扩展的类型参数名称 [,扩展方法参数列表])，

　　与普通方法声明方式不同，扩展方法的第一个参数以this关键字开始，后跟被扩展的类型名，然后才是真正的参数列表。如下面的示例是一个声明了两个扩展方法的静态类：

namespace C20_1 { 　　　 public static class Extensions 　　　 { 　　　　　　　public static int ToInt32(this string s) 　　　　　　　 { 　　　　　　　　　　　 return Int32.Parse(s); 　　　　　　　 } 　　　　　　　 public static T[] Slice<T>(this T[] source, int index, int count) 　　　　　　　 { 　　　　　　　　　　　 if (index < 0 || count < 0 || source.Length - index < count) 　　　　　　　　　　　 { 　　　　　　　　　　　　　　　 throw new ArgumentException("Argument Error Information."); 　　　　　　　　　　　 } 　　　　　　　　　　　 T[] result = new T[count]; 　　　　　　　　　　　 Array.Copy(source, index, result, 0, count); 　　　　　　　　　　　 return result; 　　　　　　　 } 　　　 } }

　　在上面的示例中，静态的Extensions类中有两个扩展方法，如方法ToInt32是对string类的扩展，它为string类加入了名为ToInt32的方法，该方法没有参数，并返回一个int类型的值，它将完成数字字符向整数的转换。有了这个扩展方法之后，就可对任意string类的对象调用ToInt32方法了，该方法就像其本身定义的一样。

　　其实，扩展方法和正常的静态方法具有完全相同的功能。另外，一旦导入了扩展方法，就可以用调用实例方法的语法来调用扩展方法。

　　20.3.2　导入扩展方法

　　扩展方法使用using导入命名空间指令来导入。除了导入一个命名空间中的类型以外，一个using导入命名空间指令还可以导入一个命名空间中所有的静态类中所有的扩展方法。最后，导入的扩展方法表现为其第一个参数的类型的附加方法，并且其优先级比一般的实例方法低。例如，我们可以使用using导入命名空间指令导入了上面例子中的C20_1命名空间：

using C20_1

　　导入扩展方法之后，我们就可以这样来调用它了。代码如下所示：

static void Main(string[] args) 　{ 　　　　　string s = "1000"; 　　　　　 int i = s.ToInt32();　　 // 和Extensions.ToInt32(s)一样　　　　　 int[] digits = { 0, 1, 2, 3, 4, 5, 6, 7, 8, 9 }; 　　　　　 int[] a = digits.Slice(4, 3);　// 和Extensions.Slice(digits, 4, 3)一样　}

　　20.3.3　调用扩展方法

　　下面描述了扩展方法调用的详细规则。在下面这些形式的方法调用中：

　 expr . identifier () expr . identifier (args) expr . identifier <typeargs>() expr . identifier <typeargs>(args)

　　如果按照正常的过程没有发现可用的实例方法（确切地说，当待调用的候选方法集合为空时），就会尝试构造一个扩展方法调用。这些方法调用首先被重写为下面相应的形式：

identifier (expr) identifier (expr,args) identifier <typeargs>(expr) identifier <typeargs>(expr,args)

　　然后将重写后的形式作为一个静态方法调用进行处理，identifier按照下列顺序进行解析：

　　首先是命名空间生命中最接近的声明，然后是每一个接近的命名空间，最后是包含这些代码的编译单元，其间不断尝试重写过的方法调用，这些方法来自一个方法组，该组由using导入命名空间指令导入的命名空间中所有可见的identifier所提供的可见的扩展方法构成。第一个产生了非空候选方法集合的方法组是对冲洗过的方法调用的一个选择。如果所有的尝试都产生了空的候选方法集合，就会出现一个编译期错误。

　　上述规则意味着实例方法的优先级胜于扩展方法，并且最后引入的命名空间中的扩展方法的优先级胜于较先引入的命名空间中的扩展方法。例如：

using N1; namespace N1 { 　　　 public static class E 　　　 { 　　　　　　　 public static void F(this object obj, int i) { } 　　　　　　　 public static void F(this object obj, string s) { } 　　　 } } class A { } class B { 　　　 public void F(int i) { } } class C { 　　　 public void F(object obj) { } } class G { 　　　 static void Test(A a, B b, C c) 　　　 { 　　　　　　　 a.F(1);　　　　　　　　　　 // E.F(object, int) 　　　　　　　 a.F("Hello");　　　 // E.F(object, string) 　　　　　　　 b.F(1);　　　　　　　　　　 // B.F(int) 　　　　　　　 b.F("Hello");　　　 // E.F(object, string) 　　　　　　　 c.F(1);　　　　　　　　　　 // C.F(object) 　　　　　　　 c.F("Hello");　　　 // C.F(object) 　　　 } }