Java 10中var关键字为什么不能用于声明实例变量和全局变量？

如下示例代码中，在类中用var声明实例变量会直接触发编译错误：

class Demo3 {
  
    // 实例变量用var声明会编译报错
    var x = 50;
    public static void main(String[] args)
    {
        System.out.println(x);
    }
}

存在该限制的具体原因如下：

• 设计定位限制：var 是Java 10专门为简化局部变量声明推出的类型推断特性，设计之初就没有规划支持类成员变量（实例变量、静态全局变量）的声明。Java采用保守式类型推断规则，避免引入不可预测的类型推断问题，而成员变量的使用场景比局部变量复杂得多，跨方法、跨类、多态赋值等场景都可能让编译器无法稳定推断出准确的类型，强行支持反而会增加编译阶段的不确定性。
• 类成员需要显式类型契约：实例变量、静态变量属于类的元数据契约的一部分，即便是private修饰的私有成员，也会在类内部多个方法、甚至子类中被访问和引用。如果使用var声明，开发者必须找到变量的初始化逻辑才能反推变量类型，会大幅降低代码可读性，也违背了Java作为静态强类型语言，要求核心元数据显式声明的设计原则。
• 初始化场景无法满足推断要求：var 必须依赖声明时的赋值右值来推断变量类型，而类成员变量的初始化方式非常多样：可以声明时直接赋值、可以在构造代码块赋值、可以在构造器中赋值、可以通过setter方法延迟赋值，甚至存在仅声明不赋初始值的使用场景，多数场景下编译器没有足够的编译期信息来完成类型推断，无法形成统一的支持规则。

内容的提问来源于stack exchange，提问作者Mamatha Silveri