类从被加载到虚拟机内存开始,到卸载出内存为止,一共会经历 加载、验证、准备、解析、初始化、使用、卸载 7个阶段。其中 验证、准备、解析 这三个解析被称为连接过程。
一般来说,以上过程会按部就班地开始,但只是开始,因为这些阶段会交叉进行,通常会在一个阶段开始后激活调用另一个过程。
以下4种情况下,一定会开始类的加载过程:
(1)、遇到new、getstatic、putstatic、invokestatic等字节码指令时,而类没有经过初始化。生成这4个指令的常见情况:使用new关键字实例化对象、读取或设置类的静态字段(使用final关键字修饰除外)、调用类的静态方法
(2)、使用java.lang.reflect进行反射调用,而类没有经过初始化。
(3)、当初始化一个类时,发现其父类还没有被初始化,则需要先初始化其父类
(4)、当虚拟机启动时,用户需要指定一个主类(包含main方法),虚拟机会初始化这个主类。
回顾第(1)条,为啥final关键字修饰的静态成员变量会例外呢?如果是final关键字修饰的static变量,它的值使用ConstantValue进行初始化,非final修饰的static变量在 clinit 方法中初始化。
以上4种场景被虚拟机称为有且只有的会触发类初始化的场景,这4种场景被称为对类的主动引用。除此之外的所有场景都不会触发类的初始化,被称为被动引用。
public class SuperClass {
/*
* 被动引用父类静态变量,不会初始化子类
*/
static{
System.out.println("super class init");
}
public static int value = 123;
}
public class SubClass extends SuperClass{
static{
System.out.println("sub class init");
}
}
public class ConstClass {
static{
System.out.println("const class init");
}
public static final String HELLO = "hello world";
}
/*
* 被动引用父类静态变量,不会初始化子类
*/
public static void invokeSuperStatic(){
System.out.println(SubClass.value);
}
/*
* 通过数组定义来引用类,不会触发类的初始化
*/
public static void accessByArray(){
SuperClass[] array = new SuperClass[10];
}
/*
* 访问final static变量,不会初始化类
*/
public static void accessFinalField(){
System.out.println(ConstClass.HELLO);
}
如上代码,一共对应了3种被动引用方式。
(1)、引用父类的静态变量,不会初始化子类
(2)、通过数组定义来引用类,不会触发类的初始化。此时没有初始化 SuperClass 类,但初始化了 [Lcom.okunu.jvm.init 这个类,它由字节码指令newarray触发,且实现了数组的 length 等方法。数组也是对象,是Java自动生成的对象,所以它并不会去初始化数组中的元素类。
(3)、static final类型的常量,在编译阶段已把此常量存储到了NotInit类的常量池了,对常量 HELLO 的引用已经转化对自身常量池的引用了,所以不会初始化ConstClass类了