我目前正在教授一位同事.Net，他问了我一个让我困惑的问题。
为什么我们必须要声明？
如果变量是隐式类型，为什么我们还需要声明呢？
Animal animal = new Animal();
变成
var animal = new Animal();
可能成为
animal = new Animal();
隐式类型声明仍然意味着这是一个静态类型的变量。
如果将两种不同类型分配给变量，且它们没有共享基类（除了 object），那可能会导致编译器错误。
这是否有技术上的限制或只是出于风格原因我们喜欢这样做？
一个非常重要的原因是，它有助于防止因为变量名误打误拼而导致的错误。
想象一下，你想重新给字符串myString赋一个新值：
myString = "New value";
但是你不小心打出了这个：
myStrimg = "New value";
这将导致编译时错误。但是，如果根据您的问题允许隐式创建变量，则会悄悄地创建一个新变量，并产生可预测的滑稽结果...
如Brad Smith所建议的http://www.brad-smith.info/blog/archives/336：
一些程序员似乎有使用 var 定义所有变量的倾向。当然，语言不会阻止你这样做，MSDN也承认这是一种“语法便利”......但它也强烈警告说：
使用 var 至少可能使其他开发人员更难理解你的代码。出于这个原因，C#文档通常只在需要时使用 var。
“隐式类型本地变量 (C# 编程指南)”，MSDN
我最近发现常用的工具 ReSharper 几乎强制要求大量使用 var。坦白地说，这并没有帮助到情况。有些开发人员试图辩称 var 在某种程度上提高了可读性和更广泛的编码实践，例如这篇文章：
通过使用 var，你强迫自己更多地考虑如何命名方法和变量，而不是仅仅依赖于类型系统来提高可读性，这更像是一个实现细节......
var improves readability, Hadi Hariri
我同意上面引用的前提，但不同意最后的结果。相反，过度使用和误用 var 可能会导致一些非常糟糕的习惯......
让我们看看反对广泛使用 var（并支持其节约、正确使用）的论点：
隐式类型变量失去描述性
类型名称在本地变量声明中提供了一个额外的描述层次：
// let's say we have a static method called
GetContacts() // that returns System.Data.DataTable
var individuals = GetContacts(ContactTypes.Individuals);
// how is it clear to the reader that I can do this?
return individuals.Compute("MAX(Age)", String.Empty);
// a more descriptive declaration
DataTable individuals = GetContacts(ContactTypes.Individuals)
当我回顾这段代码时，我不仅知道变量在概念上代表什么，还知道它在结构和用法方面的表示；而在前一个例子中缺乏这种信息。
额外说明：
以下是基于隐式变量声明的一个合理使用的好/坏例子...
好例子：
var numbers = new int[] {1, 2, 3, 4};
var stringbuilder = new StringBuilder();
var cars = new List();
var orders = new Dictionary();
+/- 同意任何一种方式（但更喜欢明确声明）：
int pages = 10;
string username = “john”;
var username = “john”;
var order = GetOrder(orderId); // ok if the type is Order, otherwise not
for (var x = 1; x < 10; x++)
不好：
var settings = GetInboxSettings(); // not obvious at all
var userId = GetUserId(); // ambigous, is this guid, string, int or a custom UserId object?
Dictionary orders = new Dictionary(); // redundant
xxx时，我们向工具表明以下内容：
可能有很多原因。我能想到的一个原因是属性/字段引用与新变量之间的歧义。
然而，C#编译器团队可能仍然可以开发这样的功能。但使用var简化了一切。我们节省了设计、开发、测试和维护的工作量。最重要的是，它使您的代码更易读。
嗯，我并不否认这里的一些答案所提出的事实。相反，我想以不同的方式回答：
int count;
if(someConditionIsTrue)
count = 3;
else count = 1;
我不能在这里使用 "var count"。我可以吗？ 现在以下两行哪一行看起来比较好：
Tuple<int, string, bool, float> tuple = new Tuple<int, string, bool, float>(1, "p", true, 3.0f);
或者
var tuple = new Tuple<int, string, bool, float>(1, "p", true, 3.0f);
var不存在。此外，即使可以推断出类型，对于复杂表达式，记录预期类型可能更清晰。 - Damien_The_Unbeliever