C#_var

文章目录

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


一、前言

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

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

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

var c;
...

此时会报错,
C#_var_第1张图片
于是我就知道了,使用var类型时,你必须声明与初始化一体,否则就会报错。

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

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

二、隐式类型的局部变量

局部变量可在不给出显式类型的情况下声明。 var 关键字指示编译器从初始化语句右侧的表达式推断变量的类型 推断的类型可能是内置类型、匿名类型、用户定义类型或.NET类库中定义的类型。有关如何使用 var 来初始化数组的详情,请参阅 隐式类型数组(Implicity Typed Arrays) 章节。

注意
这边说了是指示编译器从表达式推断,表明var的解析要么是开始编译前,要么是边指示边编译,即在正式编译时已确定,反正肯定是在运行之前确定的。故var不是动态类型。

下面示例展示了用 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
// or perhaps IQueryable
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
var list = new List<int>();

首先重要一点是,理解 var 关键字并不意味着 “variant(变体,类型变形,类似动态类型吧,即类型会发生变化)” ,也不表示该变量是松散类型(loosely type,也叫弱类型)的或后绑定的(late-bound)。它仅表示编译器会确定并分配最合适的类型

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 类型,如果事先不知道类型,这是不可能的。

补充
这部分比较抽象,因为和C#编译器本身的设计有关。
简单介绍一下C#编译器的工作流程:

  1. 首先,遍历每个源文件并进行顶层的解析。即在所有嵌套的层级上识别每个名称空间、类、结构、枚举、接口和委托类型声明。
  2. 然后解析字段声明、方法声明等。实际上,除了方法体的内容都会被解析;
  3. 解析完外面的,之后会回来解析方法体。

如果有"var"字段,那么在表达式被解析之前,就无法确定字段的类型,而这发生在我们知道字段的类型之后,这就冲突了。

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

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

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

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


三、总结

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

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

你可能感兴趣的:(#,C#,.NET,c#,开发语言)