final字段的初始化顺序

Question

考虑这两个类：

public abstract class Bar {
    protected Bar() {
        System.out.println(getValue());
    }

    protected abstract int getValue();
}

public class Foo extends Bar {
    private final int i = 20;

    public Foo() {
    }

    @Override
    protected int getValue() {
        return i;
    }

    public static void main(String[] args) {
        new Foo();
    }
}

如果我执行 Foo，输出是 20。

如果我将字段设置为非最终字段，或者如果我在 Foo 构造函数中对其进行初始化，则输出为 0。

我的问题是：对于 final 字段，初始化顺序是什么？JLS 中在哪里描述了这种行为？

我希望找到一些关于 final 字段 here 的特殊规则，但除非我错过了什么，否则没有。

请注意，我知道我永远不应该从构造函数中调用可覆盖的方法。这不是问题的重点。

Answer 1

您的final int i 成员变量是一个常量变量：4.12.4. final Variables

原始类型或String 类型的变量，即final 并使用编译时常量表达式（第15.28 节）进行初始化，称为常量变量。

这会对事物的初始化顺序产生影响，如12.4.2. Detailed Initialization Procedure 中所述。

Answer 2

以“字节码-ish”的方式向您介绍它的外观。

您应该已经知道，构造函数中的第一条实际指令必须是对super 的调用（无论是否带有参数）。

当父构造函数完成并且超级“对象”完全构造时，该超级指令返回。因此，当您构造 Foo 时，会发生以下情况（按顺序）：

// constant fields are initialized by this point
Object.construction // constructor call of Object, done by Bar
Bar.construction // aka: Foo.super()
callinterface getValue() // from Bar constructor
// this call is delegated to Foo, since that's the actual type responsible
// and i is returned to be printed
Foo.construction

如果你要在构造函数中初始化它，那将在“现在”发生，在 getValue() 已经被调用之后。