为什么在超类的构造函数之后初始化成员对象？

昨天我遇到了一个有趣的问题，虽然修复非常简单，但我对它的“原因”仍然有些模糊。

我有一个类，它具有在实例化时分配的私有成员变量，但是如果它在超类的构造函数调用的抽象函数中使用，则该变量没有值。 问题的解决方案非常简单，我只需要将变量声明为静态并正确分配。 一些代码来说明问题：

class Foo extends BaseClass { private final String bar = "fooBar!"; public Foo() { super(); } @Override public void initialize() { System.out.println(bar); } } 

和基类：

 abstract class BaseClass { public BaseClass() { initialize(); } public abstract void initialize(); } 

在这个例子中，当我们调用new Foo(); 它将输出（null）而不是预期的fooBar！

既然我们实例化了一个Foo类型的对象，它的成员是否应该在调用它（以及它的超类的）构造函数之前被分配和赋值？ 这是在Java语言中指定的，还是特定于JVM的？

感谢您的任何见解！

Answer 1

bar = "fooBar!";的赋值bar = "fooBar!"; 在编译期间内联到构造函数中。

超类构造函数在子类构造函数之前运行，因此事后执行该语句是很自然的。

但一般来说，从构造函数中调用可覆盖的方法是不好的做法 。

Answer 2

它是由Java语言规范定义的。 将其更改为静态几乎永远不会是现实世界中可接受的解决方案。

请参见JLS 4.12.5变量的初始值和JLS 8.3.2字段的初始化

总的来说，从构造函数中调用非final方法是不好的做法。 原因是它可以（并且如果方法是抽象的那么肯定）在尚未初始化的类中调用方法：当执行new Foo() ，在Foo构造函数之前调用BaseClass初始化器（构造函数），所以Foo.initialize本质上是在一个尚未完全构建的Object上。