新Orcas语言特性：扩展方法

【原文地址】new "orcas" language feature: extension methods
【原文发表日期】 tuesday, march 13, 2007 2:27 am

上个星期，我发表了我准备写的讨论一些新的vb和c#语言特性的系列博客贴子的第一篇，这些新语言特性是将于今年晚些时候发布的visual studio和.net框架orcas版的一部分。

我的上一个博客贴子讨论了自动属性，对象初始化器和集合初始化器等新特性。如果你还没有读过这个帖子的话，请在这里阅读。今天的贴子讨论一个vb和c#中都具有的，重要得多的新特性：扩展方法 (extension methods)。

什么是扩展方法 (extension methods)?

扩展方法允许开发人员往一个现有的clr类型的公开契约(contract)中添加新的方法，而不用生成子类或者重新编译原来的类型。扩展方法有助于把今天动态语言中流行的对duck typing的支持之灵活性，与强类型语言之性能和编译时验证融合起来。

扩展方法促成了好多有用的使用场景，并使在作为orcas一部分发布的.net版本中引进的非常强大的linq查询框架成为可能。

简单的扩展方法例子：

有没有想过要检查一个字符串变量是否是个合法的电子邮件地址？ 在今天，你大概需要通过调用一个单独的类（或许通过一个静态方法）来实现检查该字符串变量是否合法。譬如，象这样：

 

 

而使用c#和vb中的新“扩展方法”语言特性的话，我则可以添加一个有用的“isvalidemailaddress()”方法到string类本身中去，该方法返回当前字符串实例是否是个合法的字符串。然后我可以把我的代码重写一下，使之更加干净，而且更具描述性，象这样：

 

 

我们是怎么把这个新的isvalidemailaddress()方法添加到现有的string类里去的呢？我们是通过定义一个静态的类型，带有我们的“isvalidemailaddress”这个静态的方法来实现的，象下面这样：

 

 

注意，上面的静态方法在第一个类型是string的参数变量前有个“this”关键词，这告诉编译器，这个特定的扩展方法应该添加到类型为“string”的对象中去。然后在isvalidemailaddress()方法实现里，我可以访问调用该方法的实际string实例的所有公开属性/方法/事件，取决于它是否是合法电子邮件地址来返回true/false。

在我的代码里把这个特定的扩展方法的实现添加到string实例，我只要使用标准的“using”语句来引入含有该扩展方法的实现的命名空间：

 

 

然后编译器就会在任何string上正确地定位isvalidemailaddress()方法。在公开发行的orcas三月份的ctp中的c#和vb在visual studio代码编辑器里对扩展方法提供了完整的intellisense支持。所以，当我在一个字符串变量上点击“.”关键词时，我的扩展方法现在就会出现在intellisense的下拉框里:

vb和c#编译器也会很自然地给与你对所有扩展方法用法的编译时的检查，这意味着你会得到一个编译时错误，假如你键错或者错用一个扩展方法的话。

[感谢david hayden，是他在去年的一个老帖子 里第一个示范了我在上面使用的这个isvalidemailaddress使用场景。]

扩展方法使用场景续...

利用扩展方法这个新特性来给个别类型添加方法给开发人员开辟了许多有用的扩展性使用场景。但使得扩展方法非常强有力的是，它们不仅能够应用到个别类型上，也能应用到.net框架中任何基类或接口上。这允许开发人员建立种种可用于整个.net框架的丰富的可组合的框架层扩展。

譬如，考虑这样一个场景，我想要一个既容易，描述性又强的方式来检查一个对象是否已经包含在一个对象集合或数组里。我可以定义一个简单的.in（集合）扩展方法，我想把它添加到.net框架中的所有对象上，我可以在c#里这么来实现这个“in()”扩展方法：

注意上面我是如何声明扩展方法的第一个参数的：“this object o”。这表明，这个扩展方法应该适用于继承于基类system.object的所有类型，这意味著我可以在.net中的每个对象上使用它。

上面这个“in”方法的实现允许我检查一个指定的对象是否包含在作为方法参数传入的一个ienumerable序列中。因为所有的.net集合和数组都实现了ienumerable接口，现在我拥有了一个有用的，描述性强的方法来检查一个任意的对象是否属于任何.net集合或数组。

然后我就可以使用这个“in()”方法来看一个特定的字符串是否在一个字符串数组中：

我也可以用它来检查一个特定的asp.net控件是否在一个容器控件集合里：

我甚至可以将其用在象整数这样的标量数据类型上：

注意上面，你甚至可以在象整数值42这样的基本数据类型值上使用扩展方法。因为clr支持数值类型的自动boxing/unboxing，扩展方法可以直接使用在数值和其他标量数据类型上。

你大概可以开始从上面的例子中看出，扩展方法可以促成一些非常丰富和描述性强的扩展性使用场景。当使用于.net中常见的基类和接口上时，他们可以促成一些非常好的特定于某个领域(domain specific)的框架和组合使用场景。

内置的system.linq扩展方法

一个在orcas时段随.net发布的内置的扩展方法库是一套允许开发人员对任何数据进行查询的非常强有力的查询扩展方法。这些扩展方法实现位于新的 system.linq 命名空间之下，定义了标准的查询操作符扩展方法，可以为.net开发人员用来轻松地查询xml，关系数据库，.net 对象， 和任何其他数据结构类型。

下面是使用这些查询扩展方法的扩展性模型的几个好处：

1) 它允许一个可用于所有数据类型（数据库，xml文件，内存中的对象，以及web-services等）的共同的查询编程模型和语法。

2) 它是可以组合的，允许开发人员轻松地往查询语法中添加新的方法/操作符。譬如，我们可以将我们自定义的“in()”方法与为linq所定义的标准的“where()”方法作为一个单独查询的一部分一起使用。我们自定义的in()方法看上去就跟由system.linq命名空间提供的标准方法一样。

