触发类初始化的几个面试坑

上一篇讲了类的加载过程，到最后一步触发了初始化，那么一个类到底在什么情况下才会触发初始化过程呢？

简单总结

jvm对类的使用可以分成两种：主动使用与被动使用。每个类或者接口被Java程序首次主动使用时才初始化他们。记住首次，也就是类只会被初始化一次。

主动使用分为以下6种情况：

1）遇到new、getstatic、putstatic或invokestatic这四条字节码指令时，对应的Java场景为new实例化对象、读取或者设置静态字段（不能被final修饰，后面验证）、调用静态方法。

2）使用java.lang.reflect包的方法对类型进行反射调用的时候（比如Class.forName(“Test.java”)）。

3）初始化子类，如果父类没有被初始化，那么会先初始化父类。

4）当虚拟机启动时，用户需要指定一个要执行的主类（包含main()方法的那个类），虚拟机会先初始化这个主类。

​

5）当使用JDK 7新加入的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果为REF_getStatic、REF_putStatic、REF_invokeStatic、REF_newInvokeSpecial四种类型的方法句柄，并且这个方法句柄对应的类没有进行过初始化，则需要先触发其初始化。

6）当一个接口中定义了JDK 8新加入的默认方法（被default关键字修饰的接口方法）时，如果有这个接口的实现类发生了初始化，那该接口要在其之前被初始化。

除了以上6种情况其他的都是被动使用，都不会使类的初始化，记住是首次主动使用，如果类以及初始化过，遇到以上情况也不会在初始化了！

静态字段常见坑

这里常见的场景就不在赘述了，主要验证几个不常见的坑！首先第一个坑，建议大家先看代码，最后再看打印结果，代码如下图：

从上一篇文章我们知道类的初始化最后会执行类的静态代码块，从上图中可以看到并没有答应子类的静态代码块，也就是并没有初始化子类，因为对于静态字段来说，只有直接定义该字段的类才会被初始化。

接下来看下面这个代码，先不要看打印结果，代码如下图：

这次只打印了str这个字符串，是因为我把str字符串用final修饰了，这也是其中一个坑，访问被final修饰的静态字段并不会触发类的初始化，通过javap -verbose查看测试类的main方法字节码如下图：

可以看到”str str str“这个字符串已经在测试类的常量池中，也就是代码通过编译后final修饰的静态字段那里引用了它，他就会被方法对应的常量池中。

但是呢又要考虑如下情况，如下图：

以上代码还是触发了父类的初始化，这里就要区分编译期常量与运行期常量，在编译期无法确定的值，只能在运行期才能确定，那么就会触发类的初始化。

接口验证

接口由于没有静态代码块验证，我们可以通过创建新的线程来验证，代码如下图：

当一个类在初始化时，要求其父类全部都已经初始化过了，但是一个接口在初始化时，并不要求其父接口全部都完成了初始化，只有在真正使用到父接口的时候（如引用接口中定义的常量）才会初始化。

但是当一个接口中定义了JDK 8新加入的默认方法（被default关键字修饰的接口方法）时，如果有这个接口的实现类发生了初始化，那该接口要在其之前被初始化，如上图中如果把default修饰的方法注释，接口也就不会被初始化了！

数组验证

还有一个常见的不会初始化的情况，代码如下图：

数组初始化并不会初始化对于的类，可以看到数组对应的类为”[Lcom.dggcc.test.classinit.Parent;“，这个是JVM生成用来表示数组类型的，与原本的类无关！

总结

面试中最常见都是对静态字段的调用考察，这里举了几个常见的坑，面试中可能会综合出现，不过记住了坑，同时也不要忘了正常情况，所以对主动使用的6种情况还是要去多多理解！

Java程序员日常学习笔记，如理解有误欢迎各位交流讨论！