本地类型推断与实例

Question

我尝试扫描有关本地类型推断的JEP-286。我看到这仅适用于局部变量-
了解。因此这确实有效：

public class TestClass {
    public static void main(String [] args){
        var list = new ArrayList<>();
        list.add("1");
        System.out.println(list.get(0)); // 1
    }  
}

我确实看到，另一方面，它无法编译：

public class TestClass {
    public var list = new ArrayList<>();
    public static void main(String [] args){

    }
}

很明显，事实并非如此，因为JEP是这样说的。现在我的问题是：

对于宣布失败的 公共/受保护
成员var，至少是IMO，这是完全合理的。但是，为什么即使编译也不编译private呢？我只能假设您仍然可以通过反射保留该变量（而我无法获得这样的局部字段）…而且获取该变量可能需要强制转换，很可能是非常混乱的强制转换。

Answer 1

禁止对字段和方法返回值进行类型推断的动机是，API应该稳定；字段访问和方法调用在运行时通过描述符链接在一起，因此，如果对实现的更改导致推断的类型发生更改（模删除），则导致对推断的类型进行细微更改的事情可能导致现有的已编译客户端以可怕的方式中断。这对于实现而不是对API来说是明智的指导原则。

合理地问“那么，私有字段和方法呢？”
确实，我们很可能选择这样做。像所有设计决策一样，这是一个权衡。它可以使推理在更多的地方使用，以换取用户模型的更多复杂性。（我不太关心规范或编译器的复杂性；这是我们的问题。）比添加诸如“但是”字段之类的各种周转注意事项，更容易推理“推断局部变量为，字段和方法为否”如果方法是私有的，则方法也可以。”
在我们所做的事情上划清界限还意味着，将字段或方法从私有更改为非私有的兼容性后果不会产生偶然的推理交互。

因此，简短的答案是，以这种方式进行操作会使语言更简单，而又不会大大降低功能的实用性。