C#3.0新增功能03 隐式类型本地变量

系列目录    【已更新最新开发文章，点击查看详细】

从 Visual C# 3.0 开始，在方法范围内声明的变量能够具备隐式“类型”var。 隐式类型本地变量为强类型，就像用户已经自行声明该类型，但编译器决定类型同样。 i 的如下两个声明在功能上是等效的：

var i = 10; // 隐式类型
int i = 10; // 显式类型

下面的示例演示两个查询表达式。 在第一个表达式中，var 的使用是容许的，但不是必需的，由于查询结果的类型能够明确表述为 IEnumerable<string>。 不过，在第二个表达式中，var 容许结果是一系列匿名类型，且相应类型的名称只可供编译器自己访问。 若是使用 var，便没法为结果新建类。 请注意，在示例 #2 中，foreach 迭代变量 item 必须也为隐式类型。

// 示例 #1: 当 select 子句指定字符串时，var是可选的
string[] words = { "apple", "strawberry", "grape", "peach", "banana" };
var wordQuery = from word in words
                where word[0] == 'g'
                select word;

// 由于序列中的每一个元素都是字符串，而不是匿名类型，因此var在这里也是可选的。
foreach (string s in wordQuery)
{
    Console.WriteLine(s);
}

// 示例 #2: var 是必需的，由于select子句指定匿名类型
var custQuery = from cust in customers
                where cust.City == "Phoenix"
                select new { cust.Name, cust.Phone };

// 必须使用var，由于序列中的每一个项都是匿名类型
foreach (var item in custQuery)
{
    Console.WriteLine("Name={0}, Phone={1}", item.Name, item.Phone);
}

 

隐式类型本地变量

可声明局部变量而无需提供显式类型。 var 关键字指示编译器经过初始化语句右侧的表达式推断变量的类型。 推断类型能够是内置类型、匿名类型、用户定义类型或 .NET Framework 类库中定义的类型。 有关如何使用 var 初始化数组的详细信息，请参阅隐式类型化数组。

如下示例演示使用 var 声明局部变量的各类方式：

// i 被编译成 int 类型
var i = 5;

// s 被编译成 string 类型
var s = "Hello";

// a 被编译成 int[] 数组
var a = new[] { 0, 1, 2 };

// expr 被编译成 IEnumerable<Customer> 或者 IQueryable<Customer> 类型
var expr =
    from c in customers
    where c.City == "London"
    select c;

// anon 被编译成匿名类型
var anon = new { Name = "Terry", Age = 34 };

// list 被编译成 List<int> 集合                            
var list = new List<int>();

重要的是了解 var 关键字并不意味着“变体”，而且并不指示变量是松散类型或是后期绑定。 它只表示由编译器肯定并分配最适合的类型。

在如下上下文中，可以使用 var 关键字：

• 在局部变量（在方法范围内声明的变量）上，如前面的示例所示。

• 在 for 初始化语句中

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

• 在 foreach 初始化语句中

foreach(var item in list){...}

• 在 using 域间中

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

有关详细信息，请参阅如何：在查询表达式中使用隐式类型本地变量和数组。

var 和匿名类型

在许多状况下，使用 var 是可选的，只是一种语法便利。 可是，在使用匿名类型初始化变量时，若是须要在之后访问对象的属性，则必须将变量声明为 var。 这是 LINQ 查询表达式中的常见方案。 有关详细信息，请参阅匿名类型。

从源代码角度来看，匿名类型没有名称。 所以，若是使用 var 初始化了查询变量，则访问返回对象序列中的属性的惟一方法是在 foreach 语句中将 var 用做迭代变量的类型。

class ImplicitlyTypedLocals2
{
    static void Main()
    {
        string[] words = { "aPPLE", "BlUeBeRrY", "cHeRry" };

        // 若是查询生成一系列匿名类型，则在foreach语句中使用var访问属性。
        var upperLowerWords =
             from w in words
             select new { Upper = w.ToUpper(), Lower = w.ToLower() };

        // 执行查询
        foreach (var ul in upperLowerWords)
        {
            Console.WriteLine("Uppercase: {0}, Lowercase: {1}", ul.Upper, ul.Lower);
        }
    }
}
/* 输出:
    Uppercase: APPLE, Lowercase: apple
    Uppercase: BLUEBERRY, Lowercase: blueberry
    Uppercase: CHERRY, Lowercase: cherry        
 */

特别说明

如下限制适用于隐式类型化变量声明：

• 仅当局部变量在相同语句中进行声明和初始化时，才能使用 var；变量不能初始化为 null，也不能初始化为方法组或匿名函数。

• var 不能在类范围内对字段使用。

• 使用 var 声明的变量不能在初始化表达式中使用。 换句话说，此表达式是合法的: int i = (i = 20);，可是此表达式会生成编译时错误：var i = (i = 20);

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

• 若是一种名为 var 的类型处于范围内，则 var 关键字会解析为该类型名称，不会被视为隐式类型化局部变量声明的一部分。

带 var 关键字的隐式类型只能应用于本地方法范围内的变量。 隐式类型不可用于类字段，由于 C# 编译器在处理代码时会遇到逻辑悖论：编译器须要知道字段的类型，但它在分析赋值表达式前没法肯定类型，而表达式在不知道类型的状况下没法进行计算。 考虑下列代码：

private var bookTitles;

bookTitles 是类型为 var 的类字段。 因为该字段没有要计算的表达式，编译器没法推断出 bookTitles 应该是哪一种类型。 此外，向该字段添加表达式（就像对本地变量执行的操做同样）也是不够的：

private var bookTitles = new List<string>();

当编译器在代码编译期间遇到字段时，它会在处理与其关联的任何表达式以前记录每一个字段的类型。 编译器在尝试分析 bookTitles 时遇到相同的悖论：它须要知道字段的类型，但编译器一般会经过分析表达式来肯定 var 的类型，这在事先不知道类型的状况下没法实现。

你可能会发现，对于在其中难以肯定查询变量的确切构造类型的查询表达式，var 也可能会十分有用。 这可能会针对分组和排序操做发生。

当变量的特定类型在键盘上键入时很繁琐、或是显而易见、或是不会提升代码的可读性时，var 关键字也可能很是有用。 var 采用此方法提供帮助的一个示例是针对嵌套泛型类型（如用于分组操做的类型）。 在下面的查询中，查询变量的类型是 IEnumerable<IGrouping<string, Student>>。 只要你和必须维护你的代码的其余人了解这一点，使用隐式类型化实现便利性和简便性时便不会出现问题。

// 与前面的示例相同，只是咱们使用整个姓氏做为键。
// 查询变量是IEnumerable<igrouping<string，student>>
var studentQuery3 =
    from student in students
    group student by student.Last;

可是，使用 var 至少有可能使代码对其余开发人员更加难以理解。 为此，C# 文档一般只在须要时才使用 var。

其余技术请参阅

• C# 参考
• 隐式类型化数组
• 如何：在查询表达式中使用隐式类型本地变量和数组
• 匿名类型
• 对象和集合初始值设定项
• var
• LINQ 查询表达式
• LINQ（语言集成查询）
• for
• foreach, in
• using 语句

 

系列目录    【已更新最新开发文章，点击查看详细】