Question

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

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

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!"; 内联分配到构造函数中。

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

一般来说，从构造函数中调用可覆盖的方法是bad practice。

Answer 2

它是由Java语言规范定义的。在实际情况下，将其更改为静态几乎永远不会是可接受的解决方案。

请参阅JLS 4.12.5 Initial Values of Variables和JLS 8.3.2 Initialization of Fields

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

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

2 个答案: