C#_var | MelonSuika

文章目录

一、前言
二、隐式类型的局部变量
- 2.1 var和匿名类型
- 2.2 批注
三、总结

一、前言

C#中有一个 var 类型，不管什么类型的变量，都可以用它接收，实属懒人最爱了。

我没有了解过它的底层，甚至没看过它的说明文档，也不知道怎么就用上它了。凭我经验，这种 “隐式也可能是动态” 类型应该只是效率比较低，其他不会有多少负面影响。所以在不关心效率的场合，我也就一直用着。

不过使用时，偶尔也会有一些困扰，比如：

var c;
...

此时会报错，
C#_var-LMLPHP
于是我就知道了，使用var类型时，你必须声明与初始化一体，否则就会报错。

还有时，我会用var来接收一些写起来很复杂类型（比如集合嵌套类型），时间一长，自己也不知道此处的var到底是啥类型。

因此，我想进一步学习一下var，了解它的用法和注意项，不管能否解决上述困扰都不亏，毕竟它的使用频率不低。

二、隐式类型的局部变量

局部变量可在不给出显式类型的情况下声明。推断的类型可能是内置类型、匿名类型、用户定义类型或.NET类库中定义的类型。有关如何使用 var 来初始化数组的详情，请参阅 隐式类型数组（Implicity Typed Arrays） 章节。

下面示例展示了用 var 来声明局部变量的多种方式：

// i is compiled as an int
var i = 5;

// s is compiled as a string
var s = "Hello";

// a is compiled as int[]
var a = new[] { 0, 1, 2 };

// expr is compiled as IEnumerable<Customer>
// or perhaps IQueryable<Customer>
var expr = 
	from c in customers
	where c.City == "London"
	select c;

// anon is compiled as an anonymous type
var anon = new { Name = "Terry", Age = 34 };

// list is compiled as List<int>
var list = new List<int>();

var 关键字可在以下情况使用：

局部变量（变量声明在方法体中），如上例所示。
在 for 初始化语句中。
```
for(var x = 1; x < 10; x++)
```
在 foreach 初始化语句中
```
foreach(var item in list) {...}
```

在 using 语句中

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

显然，用作方法体中局部变量的情况比较多。

2.1 var和匿名类型

许多情况下，var 的使用是可选的，只是为了语法上的便利。
然而，当使用匿名类型初始化变量时，若你之后要访问对象的属性，则必须将该变量声明为 var 。这是 LINQ Query表达式中的常见场景。详细信息，参阅 匿名类型 章节。

从源码角度看，匿名类型没有名称（匿名类就是将几个变量用花括号括起来，类本身没有名称）。
因此，若查询变量已使用 var 初始化，则访问返回的对象序列中属性的唯一方法是在 foreach 语句中使用 var 作为迭代变量的类型。（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, Lowercae:cherry
*/

2.2 批注

以下限制用于隐式类型变量声明中：

var 只能在同一语句中声明和初始化局部变量时才能使用；且变量不能为空、方法组或匿名函数。
var 不能用于类中字段。
使用 var 声明的变量不能用于初始化表达式中。
换句话说，这个表达式是合法的：int i = (i = 20); ，
而该表达式则会生成编译时错误（compile-time error）：var i = (i = 20);
多个隐式类型变量无法在同一语句中初始化。
若作用域内有一个名为 var 的类型，则 var 关键字将解析为该类型名称，并且不会被视为隐式类型局部变量声明。
```
class var {}

void Method()
{
	var v;
	...
}
```

使用 var 关键字的隐式类型只能应用于局部方法作用域（local method scope）内的变量。隐式类型不适用于类字段，因为C#编译器在处理代码时会遇到逻辑悖论（logical paradox）：编译器需要知道字段的类型，但在分析赋值表达式之前无法确定类型，且表达式在不知道类型的情况下无法进行评估。考虑下面代码：

private var bookTitles;

bookTitles 是一个 var 类型的类字段。因为该字段没有求值表达式，因此编译器不可能推断出 bookTitles 是什么类型。此外，向字段添加表达式（就像局部变量一样）也是不够的：

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

当编译器在代码编译期间遇到字段时，它会在处理与之关联的任何表达式之前记录每个字段的类型（即在字段解析时，我会先确认字段类型，再处理表达式；而字段是var，就不知道字段类型了）。编译器在尝试解析 bookTitles 时遇到了同样的悖论：它需要知道字段的类型，但编译器通常会通过分析表达式来确定 var 类型，如果事先不知道类型，这是不可能的。

你也许会发现 var 对于难以确定查询变量的确切构造类型的查询表达式也很有用。这可能出现在分组和排序操作中。

当特定类型的变量在键盘上输入很繁琐，或者完整输入类型无法增加代码可读性时，var 关键字也很有用。var 以这种方式发挥作用的一个例子是嵌套泛型类型，例如与分组操作一起使用。在以下查询中，查询变量的类型为 IEnumerable<IGrouping<string, Student>> 。只要你和其他维护代码的人都知道这点，为了方便和简洁而使用隐式类型就没有问题。

// 和前面例子相同，除了我们使用了整个last name作为关键字
// 查询变量是一个 IEnumerable<IGrouping<string, Student>>
var studentQuery3 = 
	from student in students
	group student by student.Last;

使用 var 有助于简化代码，但其使用应仅限于需要它的情况下，或者当它使你的代码更易于阅读时。

三、总结

总结一下， var 的内容其实不多，主要就是，

要了解它并不是动态类型，它指示编译器根据表达式来推断类型。故它是编译时的代码，不会影响运行效率。
主要应用场景就是接收LINQ Query、访问匿名类变量的属性、接收一些比较难写的类型以增强代码可读性（所以若你使用var，但不知道它对应啥类型，那很可能是你自己没理清）。