超类初始化之前的子类final static初始化？

Question

我找不到任何关于这个具体案例的具体SO帖子，所以我想问一下我认为是/否的问题。

以下是JLS§12.4.2（Java SE 8），清单6-7：

我的问题是：这是否意味着子类的final static变量在超类的静态初始化之前初始化（假设final static作为其声明的一部分初始化）？

Answer 1

答案是可能是这样的。关键部分是一个不变的单词含义。

考虑这段代码

class Foo {
    public static final int FOO_VALUE = 1000;

    static {
        System.err.println("FOO Bar.BAR_VALUE=" + Bar.BAR_VALUE);
    }
}

class Bar extends Foo {
    public static final int BAR_VALUE = 2000;

    static {
        System.err.println("BAR Foo.FOO_VALUE=" + Foo.FOO_VALUE);
    }
}

该程序的输出将为

FOO Bar.BAR_VALUE=2000
BAR Foo.FOO_VALUE=1000

在这种情况下，静态最终变量在静态初始化之前初始化。FOO_值和BAR_值都是常数，因此javac可以内联该字段。

但是你可以通过假装最终变量不是常量来欺骗编译器

class Foo {
    public static final int FOO_VALUE = Integer.valueOf(1000).intValue();

    static {
        System.err.println("FOO " + Bar.BAR_VALUE);
    }
}

class Bar extends Foo {
    public static final int BAR_VALUE =  Integer.valueOf(2000).intValue();

    static {
        System.err.println("BAR " + Foo.FOO_VALUE);
    }
}

输出将是

FOO Bar.BAR_VALUE=0
BAR Foo.FOO_VALUE=1000

因此，静态初始化器在静态final条之前完成。BAR_值已初始化。