字符串初始化_触发类初始化的几个面试坑

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

简单总结

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

主动使用分为以下6种情况&＃xff1a;

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

2&＃xff09;使用java.lang.reflect包的方法对类型进行反射调用的时候&＃xff08;比如Class.forName("Test.java")&＃xff09;。

3&＃xff09;初始化子类&＃xff0c;如果父类没有被初始化&＃xff0c;那么会先初始化父类。

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

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

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

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

静态字段常见坑

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

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

接下来看下面这个代码&＃xff0c;先不要看打印结果&＃xff0c;代码如下图&＃xff1a;

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

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

但是呢又要考虑如下情况&＃xff0c;如下图&＃xff1a;

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

接口验证

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

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

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

数组验证

还有一个常见的不会初始化的情况&＃xff0c;代码如下图&＃xff1a;

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

总结

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

Java程序员日常学习笔记&＃xff0c;如理解有误欢迎各位交流讨论&＃xff01;