java - Java语言为什么会自动初始化对象的字段呢？

Question

“Java 语言自动初始化对象的字段，这与程序员负责初始化的方法的局部变量形成对比。根据您对过程内和过程间数据流分析的了解，解释为什么语言设计者可能有做出了这些设计选择。”

对我来说很明显，这是为了防止错误。但是，那个错误到底是什么？会不会压缩某个给定方法的可能控制流？

有人可以对此进行更详细的介绍吗？非常感谢您的帮助。

Answer 1

过程内数据流真的很容易，所以检查一个字段是否已经初始化并在没有初始化时发出警告真的很容易(可以编写一个简单的可判定算法，例如确保一个字段的所有分支if 初始化一个变量，如果一个分支没有，则失败，即使该分支不可到达)。

过程间数据流真的很难，所以很难检查对象的字段是否曾经在代码中任何地方被初始化(你快速进入任何合理近似值的不确定区域)。

因此 Java 执行前者并在检测到未初始化的局部变量时给出编译时错误，但不执行后者并将对象的字段初始化为其默认值。