隐式类型变量 (Implicitly typed local variables)

　　象下面的代码书写就是隐式类型变量

　　var i = xxx ; 的作用就是用 xxx 的类型声明为i的类型。并给i 赋值。

　　由于声明时候，需要依赖于等号右边的表达式，所以必须同时赋值。否则下面的书写就会报错误： Error Implicitly typed locals must be initialized

　　使用 Implicitly typed local variables 时应遵守下列约束:

　　1. The declarator must include an initializer

　　声明时必须包含初始化器。

　　2、The initializer must be an expression. The initializer cannot be an object or collection initializer by itself, but it can be a new expression that includes an object or collection initializer.

　　初始化必须是一个表达式。初始化表达式不能包含它自身，但是可以是包含一个对象或集合初始化器的一个new表达式(即匿名类型)。

　　3、The compile-time type of the initializer expression cannot be the null type.

　　初始化器表达式的编译期类型不可以是空(null)类型。

　　比如:

　　var gg = null; 这行代码就会报错误: Cannot assign '' to an implicitly typed local

　　4、If the local variable declaration includes multiple declarators, the initializers must all have the same compile-time type.

　　如果局部变量声明包含了多个声明符，这些声明符必须具备同样的编译期类型。

　　比如如下代码:

　　打印出来的信息会是:

　　5. The initializer cannot refer to itself. （初始化中不能提起它自身）

　　隐式类型变量的使用范围，它可不是到处能用。仅仅可以用于下面四种情况

　　1. 局部变量声明

　　2. for 语句中变量声明）

　　3. using 语句初始化变量时.

　　4. foreach 中iterator类型声明）

　　比如下面代码就会报错:

　　隐式类型变量实际是编译器干的活(编译器局部变量的类型从初始化它们的表达式推导而来)，所以

　　var i = 5; 这样的代码，编译后用 Reflector 再反编译看到的是：

　　匿名类型(Anonymous Types)

　　匿名类型，是从对象初始化器自动推导和创建的元组(tuple)类型。

　　就是 匿名类型的一种书写。

　　注意：

　　var intArr = new[] {3,1,4,1,5} ;  是匿名类型，当然也是 隐式类型变量

　　var intArr = new int[] {3,1,4,1,5} ;  是隐式类型变量

　　匿名类型 和 隐式类型变量 的区别

　　隐式类型变量 指我们可以通过等号右边的表达式，推断出等号左边该是那种类型。

　　匿名类型则是指，根据这个类型的初始化函数，我们可以推导出和创建出这个类型的实例。

　　这两个特性很多时候是一起作用的。

　　比如： new {Name = "Hello", Age = 23 }这个表达式的类型是匿名的，因此o就会变成那个匿名类型。

　　其中的 Name = "Hello" 又可以看作是 隐式类型变量。

　　不过应该没有人会用var i = 10;这样看起来像jscript的语法，所以var基本上就是为匿名类型而生 .

　　说明：

　　以上信息都是基于 Orcas Beta 1 的。也许正式版的时候，会发生变化。