理解var关键词

Orcas中的C#引进了var这个新关键词，在声明局部变量时可用于替代类型名。

在第一次看见var这个新关键词时，大家常有的一个错误认识是，这是个后期绑定或者无类型的变量引用（譬如，Object类型的引用或象Javascript中后期绑定的对象引用）。这并不正确，var关键词总是生成强类型的变量引用。不是要求开发人员显式地定义变量的类型，var这个关键词而是告诉编译器在变量最先声明时，从用来初始化变量的表达式推断出变量的类型。

var这个关键词可以用来引用C#的任何类型(意即它可用于匿名类型和显式定义的类型)。实际上，理解var这个关键词的最容易的方法是看一下几个将其用于常见显式类型的例子。譬如，我可以象下面这样使用var这个关键词来声明三个变量：

编译器会根据初始赋值推断出name，age和male变量的类型，在这个例子中，分别是字符串，整数和布尔值。这意味着，编译器会生成与下面代码完全一样的IL：

实际上，CLR根本不知道你使用了var这个关键词，从它的角度来看，上面2个代码例子绝对没有区别。第一个版本只不过是由编译器提供的节省开发人员几下键击的语法糖而已，让编译器做苦力推断出和声明类型名称。

除了使用var这个关键词替代内置的数据类型外，很明显地，你也可以将它用于你定义的任何自定义类型。例如，回到我以前博客贴子中的LINQ查询投影例子，这个投影使用了用来数据构形的显式的MyProduct类型，我可以用var这个关键词将其改写为：

重要注意事项：虽然我在上面使用了var这个关键词，我并没将其用于匿名类型。我的LINQ查询还是使用了MyProduct这个类型来对返回的数据做了构形，这意味着var products声明是IEnumerable<Product> products的速记而已。同样地，在foreach语句中我定义的var p变量不过是MyProduct p的速记而已。

var关键词的重要规则

因为var这个关键词产生强类型的变量声明，编译器需要能够根据它的用法推出其类型。这意味着，在用它来声明变量时，你总是需要做个初始赋值。编译器会产生一个编译错误，如果你不这么做的话：