在与同事讨论了c# 3中var关键字的使用后，我想知道人们对通过var适当使用类型推断的看法是什么?
例如，我很懒地在有问题的情况下使用var，例如:-
foreach(var item in someList) { // ... } // Type of 'item' not clear.
var something = someObject.SomeProperty; // Type of 'something' not clear.
var something = someMethod(); // Type of 'something' not clear.
var更合法的用法如下:-
var l = new List<string>(); // Obvious what l will be.
var s = new SomeClass(); // Obvious what s will be.
有趣的是，LINQ似乎是一个灰色区域，例如:-
var results = from r in dataContext.SomeTable
select r; // Not *entirely clear* what results will be here.
结果很明显，因为它将是一个实现IEnumerable的类型，但它并不完全明显，与var声明一个新对象的方式相同。
当涉及到对象的LINQ时，情况就更糟了，例如:-
var results = from item in someList
where item != 3
select item;
这并不比等价的foreach(var item in someList){//…}相当于。
这里有一个关于类型安全的真正问题——例如，如果我们将该查询的结果放在一个接受IEnumerable<int>和IEnumerable<double>的重载方法中，调用者可能会无意中传入错误的类型。
Var确实保持强类型，但问题是，在定义中不立即显示类型是否危险，当重载意味着当你无意中将错误的类型传递给方法时，编译器可能不会发出错误，这种情况会被放大。
var是处理匿名类型的方法，无论是否来自LINQ语句。任何其他用途在很大程度上取决于谁将阅读您的代码以及有哪些指导方针。
如果你是唯一的观众，或者你的观众对使用var很熟悉，或者非常熟悉你的代码，那么我想这没有关系。如果你像这样使用:var s = new SqlConnection()，那么这在很大程度上无关紧要，可能会提高代码的可读性。如果人们不太挑剔，他们可以做一些工作来了解不明显的类型(这在大多数情况下是不需要的，你在下面的语句中如何使用它通常会解释一切)，那么它是好的。
但是如果你有挑剔的，思想封闭的队友，他们喜欢抱怨，或者如果你公司的设计准则特别禁止在类型不明显时使用var，那么你很可能会遇到强烈的反对。
如果使用var会让你的代码难以阅读，你可能会因为使用var而受到伤害，即使这可能是你的应用程序设计的问题。
如果var引入了歧义(有点像你的IEnumerable/IEnumerable例子)，不要使用它，而是显式地使用它。但var确实有它的便利，在某些情况下，恕我直言，它甚至可以通过减少混乱来提高可读性。
局部变量可以被赋予一个推断的var“类型”，而不是一个显式的类型。关键字var指示编译器从初始化语句右边的表达式推断变量的类型。
// z被编译为int类型
var z = 100;
// s被编译为下面的字符串
var s = "Hello";
// a被编译为int[]
var a = new[] { 0, 1, 2 };
// expr被编译为IEnumerable
//或者IQueryable
var expr =
from c in customers
where c.City == "London"
select c;
// anon被编译为匿名类型
var anon = new { Name = "Terry", Age = 34 };
// list被编译为list
var list = new List<int>();
var can only be used when a local variable is declared and initialized in the same statement; the variable cannot be initialized to null, or to a method group or an anonymous function.
Var不能在类范围内的字段上使用。
使用var声明的变量不能在初始化表达式中使用。换句话说，这个表达式是合法的:int i = (i = 20);但是这个表达式会产生一个编译时错误:var I = (I = 20);
多个隐式类型变量不能在同一个语句中初始化。
如果一个名为var的类型在作用域中，那么var关键字将解析为该类型名称，并且不会被视为隐式类型局部变量声明的一部分。
