上一篇讲了类的加载过程,到最后一步触发了初始化,那么一个类到底在什么情况下才会触发初始化过程呢?
简单总结
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程序员日常学习笔记,如理解有误欢迎各位交流讨论!