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

Question

昨天我遇到了一个有趣的问题,虽然修复非常简单,但我对它的"原因"仍然有点模糊.

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

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!";被内联到构造函数中.

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

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