在与同事讨论了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关键字。
他们把它和Visual Basic / JavaScript关键字搞混了，
这完全是另一回事。
许多人认为var关键字意味着
弱类型(或动态类型)，而实际上c#是并保持强类型。
如果你在javascript中考虑这个:
var something = 5;
你可以:
something = "hello";
在c#中，编译器会从第一条语句中推断出类型，
导致“int”类型的东西，因此会产生第二条语句
在异常中。
人们只需要明白，使用var关键字并不意味着
动态类型，然后决定var关键字的使用程度，
知道它对于将要编译的内容绝对没有区别。
当然var关键字的引入是为了支持匿名类型，
但如果你看这个:
LedDeviceController controller = new LedDeviceController("172.17.0.1");
这是非常非常冗长的，我相信这是一样可读的，如果不是更多:
var controller = new LedDeviceController("172.17.0.1");
结果是完全相同的，所以是的，我在我的代码中使用它
更新:
也许，只是也许……他们应该用另一个关键词，
那我们就不会有这样的讨论了……也许是“推断”关键字而不是“var”
来自c#团队的高级软件设计工程师Eric Lippert:
为什么引入var关键字?
There are two reasons, one which
exists today, one which will crop up
in 3.0.
The first reason is that this code is
incredibly ugly because of all the
redundancy:
Dictionary<string, List<int>> mylists = new Dictionary<string, List<int>>();
And that's a simple example – I've
written worse. Any time you're forced
to type exactly the same thing twice,
that's a redundancy that we can
remove. Much nicer to write
var mylists = new Dictionary<string,List<int>>();
and let the compiler figure out what
the type is based on the assignment.
Second, C# 3.0 introduces anonymous
types. Since anonymous types by
definition have no names, you need to
be able to infer the type of the
variable from the initializing
expression if its type is anonymous.
我特别强调。整篇文章，c# 3.0仍然是静态类型的，真的!，以及随后的系列相当不错。
这就是var的作用。其他用途可能就没这么好用了。任何与JScript、VBScript或动态类型的比较都是胡扯。再次注意，var是为了使某些其他特性在. net中工作而必需的。
在边缘情况下肯定会有分歧，但我可以告诉你我的个人指导方针。
当我决定使用var时，我看看这些标准:
变量的类型(对人来说)从上下文是很明显的
变量的确切类型(对人类来说)并不是特别相关。
[例如，你可以弄清楚算法在做什么，而不用关心你使用的是哪种容器]
类型名非常长，会影响代码的可读性(提示:通常是泛型)
相反，这些情况会促使我不使用var:
类型名称相对较短且易于阅读(提示:通常不是泛型)
从初始化式的名称来看，类型并不明显
确切的类型对于理解代码/算法非常重要
在类层次结构上，当一个人不能很容易地知道正在使用层次结构的哪个级别时
最后，我永远不会使用var的本机值类型或相应的可空<>类型(int，十进制，字符串，十进制?,……)。这里有一个隐含的假设，如果你使用var，一定有一个“原因”。
这些都是指导方针。你还应该考虑你同事的经验和技能，算法的复杂性，变量的寿命/范围，等等。
大多数时候，没有完美的正确答案。或者，这并不重要。
[编辑:删除重复的子弹]
我们采用了“为人编写代码，而不是为机器编写代码”的理念，基于这样的假设:在维护模式中花费的时间要比在新的开发模式中花费的时间长好几倍。
对我来说，这就排除了编译器“知道”变量是什么类型的说法——当然，你不可能第一次就写出无效的代码，因为编译器会阻止你的代码编译，但是当下一个开发人员在6个月的时间里阅读代码时，他们需要能够推断出变量做得正确或不正确的地方，并快速确定问题的原因。
因此,
var something = SomeMethod();
在我们的编码标准中是不合法的，但在我们的团队中鼓励这样做，因为它增加了可读性:
var list = new List<KeyValuePair<string, double>>();
FillList( list );
foreach( var item in list ) {
DoWork( item );
}
