虚拟机类加载的时机

虚拟机类加载的时机

一个类编译完成之后，下一步就需要开始使用类，如果要使用一个类，肯定离不开JVM。在程序执行过程中JVM通过加载，连接，初始化这3个步骤完成。其中连接包括验证、准备、解析三个阶段。

1. 类的生命周期

• 共七个阶段：
  
  • 加载、验证、准备、解析、初始化、使用、卸载
  • 其中，验证、准备、解析3个阶段统称为连接
• 确定顺序的五个阶段：
  
  • 加载：通过类加载器完成（除了数组类，数组类是由JVM直接创建的，但数组类也与类加载器紧密联系，因为数组类的元素类型要靠类加载器创建），一般情况，类加载器会将编译后的.class文件的二进制字节流文件装入JVM的方法区，然后在内存中实例化一个java.lang.Class类的对象（对于HotSpot，Class对象放在方法区中，即使它是对象。。），这个对象就作为程序访问方法区中这些类型数据的外部接口。
  • 验证：这个阶段的目的主要是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。这一阶段很重要，但是并不是必须的，如果运行的代码被反复验证和使用过，在实施阶段其实可以取消这一阶段，以缩短虚拟机类加载的时间。
  • 准备：这个阶段是正式为类变量（被static修饰的变量）分配内存并设置类变量初始值的阶段。这个初始值一般是数据类型的零值。但是有一种特殊情况，如果类字段的字段属性表中有ConstantValue属性，那么在准备阶段这个变量就会被初始化为ConstantValue属性指定的值。而有ConstantValue属性的通常是被final修饰的变量，这里也体现了final关键字的一个作用
  • 解析：这个阶段是虚拟机将常量池内的符号引用替换为直接引用的过程
  • 初始化：初始化阶段是类加载过程的最后一步，这一阶段才开始真正执行Java程序代码。在准备阶段已经赋过一次初值，而在初始化阶段会根据程序员主观去赋值，或者这么说：初始化阶段是执行类构造器()方法的过程。
    
    • ()方法是由编译器自动收集类中的所有类变量的赋值和static语句块合并产生的，编译器收集的顺序取决于语句在源文件中的顺序，static语句块只能访问定义在他之前的变量，对于定义在他之后的变量，static语句只能赋值，但是不能访问。

2. 5种必须对类进行“初始化”的情况

1. 遇到new、getstatic、putstatic、invokestatic这4条字节码指令时
   一般是使用new，读取或设置一个静态字段（除被final修饰、在编译器已将结果放入常量池的静态字段）、调用静态方法时。
2. 使用java.lang.reflect包的方法对类进行反射调用时
3. 初始化一个类，其父类还未初始化，先触发父类的初始化
4. VM启动时，指定执行的主类
5. 使用JDK1.7时，java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法句柄所对应的类没有初始化

这5种情况都是“主动引用”，有且仅有这5种情况才称为主动引用

还需要注意一下：
- 接口中不能使用static{}，但编译器仍会为接口生成()类构造器，用于初始化接口中所定义的成员变量。
- 接口与类真正的区别是前面讲的5种立即对类进行初始化的第3种情况：
- 一个接口在初始化时，不要求其父接口全部完成了初始化
- 只有在真正使用到父接口时（如引用接口中定义的常量）才会初始化

3. 被动引用

1. 通过子类引用父类的静态字段，不会导致子类初始化

定义一个SuperClass

public class SuperClass {
    static {
        System.out.println("super class");
    }

    public static int value = 123;
}

定义一个子类SubClass

public class SubClass extends SuperClass {
    static {
        System.out.println("sub class");
    }
}

通过子类调用父类的value字段

    public static void main(String[] args) {
        System.out.println(SubClass.value);
    }

输出结果：

super class
123

分析：并没有输出sub class，说明没有初始化子类SubClass

这是因为，对于静态字段，只有直接定义这个字段的类才会被初始化，因此，上面代码中通过子类调用父类的value静态字段，只会初始化直接定义value的父类SuperClass。

2. 通过数组定义来引用类，不会触发此类的初始化
对于上面的SuperClass，如果这样调用

    public static void main(String[] args) {
        SuperClass[] s = new SuperClass[10];
    }

输出结果为空

Java中封装了数组元素的访问方法，当检查到发生数组越界时会抛出ArrayIndexOutOfBoundsException；而C/C++ 直接将对数组的访问翻译成堆数组指针的移动，因此Java语言对数组的访问比C/C++相对安全。

3. 常量在编译阶段会存入调用类的常量池中，本质上没有直接引用到定义常量的类，因此不会触发定义常量的类的初始化

定义一个含常量的类ConstClass

public class ConstClass{
    static {
        System.out.println("const class");
    }

    public static final String FOREVER = "forever";
}

引用该常量

class Test {

    public static void main(String[] args) {
        System.out.println(ConstClass.FOREVER);
    }
}

输出结果：

forever

分析：输出了常量值，但是没有输出const class，说明ConstClass没有被初始化。

这是因为，虽然引用了ConstClass类的常量FOREVER

但常量FOREVER的值”forever”，在编译期间经过常量传播优化会存入Test类的常量池

以后Test类对ConstClass.FOREVER的引用实际上就是对自己常量池的引用

即Test类的Class文件之中并没有ConstClass类的符号引用入口，这两个类在编译成class后就不存在任何联系了