C#编程指南——隐式类型和匿名类型

1.var 关键字

在方法范围中声明的变量可以具有隐式类型 var。隐式类型的本地变量是强类型变量（就好像您已经声明该类型一样），但由编译器确定类型。下面的两个i 声明在功能上是等效的：

var i= 10; // implicitly typed

int i = 10; // explicitly typed

注意：var 本身不是类型，而是向编译器发出一条用来推断和分配类型的指令。因此，隐式类型也叫推断类型。

2.隐式类型

1.隐式类型的局部变量

在C# 3.0中，引进了一个新的关键字叫做var。var允许你声明一个新变量，它的类型是从用来初始化器变量的表达式里隐式的推断出来的，即在声明时，你不需要给它定义类型，它会根据它的初始化器表达式来推断出它的类型。因此，我们称它为隐式类型。如你可以这样来声明变量：

 

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

 

这一行使用了10来初始化变量i。注意这里i被强类型到整型，它不是一个对象或者VB6的变量，也不带有其他对象或者变量的负载。

为了保证使用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>();

 

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

2.隐式类型的数组

到现在，我们一直都在数组声明的开始处显式指定数组类型。然而，在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"}

            };

        }

    }

请注意，在上一个示例中，没有在初始化语句的左侧对隐式类型的数组使用方括号。另请注意，交错数组就像一维数组那样使用 new [] 进行初始化。 不支持隐式类型的多维数组 。

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

当然，隐式类型局部变量不是在什么时候都可以用的，在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"))

{

}

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)

        {

        }

    }

 

编译会报错：上下文关键字“var”只能出现在局部变量声明中。

过多使用 var 可能使源代码的可读性在他人眼里变差。建议仅在必要时使用 var，即仅在该变量将用于存储匿名类型或匿名类型集合时才使用它。

3.匿名类型

1.概述

匿名类型提供了一种方便的方法，可用来将一组只读属性封装到单个对象中，而无需首先显式定义一个类型。类型名由编译器生成，并且不能在源代码级使用。这些属性的类型由编译器推断。如：

var v = new {Amount =108,Message = "Hello"};

2.初始化

匿名类型是使用new 运算符和对象初始值设定项创建的。

最常见的方案是用其他类型的一些属性初始化匿名类型。

var query = from cust in customers select new{ Name = cust.name, Address = cust.PrimaryAddress};
 
var productInfors = from p in products select new {p.Productname, p.UnitPrice};

3.匿名类型的使用

匿名类型通常同在查询表达式的 select 字句中，以便返回原序列中每个对象的属性子集。

4.备注

匿名类型是由一个或多个公共只读属性组成的类类型。不允许包含其他种类的类成员（如方法或事件）。

在将匿名类型分配给变量时，必须使用 var 构造初始化该变量。这是因为只有编译器能够访问匿名类型的基础名称。

匿名类型是直接从对象派生的引用类型。尽管应用程序无法访问匿名类型，但编译器仍会为其提供一个名称。从公共语言运行库的角度来看，匿名类型与任何其他引用类型没有什么不同。

如果两个或更多个匿名类型以相同的顺序具有相同数量和种类的属性，则编译器会将这些匿名类型视为相同的类型，并且它们共享编译器生成的相同类型信息。

匿名类型具有方法范围。若要向方法边界外部传递一个匿名类型或一个包含匿名类型的集合，必须首先将匿名类型强制转换为对象。但是，这会使匿名类型的强类型化无效。如果必须存储查询结果或者必须将查询结果传递到方法边界外部，请考虑使用普通的命名结构或类而不是匿名类型。

匿名类型不能像属性一样包含不安全类型。

由于匿名类型上的 Equals 和 GetHashCode 方法是根据属性的 Equals 和 GetHashcode 定义的，因此仅当同一匿名类型的两个实例的所有属性都相等时，这两个实例才相等。