C#3.0特性之---隐式类型

C# 3.0新语言特性和改进包括：

◆自动属性(Auto-Implemented Properties)
◆隐含类型局部变量(Local Variable Type Inference)
◆匿名类型(Anonymous Types)
◆对象与集合初始化器(Object and Collection Initializers)
◆扩展方法(Extension Methods)
◆Lambda表达式和Lambda表达式树 (Lambda Expression and Lambda Expression Trees)

隐式类型化的本地变量

在C#3.0中增加了一个变量声明var，这个声明和JavaScript的var类似，但也有不同。

相同之处：它可以用var来声明任何类型的局部变量；

不同之处：它仅仅负责告诉编译器，该变量需要根据初始化表达式来推断变量的类型，而且只能是局部变量。不能在类外部声明或类内部的字段

推断类型有：内置类型、匿名类型、用户定义类型、.NET Framework类库中定义的类型或任何表达式。

怎样通过 隐式类型 来声明变量：

var i = 10; //声明一个局部变量。

使用了10来初始化变量i。注意这里i被强类型到整型。为了保证使用var关键字进行声明的变量的强类型特性，C#3.0要求你必须对变量赋初值（初始化），并且放到的同一行。同样，初始化值必须是一个表达式，不能是一个对象或者collection初始化器，也不能为null。如果多个声明符对同一个变量存在，那么它们必须在编译时被看作为相同类型。

如下面的声明都是合法的：

定义局部变量

var i = 5;

var s = "Hello";

定义数组

var a = new[] { 0, 1, 2 };

定义查询表达式

var expr =

      from c in customers

      where c.City == "London"

      select c;

var anon = new { Name = "Terry", Age = 34 }; 

定义集合                           

var list = new List<int>();

在for语句中

for（var i = 0; i<10; i++）

{

}

在foreach语句中

foreach(var item in list)

{

}

在using语句中

using(var con = SqlConnection)

{

}

不能在同一语句中初始化多个隐式类型变量

int a = 1, b = 2; //正确

var c = 3, d = 4; //错误

如果有一个名为var的类在此范围中，用var定义变量将会出现编译错误

class Program

{

       static void Main(string[] ages)

        {

                var a = 1;

        }

}

class var

{  }

 

最后我们需要了解的一点是，var 关键字并不意味着“变体”，也不表示该变量是松散类型化变量或后期绑定变量。它只是表示由编译器确定和分配最适当的类型。

var定义的变量类型不是在运行时确定，而是在第一次编译时确定

隐式类型数组

到现在，我们一直都在数组声明的开始处显式指定数组类型。然而，在C# 3.0中，和其他局部变量一样，数组也可以是隐式类型的。也就是说，当初始化数组时，我们可以让编译器根据初始化器的类型来推断数组类型。只要所有初始化器能隐式转换为单个类型，就可以这么做。

和隐式类型的局部变量一样，使用var关键字来替代数组类型。有了这个特性，将使我们创建数组的工作变得简单。我们可以直接使用"new[]"关键字来声明数组，后面跟上数组的初始值列表。在这里，我们并不需要直接指定数组的类型，数组的类型是由初始化列表推断出来的。

如下的声明都是合法的：

class Program

    {

        static void Main()

        {

            // int[]

            var a = new[] { 1, 10, 100, 1000 };

            // string[]

            var b = new[] { "hello", null, "world" };

            // int型交错数组

            var c = new[]   

            { 

              new[]{1,2,3,4},

              new[]{5,6,7,8}

            };

            // string型交错数组

            var d = new[]   

            {

              new[]{"Luca", "Mads", "Luke", "Dinesh"},

              new[]{"Karen", "Suma", "Frances"}

            };

        }

    }

隐式类型局部变量的使用限制

当然，隐式类型局部变量不是在什么时候都可以用的，在C#3.0中，var关键字只能够用在如下几个方面：

 

l        声明局部变量。如：

 

class Program

    {

        static void Main(string[] args)

        {

            var i = 10; //声明局部变量。

        }

    }

 

l        在for初始化语句中。如：

 

for(var i = 1; i < 10; i++)

 

l        在foreach初始化语句中。如：

 

foreach(var i in list)

{

}

 

l        在using语句中。如：

 

using (var file = new StreamReader("C:""myfile.txt"))

{

}

 

20.1.4 隐式类型局部变量的使用注意事项

我们在使用隐式类型局部变量时，必须注意如下几点：

l        在声明时必须同时赋值，因为声明依赖于赋值号右边的表达式，如果有下面的语句：

 

var i;

i = 10;

 

如果我们将它这样来定义，那么编译器就会报错：隐式类型的局部变量必须已初始化。因此，我们必须这样来声明它：

 

var i= 10;

 

l        在使用var声明一个局部变量后，它仍然具有强类型。来看下面的代码：

 

var i = 10;

i = "abc";

 

如下面的代码，编译器会报错：无法将类型string隐式转换为int。为什么呢？因为在第一句var i = 10中，我们已经把这个变量声明为一个int，当给它再赋一个字符串的时候，由于强类型原因，所以报错。但我可以这样来定义它：

 

var i = 10;

i = 100;

或者

var i = "abc";

i = "abcdefg"; 

 

l        初始化器表达式的编译期类型不可以是空(null)类型，编译器无法根据null来推断出局部变量的类型，如有下面的语句：

 

var i = null;

 

编译上面的代码，编译器会报这样的错误：无法将<null>赋予隐式类型的局部变量。

l        初始化语句必须是一个表达式，初始化表达式不能包含它自身，但是可以是包含一个对象或集合初始化器的一个new表达式（即匿名类型）。因此，我们可以这样去声明：

 

var h = new Hashtable(); 

 

l        var的声明仅限于局部变量，但也可以包含在foreach、for、using语句中。如下面的使用是错误的：

 

class Program

    {

        private var i = 10; //全局私有变量。

        static void Main(string[] args)

        {

        }

    }