[易学C#]C#3.0语言新特性之隐式类型
2009-03-08 00:11 马伟 阅读(1914) 评论(7) 编辑 收藏 举报20.1 隐式类型
在C#3.0中增加了一个变量声明var，这个声明和JavaScript 的var类似，但也有不同。相同之处是它可以用var来声明任何类型的局部变量；而不同之处在于它仅仅负责告诉编译器，该变量需要根据初始化表达式来推断变量的类型，而且只能是局部变量。
20.1.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 关键字并不意味着“变体”，也不表示该变量是松散类型化变量或后期绑定变量。它只是表示由编译器确定和分配最适当的类型。
20.1.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"}
};
}
}
20.1.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"))
{
}
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)
{
}
}
编译会报错：上下文关键字“var”只能出现在局部变量声明中。
