新Orcas语言特性-查询句法

【原文地址】New "Orcas" Language Feature: Query Syntax
【原文发表日期】 Saturday, April 21, 2007 2:12

上个月我开始了一个贴子系列，讨论作为Visual Studio和.NET框架Orcas版本一部分发布的一些新的VB和C#语言特性。今天的贴子要讨论另一个基础性的新语言特性：查询句法(Query Syntax)。

什么是查询句法(Query Syntax)？

查询句法是使用标准的LINQ查询运算符来表达查询时一个方便的声明式简化写法。该句法能在代码里表达查询时增进可读性和简洁性，读起来容易，也容易让人写对。Visual Studio 对查询句法提供了完整的intellisense和编译时检查支持。

在底下，C#和VB编译器则把查询句法的表达式翻译成明确的方法调用代码，这样的代码利用了Orcas中的新的扩展方法和Lambda表达式语言特性。

查询句法的例子：

在我以前的语言系列贴子里，我示范了你可以象下面这样声明一个Person类：

然后我们可以使用下面这样的代码，用一些个人信息来生成一个List<Person>集合实例，然后使用查询句法来对该集合做一个LINQ查询，只取出那些姓（last name）的首字母为G的人，按名字（first name）来排序（升序）：

上面查询句法的表达式在语意上与下面明确使用LINQ扩展方法和Lambda表达式的代码是等同的：

使用查询句法方法的好处是，结果会是稍微容易读写些，这在表达式变得更繁复时尤其如此。

查询句法 - 理解from和select子句：

在C#中，每个查询表达式的句法从from子句开始，以select或group子句结束。from子句表示你要查询什么数据。select子句则表示你要返回什么数据，且应该以什么构形返回。

譬如，让我们再来看一下我们对List<Person>集合的查询：

在上面的代码片段里，"from p in people"表示了我要对"people" 这个集合做一个LINQ查询，我将用参数"p"代表我正查询的输入序列的每个项。我们将参数命名为"p" 这个事实是无关紧要的，我完全可以很容易地将其命名为"o", "x", "person"或我想要的任何名字。

在上面的代码片段里，语句结尾的"select p"子句表示，作为查询的结果，我要返回一个Person对象的IEnumerable序列。这是因为"people"集合包含了Person类型的对象，而参数p则代表了输入序列中的Person对象。因此，该查询句法表达式的结果数据类型是IEnumerable<Person>。

假如不是返回Person对象，我想返回该集合中的人的名字，我可以把查询改写成这样：

注意上面我不再说"select p"，而是说"select p.FirstName"。这表示我不想返回一串Person对象，而是想返回一串字符串，由Person对象的FirstName属性（该属性是个字符串）填充而来。 因此，该查询句法表达式的结果类型是 IEnumerable<string>。

针对数据库的查询句法的例子

LINQ的妙处在于，我可以针对任何数据类型使用完全一样的查询句法。譬如，我可以使用Orcas提供的新LINQ到SQL对象关系映射器支持，对SQL服务器的Northwind数据库进行建模，生成下面这些类（请观看我这里的录像来学习该如何实现）：

在上面定义好类模型之后（以及它与数据库间的映射关系），然后我就可以写个查询句法的表达式取出那些单价大于99元的产品：

在上面的代码片段里，我表示我要对NorthwindDataContext类的Products表进行一个LINQ查询，NorthwindDataContext类是由Visual Studio orcas的ORM设计器生成的。"select p"表示我要返回匹配我的查询的一串Product对象，因此，该查询句法表达式的结果数据类型是IEnumerable<Product>。

就象前面List<Person>查询句法的例子一样，C# 编译器会把我们的声明式查询句法翻译成明确的扩展方法调用（使用Lambda表达式作为参数）。在上面的LINQ到SQL的例子的情形下，这些Lambda表达式会被转化成SQL命令，然后在SQL服务器上做运算（这样，只有那些匹配查询条件的Product记录行会返回到我们的应用中）。促成这个Lambda->SQL 转化的机制的细节可见于我的Lambda表达式博客贴子的"Lambda表达式树"部分。