【原文地址】new "orcas" language feature: lambda expressions
【原文发表日期】 sunday, april 08, 2007 4:21 pm
上个月我开始了一个贴子系列，讨论作为visual studio和.net框架orcas版本一部分发布的一些新的vb和c#语言特性。下面是这个系列的前2篇贴子：
今天的贴子讨论另一个基础性的新语言特性：lambda表达式。
什么是lambda表达式？
随vs 2005发布的c#2.0引进了匿名方法的概念，允许在预期代理(delegate)值的地方用“行内(in-line)”代码块(code blocks)来做替代。
lambda表达式为编写匿名方法提供了更简明的函数式的句法，但结果却在编写linq查询表达式时变得极其有用，因为它们提供了一个非常紧凑的而且类安全的方式来编写可以当作参数来传递，在以后作运算的函数。
lambda表达式的例子：
在我以前的扩展方法博客贴子里，我演示了你如何可以象下面这样声明一个简单的person类：
然后，我示范了你可以如何使用一些值来生成一个list<person>集合的实例，然后使用由linq提供的新的where和average扩展方法来返回集合中的人的一个子集，以及计算这个集合中的人的平均年龄：
上面高亮标记的红色 p => 表达式就是lambda表达式。在上面的例子里，我用第一个lambda来指定获取特定人时所用的过滤条件，用第二个lambda来指定在计算平均年龄时该用person对象的哪个值。
详解lambda表达式
理解lambda表达式最容易的方法是把它们设想成编写简明的行内方法的方式。譬如，我上面编写的例子可以使用c#2.0的匿名方法来编写，象这样：
上面两个匿名方法都接受一个person类型的参数。第一个匿名方法返回一个布尔值，表示person的lastname是否是guthrie，第二个匿名方法返回一个整数值（返回那个人的年龄）。我们前面使用的lambda表达式的作用是一样的，两个表达式都接受一个person类型的参数。第一个lambda表达式返回一个布尔值，第二个返回一个整数。
在c#里，一个lambda表达式在句法上是写成一个参数列表，随后是 => 符号，随后是表达式在调用时要运算的表达式或者语句块：
params => expression
所以，当我们编写这样的lambda表达式时：
p => p.lastname == "guthrie"
我们是想表示，我们在定义的lambda接受一个参数p，要运行的代码表达式返回p.lastname的值是否等于“guthrie”。 我们将参数命名为p是不相干的，我也可以很容易地将其命名为o，x，foo，或者我想要的任何名字。
不象匿名方法要求参数类型是明确地指明的，lambda表达式允许省略参数类型，而允许它们根据用法来推断出类型。譬如，当我编写 p=>p.lastname == "guthrie" 这个lambda表达式时，编译器推断出p参数属于person类型，因为当前的where扩展方法的对象是个范型的list<person>集合。
lambda参数的类型可以在编译时和被visual studio的intellisense引擎推断出来，这意味着在编写lambda时你将获得完全的intellisense 和编译时检查。譬如，注意当我在下面健入 p. 时，visual studio orcas是如何提供intellisense完成的，因为它知道 p 是 person类型：
注: 假如你要给一个lambda表达式明确地声明参数的类型的话，你可以在lambda参数表里的参数名字前声明参数类型，象这样：
针对框架开发人员的高级内容：lambda表达式树 (lambda expression trees)
从一个框架开发人员(framework developer)的角度来看，使得lambda表达式特别强有力的事情之一是，它们既可以以基于il的方法的形式被编译成代码代理（code delegate），或者也可以编译成一个表达式树(expression tree)对象，然后在运行时用来分析，转换或者优化表达式。
能将lambda表达式编译成一个表达式树对象是个强大无比的机制，将促成许多使用场景，包括使用能提供编译时句法检查和vs intellisense的统一的查询语言来建立支持丰富数据查询的高性能对象映射器（无论是关系数据库，活动目录，还是web服务）之能力。
从lambda表达式到代码代理 (code delegates)
上面的where扩展方法是个将lambda表达式编译成代码代理(code delegate)的例子（意即它是编译成il的，可以以代理的形式调用）。支持象上面那样过滤任何ienumerable集合的where()扩展方法可以使用下面这样的扩展方法代码来实现：
上面的where()扩展方法接受一个 func<t, bool> 类型的过滤参数，该参数是个接受一个类型为t的参数，返回一个布尔值表示条件是否满足的方法之代理。当我们把lambda表达式作为一个参数传递给这个where() 扩展方法时，c#编译器会将我们的lambda表达式编译成il方法代理（这里，<t> 将是person），然后我们的where()方法可以调用来计算某个给定条件是否被满足了。
从lambda表达式到表达式树
当我们要想针对类似我们的列表集合一样的内存中的数据做运算时，把lambda表达式编译成代码代理是恰如其分的。但考虑一下你想要查询数据库里的数据的情形(下面的代码是使用orcas中内置的linq到sql对象关系映射器写成的) :
这里，我要从数据库里取出一串强类型的product对象，我向where()扩展方法表示，要通过一个lambda表达式来做过滤。
我绝对不想要看到发生的是，从数据库里取回所有的产品记录，将它们放在一个局部的集合里，然后在内存里对它运行where()扩展方法来进行过滤。这么做效率极其不高，对大数据库的扩缩性将是极差的。而我希望的是，linq到sql的orm将我上面的lambda过滤条件翻译成sql表达式，然后在远程的数据库里进行过滤性查询。那样的话，我只返回那些符合查询条件的记录，这样的数据库查询效率是非常高的。
框架开发人员可以通过声明他们的lambda表达式参数是个expression<t>类型，而不是func<t>类型来取得这样的结果。这会导致lambda表达式参数被编译成一个我们可以在运行时拆开和分析的表达式树：
注意上面我是怎么把我们在先前用过的同样的 p=>p.lastname == "guthrie" lambda表达式，但这次将其赋值给一个 expression<func<person, bool>> 变量，而不是func<person,bool> 变量。编译器不会产生il，而是会指派一个表达式树对象，然后我作为一个框架开发人员就可以用它来对相应的lambda表达式进行分析，按我想要的方式对其进行运算(譬如，我可以挑出表达式中的类型，名字和值等)。
在linq到sql的情形下，它会将这个lambda过滤语句翻译成标准的关系sql语句，来对数据库进行操作(从逻辑上来说，一个“select * from products where unitprice < 55”语句)。
iqueryable<t> 接口
为帮助框架开发人员建立可查询的数据提供器，linq提供了 iqueryable<t> 接口。这个接口实现了标准的linq扩展方法查询运算符，提供了一个更便利的方式来实现对一个复杂的表达式树的处理(譬如，象下面这样，我用了3个不同的扩展方法，2个lambda来从数据库取回10个产品的情形)：
想阅读一些关于如何使用 iqueryable<t> 来建立自定义的linq数据提供器的精彩博客系列的话，请看一下下面这些别人写的精彩博客贴子：
结语
希望上面的贴子内容对如何考虑和使用lambda表达式提供了基本的理解。当与orcas中system.linq命名空间下提供的内置标准查询扩展方法结合使用时，它们提供了一个非常好的方式来对任何类型的数据进行查询和交互，同时还保持了对完整的编译时检查和intellisense的支持。
通过利用由lambda提供的对表达式树的支持，以及 iqueryable<t> 接口，构建数据提供器的框架开发人员可以确保开发人员编写的干净的编码，对任何数据源(无论是数据库，xml文件，内存中的对象，web服务，ldap系统等)运行起来速度快而且效率高。
在下几个星期里，我将完成这个从理论的层次上讨论新核心语言概念的语言系列，然后转到讨论一些极其实用的实战例子(特别是针对数据库和xml文件使用linq的场景)。
希望本文对你有所帮助，
scott