为什么c#需要“var”标识符？

Question

可能的重复：
var 关键字有什么意义？

为什么 c# 需要 " var”类型推断类型变量的标识符？

我的意思是，不写它会有什么问题：

a = 1;
//vs
var a = 1;

ReadingProgramming in Scala：

“类型变量”语法不能简单地忽略类型 - 将不再有标记来开始定义。

但是将其保留在 a:Int 或 int a 中有何不同？

Answer 1

至少想到的一个原因是，它迫使程序员声明他们引入新变量的意图，而不是分配给现有变量。这使得编译器能够检测到许多常见的编码错误。

Answer 2

考虑一下：

class Foo
{
    int a;

    void Bar()
    {
        var a = 1;
    }
}

如果没有 var 关键字，赋值将是给类成员 a。

var 明确引入了一个新的局部变量。

Answer 3

在 C# 中使用之前必须先定义变量。当然，编译器可以检测到它何时到达

a = 1;

That a had not not be returned ，因此定义该变量并将其赋值为 1 。但是，这可能会导致您遇到的其他问题：

MyOwnClass myVeryLongVariableNameThatIsUsedAllOverThePlace = new MyOwnClass();
myveryLongVariableNameThatIsUsedAllOverThePlace = input.GetNewClass();

现在您有 2 个变量，您认为你有一个。

Answer 4

来自 MSDN：

重要的是要了解
var 关键字并不意味着“变体”
并且并不表明
变量是松散类型的，或者
晚绑定。这只是意味着
编译器确定并分配
最合适的类型。

这个想法是通过防止意外的隐式类型局部变量。

Answer 5

从技术上来说，确实没有必要。其他语言允许您将声明和赋值结合起来，无需特殊关键字。

如果 a = 1 对于赋值和声明来说都是有效的语法，那么代码可能会变得非常混乱，我相信这就是为什么 C# 至少需要 var。

Answer 6

关键字将告诉编译器不要尝试解析方法范围之外的标识符。

如果没有它，C# 还能工作吗？是的，但这强制执行了强类型语言所需的规则。

Answer 7

不同的编程语言被设计来适应不同的目的。 C# 专为编写大型高可靠性软件而设计。其方法的一部分是使用显式声明的静态类型变量。添加匿名对象需要推断变量类型的能力，而匿名对象是 LINQ 查询表达式所必需的。这些东西的存在并没有改变这样一个事实：变量必须显式声明，并且它们的类型在编译时建立（当然，模动态）。

显式变量声明消除了用不需要变量声明的语言编写的程序中有时会出现的一大类错误。

Answer 8

以我的愚见，我认为可以安全地假设他们没有（或不能）如此显着地修改 C# 语法，以至于允许在变量声明中省略（类型或“var”）标记。为语言添加了类型推断。 （这也会对函数声明产生影响。）

我认为这样的更改会对整个语法产生连锁反应，并破坏向后兼容性。

也许 F# 是在如此基础的层面上改变语法的副产品；）