隐式输入； 为什么只是局部变量？

Question

有谁知道或关心推测为什么隐式类型仅限于局部变量？

var thingy = new Foo();

但为什么不...

var getFoo() {
    return new Foo(); 
}

Answer 1

埃里克·利珀特（Eric Lippert）就这个主题写了一篇完整的博客文章。

• https://learn.microsoft。 com/en-us/archive/blogs/ericlippert/why-no-var-on-fields

总之，主要问题是需要对 C# 编译器进行重大重新架构才能实现这一点。 目前，声明以单次传递的方式进行处理。 由于能够在推断变量之间形成循环，因此这将需要多次传递。 VB.NET 也有大致相同的问题。

Answer 2

贾里德的回答中有一个很棒的链接，指向一个很棒的主题。

我认为它没有明确回答这个问题。

为什么不呢？

var getFoo() {
    return new Foo(); 
}

这样做的原因是：

如果？

class Foo {}

var GetFoo() {
   return GetBar(); 
}

var GetBar() {
  return GetBaz(); 
}

var GetBaz() {
   return new Foo();
}

你可以推断 GetFoo 将返回 Foo ，但是您必须跟踪该方法及其子级进行的所有调用，以推断类型。 就目前情况而言，C# 编译器并非设计为以这种方式工作。 在推断类型的代码可以运行之前，它需要在此过程的早期阶段使用方法和字段类型。

在纯粹的审美层面上，我发现方法上的 var 定义令人困惑。 我认为显式总是有帮助的地方，它可以防止您意外返回导致您的签名和大量其他依赖方法签名发生更改的类型而搬起石头砸自己的脚。 最糟糕的是，如果您返回一个返回对象的方法的值并且碰巧很幸运，您可能会更改方法链的所有签名，甚至不知道自己这样做了。

我认为 var 方法最好留给像 Ruby 这样的动态语言

Answer 3

因为它更容易做到。 如果你要推断所有类型，则需要像 Hindley Milner 类型推断系统这样的东西，它将把你喜爱的 C# 变成 Haskel 衍生语言。

Answer 4

本质上，您遇到的问题是 C#（到目前为止）是一种静态类型语言。 定义为 var 的局部变量仍然是静态类型的，但在语法上是隐藏的。 另一方面，返回 var 的方法有很多含义。 它更像是一个使用接口，并且使用 var 不会获得任何好处。

Answer 5

您可以在 vs 2010 中使用动态

Dynamic getFoo() { 
    return new Foo();  
} 

Answer 6

我认为这是因为该隐含类型的范围要宽得多，因此比单个方法的范围更容易导致问题。