java

이것은 매우 흥미로운 문제입니다!

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

실제로 예상되는 출력을 얻습니다. 그러나 기본 메소드가 interface에 추가 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 )의 일부라고 생각할 수 있습니다. 그러나 아마도 이것은 너무 멀리 가서 실수로 전체 초기화를 대신했습니다.

나는 한 이 질문을 제기 오픈 JDK 컴파일러-dev 메일 링리스트를. 가있었습니다 알렉스 버클리에서 응답 그는 더 JVM에 지시 질문과 람다 구현 팀을 제기하는합니다 (JLS의 편집자). 그는 또한 “T는 클래스이고 T에 의해 선언 된 정적 메서드가 호출됩니다”라는 사양의 버그가 T가 인터페이스 인 경우에도 적용되어야한다고 언급합니다. 따라서 여기에 사양 및 HotSpot 버그가 모두있을 수 있습니다.

공개 : 저는 OpenJDK에서 Oracle에서 일합니다. 사람들이 이것이이 질문에 대한 현상금을받는 데 불공정 한 이점을 준다고 생각한다면, 나는 그것에 대해 유연하게 기꺼이 할 것입니다.

답변

public class Example {
    public static void main(String[] args) throws Exception {
        InterfaceType foo = new InterfaceTypeImpl();
        System.out.println(InterfaceType.init);
        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();
}

// refer to the JVM book page 47 for description of steps
...

if (this_oop->has_default_methods()) {
  // Step 7.5: initialize any interfaces which have default methods
  for (int i = 0; i < this_oop->local_interfaces()->length(); ++i) {
    Klass* iface = this_oop->local_interfaces()->at(i);
    InstanceKlass* ik = InstanceKlass::cast(iface);
    if (ik->has_default_methods() && ik->should_be_initialized()) {
      ik->initialize(THREAD);
    ....
    }
  }
}

class Foo{
    static{
        Bank.deposit($1000);
...