3) 它是可扩展的，允许与任何数据提供器类型一起使用。譬如，任何一个象nhibernate或llblgen这样现有的orm引擎可以实现linq的标准查询操作符来允许对他们现有的orm实现和映射引擎实现linq查询。这允许开发人员学会一个查询数据的共同方式，然后对种类繁多的丰富数据存储实现使用同样的技能。

我将在下几个星期里对linq作更多的示范，但想留给你几个例子，这些例子展示了如何对不同类型的数据使用几个内置的linq查询扩展方法：

使用场景一：对内存中的.net对象使用linq扩展方法

假定我们象这样定义了代表“person”的类：

然后我可以使用新的对象初始化器和集合初始化器特性创建和填充一个“people”集合，象这样：

然后我可以使用由system.linq提供的标准的“where()”扩展方法来获取这个集合中firstname的首字符是"s"的那些“person”对象，象这样：

上面这个新的 p => 语法是“lambda表达式”的一个例子，是对c# 2.0匿名方法支持的更简明的发展，允许我们通过一个实参来轻松地表达查询过滤（在这个情形下，我们表示我们只想要返回一串firstname属性的首字符是“s”字母的person对象) 。上面这个查询然后就会返回包含2个对象的序列，scott 和 susanne。

我也可以利用由system.linq提供的新的“average” 和“max”扩展方法编写代码来决定我的集合里的人的平均年龄，以及年龄最大的人，象这样：

使用场景二：对xml文件使用linq扩展方法

你手工在内存里创建一个硬写(hard-coded)的数据集合大概是很少见的。更有可能的是，你会从一个xm文件，数据库，或web服务里获取数据。

假定我们在硬盘上有一个xml文件，包含下面这样的数据：

很明显地，我可以使用现有的 system.xml apis 来装载这个xml文件进一个dom，然后访问它，或者使用一个层次较低的xmlreader api ，自己对之手工分析。或者，在 orcas中，我现在也可以使用支持标准的linq扩展方法的system.xml.linq 实现(即 xlinq)，更优雅地分析和处理xml。

下面的代码例子展示了如何使用linq来获取所有包含一个子节点的值的首字母为“s”的<person> xml元素：

注意，它使用了跟内存中对象例子中一模一样的 where() 扩展方法。现在它返回一个“xelement”元素序列，xelemen是没有类型的xml节点元素。或者我也可以重写查询表达式，通过linq的 select() 扩展方法来构造数据形状，提供一个使用了新的对象初始化器句法的lambda 表达式来填充同样的“person”类，跟我们第一个内存中的集合的例子一样：

上面的代码会做需要打开，分析，和过滤xml，然后返回一个强类型的person对象序列所有的工作，不需要什么映射或持久的文件来映射数值，我只是在上面的linq查询式里直接指明了从xml到对象的构形而已。

我也可以和前面一样使用同样的average() 和 max() linq扩展方法来计算xml文件中<person>元素的平均年龄，以及最大年龄，象这样：

我不用手工分析xml文件，xlinq 不仅可以为我处理分析，它在估算linq表达式时，也可以使用低层的xmlreader，而不是使用dom来分析文件。这意味着它是迅速之极，而且不分配很多内存。

使用场景三：对数据库使用linq扩展方法

假定我们拥有一个sql数据库，内含一个叫“people”的表，具有下列数据定义：

我可以使用visual studio中新的linq到sql的所见即所得(wysiwyg) orm设计器，快速地创建一个映射到数据库的“person”类：

然后我可以使用我先前用于对象和xml文件同样的linq where() 扩展方法，从数据库中获取firstname的首字符为“s”的强类型“person”对象序列：

注意，查询句法与对象和xml场景中的一模一样。

然后我也可以使用与前面一样的 linq average() 和max() 扩展方法来从数据库里获取平均和最大值，象这样：

要使上面代码例子工作，你自己不需编写任何sql代码。orcas中提供的linq到sql对象关系映射器会处理获取，跟踪，和更新映射到你的数据库数据定义和存储过程的对象。你只要使用任何linq扩展方法对结果进行过滤和构形即可，linq到sql会执行获取数据所需的sql代码(注意，上面的 average和max 扩展方法很明显地不会从数据表中返回所有的数据行，它们会使用tsql的聚合函数来计算数据库中的值，然后只返回一个标量值)。

请观看我一月份制作的一个录像，演示了linq到sql如何显著地改进了orcas中的数据生产力。录像中，你也可以看到新的linq到sql的所见即所得orm设计器的实战示范，以及对数据模型编写linq代码时代码编辑器提供的完整的 intellisense。

结语

希望上面的帖子给了你一个对扩展方法工作原理的基本理解，以及你能够利用它们来实现的一些酷扩展性方式。跟任何扩展性机制一样，我要告诫你别一开始就滥建新的扩展方法。不能因为你有一个闪亮的新榔头，就意味着世界上所有的东西突然都变成钉子了！

想着手开始尝试扩展方法的话，我建议你先探究一下orcas中system.linq命名空间中提供的标准查询操作符。这些操作符提供了对任何数组，集合，xml流，或关系数据库做丰富的查询的支持，可以极大地改进你操作数据时的生产力。我认为你会发现它们极大地减小了你要在你应用中编写的代码量，允许你编写非常干净和描述性强的语句。它们也允许你在你编码中得到查询逻辑自动的intellisense 和编译时检查。

在下几个星期里，我将继续这个关于orcas中新语言特性的系列，探讨匿名类和类的推断(type inference)，还会讨论lambda的细节和其他酷特性。很明显地，我还会地更多地讨论linq。

希望本文对你有所帮助，

scott