隐式打字；为什么只是局部变量？

Question

有谁知道或关心推测为什么隐式类型仅限于局部变量？var thingy = new Foo();但是为什么不...var getFoo() {    return new Foo(); }

Answer 1

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

为什么不？

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 2

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