具有默认方法的接口何时初始化？

在搜索 Java 语言规范来寻找答案时这个问题 https://stackoverflow.com/questions/23093470/java-order-of-initialization-and-instantiation#23093470， 我学会了that http://docs.oracle.com/javase/specs/jls/se8/html/jls-12.html#jls-12.4

在初始化一个类之前，它的直接超类必须是 初始化，但类实现的接口不是 已初始化。同样，接口的超级接口也不是 在接口初始化之前进行初始化。

出于自己的好奇心，我尝试了一下，不出所料，界面InterfaceType没有初始化。

public class Example {
    public static void main(String[] args) throws Exception {
        InterfaceType foo = new InterfaceTypeImpl();
        foo.method();
    }
}

class InterfaceTypeImpl implements InterfaceType {
    @Override
    public void method() {
        System.out.println("implemented method");
    }
}

class ClassInitializer {
    static {
        System.out.println("static initializer");
    }
}

interface InterfaceType {
    public static final ClassInitializer init = new ClassInitializer();

    public void method();
}

该程序打印

implemented method

但是，如果接口声明了default方法，然后初始化就会发生。考虑InterfaceType接口给出为

interface InterfaceType {
    public static final ClassInitializer init = new ClassInitializer();

    public default void method() {
        System.out.println("default method");
    }
}

那么上面的相同程序将打印

static initializer  
implemented method

换句话说，static接口的字段已初始化（详细初始化过程中的步骤 9 http://docs.oracle.com/javase/specs/jls/se8/html/jls-12.html#jls-12.4）和static执行正在初始化的类型的初始值设定项。这意味着接口已初始化。

我在 JLS 中找不到任何表明这种情况应该发生的内容。不要误会我的意思，我知道如果实现类没有提供该方法的实现，则应该发生这种情况，但如果提供了怎么办？ Java 语言规范中是否缺少此条件，我是否遗漏了某些内容，或者我是否错误地解释了它？

这是一个非常有趣的问题！

这好像是JLS 第 12.4.1 节 http://docs.oracle.com/javase/specs/jls/se8/html/jls-12.html#jls-12.4.1应该明确地涵盖这一点。但是，Oracle JDK 和 OpenJDK（javac 和 HotSpot）的行为与此处指定的不同。特别是，本节中的示例 12.4.1-3 涵盖了接口初始化。示例如下：

interface I {
    int i = 1, ii = Test.out("ii", 2);
}
interface J extends I {
    int j = Test.out("j", 3), jj = Test.out("jj", 4);
}
interface K extends J {
    int k = Test.out("k", 5);
}
class Test {
    public static void main(String[] args) {
        System.out.println(J.i);
        System.out.println(K.j);
    }
    static int out(String s, int i) {
        System.out.println(s + "=" + i);
        return i;
    }
}

其预期输出为：

1
j=3
jj=4
3

事实上我得到了预期的输出。但是，如果在接口中添加默认方法I,

interface I {
    int i = 1, ii = Test.out("ii", 2);
    default void method() { } // causes initialization!
}

输出更改为：

1
ii=2
j=3
jj=4
3

这清楚地表明了该接口I正在初始化，之前没有初始化！仅存在默认方法就足以触发初始化。不必调用或重写甚至提及默认方法，抽象方法的存在也不会触发初始化。

我的猜测是 HotSpot 实现希望避免将类/接口初始化检查添加到关键路径中invokevirtual称呼。在 Java 8 和默认方法之前，invokevirtual永远不可能最终在接口中执行代码，所以这不会出现。人们可能会认为这是类/接口准备阶段的一部分（JLS 12.3.2 http://docs.oracle.com/javase/specs/jls/se8/html/jls-12.html#jls-12.3.2）它初始化方法表之类的东西。但也许这太过分了，意外地进行了完全初始化。

I've 提出这个问题 http://mail.openjdk.java.net/pipermail/compiler-dev/2014-April/008733.html在 OpenJDK 编译器开发邮件列表上。曾经有一个亚历克斯·巴克利的回复 http://mail.openjdk.java.net/pipermail/compiler-dev/2014-April/008734.html（JLS 的编辑），他在其中针对 JVM 和 lambda 实现团队提出了更多问题。他还指出，这里的规范中有一个错误，其中说“T 是一个类，并且调用 T 声明的静态方法”，如果 T 是一个接口，也应该适用。因此，这里可能同时存在规范和 HotSpot 错误。

披露：我在 Oracle 工作，使用 OpenJDK。如果人们认为这给了我在获得这个问题的奖金方面不公平的优势，我愿意对此保持灵活性。