本地类型推断与实例

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

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

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