具体原因是Java语言是否自动初始化对象的字段？

Question

"Java语言自动初始化对象的字段,与程序员负责初始化的方法的局部变量形成对比.鉴于您对程序内和程序间数据流分析的了解,请解释为什么语言设计者可能已经进行了这些设计选择".

它对我来说很明显,它可以防止出现bug.但是,究竟是什么bug呢？是否要缩小某些给定方法的可能控制流程？

有人可以详细介绍一下吗？我非常感谢你的帮助.

Answer 1

进行过程内数据流确实很容易，因此检查字段是否已初始化并在未初始化时发出警告非常容易（可以编写一种简单的可判定算法，例如确保初始化变量的所有分支if） ，如果一个分支不存在，则失败，即使该分支无法访问）。

进行过程间数据流确实很难，因此很难检查对象的字段是否已在代码中的任何位置初始化（对于任何合理的近似，您很快就会进入不可判定的领域）。

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