埃里克的回答是……

c#中泛型类型的命名空间作用域别名

是相关的。

部分问题在于c#中没有强类型的混叠。因此许多开发人员使用var作为部分代理。

静态类型是关于契约的，而不是源代码。这里的想法是需要将静态信息放在“应该”是一个小方法的单行上。一般指南建议每个方法不要超过25行。

如果一个方法足够大，以至于您无法跟踪该方法中的单个变量，那么您做错了其他事情，这将使任何对var的批评相形见绌。

实际上，var的一个重要论点是它可以使重构更简单，因为你不再需要担心你的声明过于严格(例如，当你应该使用IList<>或IEnumerable<>时，你使用了List<>)。您仍然需要考虑新的方法签名，但至少不必返回并更改声明来匹配。

我们采用了“为人编写代码，而不是为机器编写代码”的理念，基于这样的假设:在维护模式中花费的时间要比在新的开发模式中花费的时间长好几倍。

对我来说，这就排除了编译器“知道”变量是什么类型的说法——当然，你不可能第一次就写出无效的代码，因为编译器会阻止你的代码编译，但是当下一个开发人员在6个月的时间里阅读代码时，他们需要能够推断出变量做得正确或不正确的地方，并快速确定问题的原因。

因此,

var something = SomeMethod();

在我们的编码标准中是不合法的，但在我们的团队中鼓励这样做，因为它增加了可读性:

var list = new List<KeyValuePair<string, double>>();
FillList( list );
foreach( var item in list ) {
   DoWork( item ); 
}

我同意马特·汉密尔顿的观点。

当使用好的变量名时，Var可以使您的代码更具可读性和可理解性。但是，如果使用不当，var也会使您的代码像Perl一样难以阅读和理解。

一个var的好的和坏的用法列表也不会有太大的帮助。这是一个常识问题。更大的问题是可读性和可写性。许多开发者并不关心他们的代码是否具有可读性。他们只是不想打那么多。就我个人而言，我是一个读，写，写的人。

我想这取决于你的看法。我个人从来没有因为var“误用”而理解一段代码有任何困难，我的同事和我都经常使用它。(我同意智能感知在这方面是一个巨大的帮助。)我欢迎它作为一种消除重复性麻烦的方法。

毕竟，如果语句像

var index = 5; // this is supposed to be bad

var firstEligibleObject = FetchSomething(); // oh no what type is it
                                            // i am going to die if i don't know

如果真的无法处理，没有人会使用动态类型语言。

这次讨论有点晚了，但我想补充一点想法。

对于所有反对类型推断的人(因为这就是我们在这里真正谈论的内容)，lambda表达式呢?如果坚持始终显式地声明类型(匿名类型除外)，那么如何使用lambdas呢?“不要让我使用鼠标悬停”参数如何适用于var而不是lambdas?

更新

我刚刚想到了一个反对“var”的论点，我认为没有人提到过，那就是它“破坏”了“找到所有引用”，这可能意味着(例如)如果你在重构之前检查一个类的使用情况，你会错过类通过var使用的所有地方。