为什么`var`不能用于可以推断类型的非局部变量？ [复制]

Question

class ExampleClass {
    var a = 0; // Not Allowed
    static var b = 0; // Not Allowed 

    void exampleMethod() {
        var c = 3; // Allowed
    }
}

在上面的例子中，a 和b 都可以在编译时确定它们的类型。然而，var 只允许用于可以推断类型的局部变量。关于为什么会这样，我是否缺少设计原因？

我看过这个question，它解释了var 背后的用途和意图，但它的回答并未承认上述限制的原因。

Answer 1

一种说法是它根本不是为它设计的。

尽管 Java 10 中引入了“var”，但它也有其局限性。

文档明确说明何时可以使用“var”，即仅在以下情况下：

• 使用初始化程序（即方法和初始化程序块）声明局部变量。
• 增强 for 循环中的索引。
• 传统 for 循环中的索引变量。
• Try-with-resources 变量。

阅读文档here