在搜索Java语言规范以回答this question时,我学习了that
在初始化类之前,必须初始化其直接超类,但不会初始化类实现的接口。同样,在初始化接口之前,不会初始化接口的超接口。
为了我自己的好奇心,我尝试了它,正如预期的那样,界面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
字段被初始化(step 9 in the Detailed Initialization Procedure)并且执行被初始化的类型的static
初始化器。这意味着界面已初始化。
我在JLS中找不到任何表明这应该发生的事情。不要误解我的意思,我知道如果实现类没有提供该方法的实现,这应该发生,但如果有的话呢? Java语言规范是否缺少这种情况,我是否遗漏了某些内容,还是我错误地解释了它?
这是一个非常有趣的问题!
似乎JLS section 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)的一部分,它初始化方法表之类的东西。但也许这太过分了,不小心做了完全初始化。
我在OpenJDK compiler-dev邮件列表上有raised this question。有一个reply from Alex Buckley(JLS的编辑),他提出了更多针对JVM和lambda实施团队的问题。他还指出,在这里的规范中有一个错误,它说“T是一个类,并且T调用的静态方法被调用”,如果T是一个接口,也应该适用。因此,这里可能存在规范和HotSpot错误。
披露:我在OpenJDK上为Oracle工作。如果人们认为这给了我一个不公平的优势来获得这个问题的赏金,我愿意灵活应对它。
接口未初始化,因为常量字段InterfaceType.init
(由非常量值(方法调用)初始化)不会在任何地方使用。
在编译时已知接口的常量字段不在任何地方使用,并且接口不包含任何默认方法(在java-8中),因此不需要初始化或加载接口。
接口将在以下情况下初始化,
如果是默认方法,您正在实施InterfaceType
。因此,如果InterfaceType
将包含任何默认方法,它将在实现类中被INHERITED(使用)。初始化将进入图片。
但是,如果要访问接口的常量字段(以正常方式初始化),则不需要接口初始化。
考虑以下代码。
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();
}
在上面的例子中,Interface将被初始化并加载,因为你正在使用字段InterfaceType.init
。
我没有给出你在问题中已经给出的默认方法示例。
Java语言规范和示例在JLS 12.4.1中给出(示例不包含默认方法。)
我找不到JLS for Default方法,可能有两种可能性
来自OpenJDK的instanceKlass.cpp文件包含初始化方法InstanceKlass::initialize_impl
,它对应于JLS中的Detailed Initialization Procedure,类似于JVM Spec中的Initialization部分。
它包含一个新步骤,该步骤在JLS中未提及,而不是在代码中引用的JVM书中:
// 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);
....
}
}
}
因此,此初始化已明确实现为新的步骤7.5。这表明此实现遵循了一些规范,但似乎网站上的书面规范尚未相应更新。
编辑:作为参考,提交(从2012年10月!)其中相应的步骤已包含在实施中:http://hg.openjdk.java.net/jdk8/build/hotspot/rev/4735d2c84362
编辑2:巧合的是,我发现这个Document about default methods in hotspot最后包含一个有趣的旁注:
3.7杂项
因为接口现在有字节码,所以我们必须在初始化实现类时初始化它们。
我将试图说明一个接口初始化不应该导致子类型所依赖的任何副通道副作用的情况,因此,无论这是否是一个bug,或者无论Java修复它的哪种方式,它都无关紧要初始化订单接口的应用程序。
在class
的情况下,人们普遍认为它可能导致子类依赖的副作用。例如
class Foo{
static{
Bank.deposit($1000);
...
Foo
的任何子类都希望他们在子类代码中的任何地方看到1000美元。因此,超类在子类之前初始化。
我们不应该为超级表面做同样的事情吗?不幸的是,超级接口的顺序不应该是重要的,因此没有明确定义的顺序来初始化它们。
所以我们最好不要在界面初始化中建立这种副作用。毕竟,interface
不是为了方便我们堆积的这些功能(静态字段/方法)。
因此,如果我们遵循这个原则,我们就不用担心接口的初始化界面。