局部变量可以被赋予一个推断的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关键字将解析为该类型名称，并且不会被视为隐式类型局部变量声明的一部分。

为什么var不应该仅仅被用作“输入快捷方式”，而应该被用于它们主要设计的场景:Resharper(至少v4.5)如果一个类型被表示为var，就无法找到它的用法。这在重构或分析源代码时可能是一个真正的问题。

在大多数情况下，只是输入它更简单——想象一下

var sb = new StringBuilder();

而不是:

StringBuilder sb = new StringBuilder();

有时它是必需的，例如:匿名类型，比如。

var stuff = new { Name = "Me", Age = 20 };

我个人喜欢使用它，尽管它会降低代码的可读性和可维护性。

var很困难的一个具体情况是:离线代码审查，特别是在纸上完成的代码审查。

你不能依赖鼠标的移动。

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

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

更新

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

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