C# 3.0语言详解之基本的语言增强

　　只要选中了Linq中的项目模板，我们就可以像编写其他应用程序一样在Visual Studio 2005中开始编写C# 3.0应用程序了，在编译的时候IDE会自动为我们选择C# 3.0的编译器。

　　现在我们已经可以开始编写C# 3.0应用程序了，后面的章节中我就将为大家讲解C# 3.0所带来的语言增强。值得说明的一点是，本文是一个系列文章中的一篇，这一系列文章共三个部分。本文为第一部分，讲述C# 3.0种基本的语言增强，这些语言增强其实是其他两个部分的基础；第二部分将讲述C# 3.0中的Lambda表达式，这是匿名方法的自然进化形式，它不仅能将表达式体现为可执行的方法（委托），也能将表达式体现为可以在运行时进行操作的数据结构——表达式树；最后一部分讲述的才是Linq项目中最核心的也是最激动人心的内容——查询表达式，这是Linq在C#中的实现形式。同时，Linq还针对SQL查询和XML查询对.NET Framework基础类库进行了扩充，分别称作DLinq和XLinq，这些内容我将在其他系列文章中为大家讲述。

　　在本文的讲述过程中，限于篇幅，仅提供了简短的代码段而不是完整的代码。不过这些代码段是从完整的、可正确编译和运行的代码中抽取出来的，这些完整代码可以从这里下载，并且在本文的第5部分中有关于完整代码的介绍。

　　好了，废话太多了，让我们赶快进入C# 3.0的精彩世界。

　　具有隐式类型的声明

　　在一个带有初始化器的声明语句中，待声明的变量的类型是显而易见的——和初始化表达式的结果类型一致。对于这种情况，在C# 3.0中可以使用新增的关键字var来代替声明中的类型，而由编译器根据初始化表达式来推断出变量的类型。

var i = 5; // int
var d = 9.0; // double
var s = "Hello"; // string
var a = new int[] { 1, 2, 3, 4, 5 }; // int[]

Console.WriteLine("Type of variable <i>: {0}", i.GetType());
Console.WriteLine("Type of variable <d>: {0}", d.GetType());
Console.WriteLine("Type of variable <s>: {0}", s.GetType());
Console.WriteLine("Type of variable <a>: {0}", a.GetType());

　　上面的代码在C# 3.0中是符合语法规则的，前四行代码就是使用了隐式类型的声明；而后四行代码用于在运行时验证各个变量是否拥有正确的类型。如果在Visual Studio 2005中运行这段代码（为了能够看到结果，请使用Ctrl+F5来编译并启动程序），会得到下面的结果：

Type of variable <i>: System.Int32
Type of variable <d>: System.Double
Type of variable <s>: System.String
Type of variable <a>: System.Int32[]

　　这表明，编译器在编译的时候，已经正确地推断了每个变量的类型，并将其嵌入到了程序集的元数据中。

　　这里有两个限制，一是具有隐式类型的声明只能作用在局部变量上，二是这种声明必须有初始化器（即等号和后面的表达式）。如果我们企图在一个类中声明一个具有隐式类型的域，就会出现一个编译错误：Invalid token ’var’ in class, struct, or interface member declaration；而如果声明中没有出现初始化器，则会导致另外一个编译错误：’=’ expected。

　　除了局部变量外，作用域为一个块的数组也可以运用具有隐式类型的声明，例如：

var ia = new [] { 1, 2, 3, 4, 5 }; // int[]
var da = new [] { 1.1, 2, 3, 4, 5 }; // double[]
var sa = new [] { "Hello", "World" }; // string[]

Console.WriteLine("Type of array &l