JVM类加载机制

前言

众所周知，在Class文件中描述的各类信息，最终都需要加载到虚拟机中之后才能被运行和使用。

类加载的时机

一个类型从被加载到虚拟机内存开始，到卸载出内存为止，他的生命周期将会经历加载（Loading）、验证（Verification）、准备（Preparation）、解析（Resolution）、初始化（Initialization）、使用（Using）和卸载（Unloading）七个阶段，其中验证、准备、解析三个部分统称为连接（Linking）。
这七步的发生顺序如下：

加载——>验证——>准备——>解析——>初始化——>使用——>卸载

注：加载、验证、准备、初始化、卸载这五个阶段的顺序是确定的，类型的加载过程必须按照这种顺序按部就班的开始，而解析不一定：在某些情况可以在初始化阶段之后再开始。

类加载时机

关于什么情况下需要开始类加载的第一个阶段“加载”，《Java虚拟机规范》并没有进行强制约束。有几种情况必须立即对类进行“初始化”。

类加载过程

接下来我们会详细记录类加载的全程，即加载、验证、准备、解析和初始化这五个阶段

加载

“加载”阶段是整个类加载过程中的一个阶段。在加载阶段，Java虚拟机需要完成以下三件事情：

• 通过一个类的全限定名来获取定义此类的二进制字节流。
• 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
• 在内存中（这里是Java堆）生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口

验证

验证是连接阶段的第一步，这一阶段的目的是确保Class文件的字节流中包含的信息符合《Java虚拟机规范》的全部约束要求，保证这些信息被当做代码运行后不会危害虚拟机自身的安全。
验证阶段大概分为：

1、文件格式验证

第一阶段要验证字节流是否符合Class文件格式的规范，并且能被当前虚拟机处理。主要包括

• 是否以魔数0XCAFEBABE开头。
• 主、次版本号是否在当前java虚拟机接受范围之内。
• 常量池的常量中是否有不被支持的常量类型（检查常量tag标志）
• …

2、元数据验证

第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合《Java语言规范》的要求，这个阶段可能包括的验证点如下：

• 这个类是否有父类（除java.lang.Object之外，所有的类都应当有父类）
• 这个类的父类是否继承了不被允许的类（被final修饰的类）
• 如果这个类不是抽象类，是否实现了其父类或接口之中要求实现的所有方法。
• …

3、字节码验证

第三阶段是整个验证过程中最复杂的一个阶段，主要目的是通过数据流分析和控制流分析，确定程序语义是合法的，复合逻辑的，在第二阶段对元数据信息中的数据类型校验完毕以后，这个阶段就要对类的方法体（Class文件中的Code属性）进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的行为，例如：

• 保证任意时刻操作数栈的数据类型与指令代码序列都能配合工作，例如不会出现类似于“在操作栈放置一个int类型的数据，使用时却按long类型来加载入本地变量表中这种情况”。
• …

准备

准备阶段是正式为类中定义的变量（即静态变量，被static修饰的变量）分配内存并设置类变量的初始值的阶段，从概念上讲，这些变量使用的内存都应当在方法区中进行分配，需要注意的是方法区是一个逻辑上的概念，JDK8以后，类变量则会随着Class对象一起存放在Java堆中。

这个时候进行内存分配的仅包括类变量，而不包括实例变量，实例变量将会随着对象实例化时随着对象一起分配在Java堆中。其次是这里是初始值通常情况下是数据类型的零值，初始化阶段才会赋值。

解析

指将常量池内的符号引用替换为直接引用的过程

初始化

类初始化阶段是类加载过程的最后一步，到了这个阶段才真正开始执行类中定义的Java程序代码（或者说是字节码）。在准备阶段，变量已经赋过一次系统要求的初始值，而在初始化阶段，则根据程序员通过程序制定的主观计划去初始化类变量和其他资源。
需要注意以下几点：

1.编译器收集的顺序是由语句在源文件中出现的顺序决定的，静态语句块中只能访问到定义在静态语句块之前的变量，而定义在它之后的变量，在前面的静态语句块可以赋值，但不能访问，代码解释如下：

public class Test {
    static {
        i = 0;                       //给变量赋值可以正常编译通过
        System.out.print(i);         //编译器会提示“非法向前引用”
        }
    static int i = 1;
}

2.初始化方法执行的顺序，虚拟机会保证在子类的初始化方法执行之前，父类的初始化方法已经执行完毕，因此在虚拟机中第一个被执行的类初始化方法一定是java.lang.Object。另外，也意味着父类中定义的静态语句块要优先于子类的变量赋值操作，例如：

static class Parent {
    public static int A = 1;
    static {
        A = 2;
        }
    }

static class Sub extends Parent {
    public static int B = A;
    }

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

执行的结果。字段B的值将会是2而不是1。

3.clinit ()方法对于类或接口来说并不是必须的，如果一个类中没有静态语句块，也没有对变量的赋值操作，那么编译器可以不为这个类生成clinit()方法。

4.接口中不能使用静态语句块，但仍然有变量初始化的操作，因此接口与类一样都会生成clinit()方法，但与类不同的是，执行接口的初始化方法之前，不需要先执行父接口的初始化方法。只有当父接口中定义的变量使用时，才会执行父接口的初始化方法。另外，接口的实现类在初始化时也一样不会执行接口的clinit()方法。

5.虚拟机会保证一个类的clinit()方法在多线程环境中被正确的加锁、同步，如果多个线程同时去初始化一个类，那么只会有一个线程去执行这个类的clinit()方法，其他线程都需要阻塞等待，直到活动线程执行类初始化方法完毕。