[JVM] 虚拟机类加载机制

类加载过程

加载 -> 验证 -> 准备 -> 解析 -> 初始化 -> 使用 -> 卸载
（类的加载过程必须按这种顺序开始，但解析可以在某些情况下在初始化后再开始——为了支持Java的动态加载，此顺序只是开始顺序，通常都是互相交叉混合式进行的）

加载

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

连接

验证

为确保Class文件的字节流中包含的信息符合当前虚拟机要求，并且不会危害虚拟机自身安全。

文件格式验证

验证字节流是否符合Class文件格式的规范：

• 是否以魔数0xCAFEBABE开头
• 主、次版本号是否在当前虚拟机处理范围内
• 常量池的常量中是否有不被支持的常量类型（检查常量tag标志）
• 指向常量的各种索引值是否有指向不存在的常量或者不符合类型的常量
• …

元数据验证

对字节码的描述信息进行语义分析，以保证其描述信息符合Java规范要求：

• 该类是否有父类
• 父类是否继承了不被允许继承的类（final修饰）
• 若该类不是抽象类，是否实现了父类或接口中要求实现的所有方法
• 类中的字段、方法是否与父类产生矛盾（如覆盖父类的final字段等等）
• …

字节码验证

通过数据流和控制流分析，确定程序语义是合法的，符合逻辑的。通过对类的方法体进行校验分析，保证类的方法在运行时不会做出危害虚拟机安全的事件。

符号引用验证

发生在虚拟机将符号引用转化为直接引用的时候，将在连接的第三阶段——解析阶段发生，确保解析动作能正常进行：

• 符号引用中通过字符串描述的全限定名能否找到对应的类
• 在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段
• 符号引用的类、字段、方法的访问性能否被当前类访问

准备

为类变量分配内存并设置类变量的初始值（指数据类型的零值，初始不包括实例变量，实例变量将在对象实例化时随对象一起分配在Java堆里）
eg: public static int value = 123 (准备阶段初始为0，初始化阶段才被赋值为123）
public static final int value (直接赋值为123）

解析

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

• 符号引用：符号引用与虚拟机实现的布局无关，引用的目标并不一定要已经加载到内存中。各种虚拟机实现的内存布局可以各不相同，但是它们能接受的符号引用必须是一致的，因为符号引用的字面量形式明确定义在Java虚拟机规范的Class文件格式中。
• 直接引用：可以是指向目标的指针，相对偏移量或是一个能间接定位到目标的句柄。如果有了直接引用，那引用的目标必定已经在内存中存在。

初始化

初始化阶段是类加载最后一个阶段，前面的类加载阶段之后，除了在加载阶段可以自定义类加载器以外，其它操作都由JVM主导。到了初始阶段，才开始真正执行类中定义的Java程序代码。

初始化阶段是执行类构造器< client>方法的过程。< client>方法是由编译器自动收集类中的类变量的赋值操作和静态语句块中的语句合并而成的。虚拟机会保证< client>方法执行之前，父类的< client>方法已经执行完毕。p.s: 如果一个类中没有对静态变量赋值也没有静态语句块，那么编译器可以不为这个类生成< client>()方法。

注意以下几种情况不会执行类初始化：

• 通过子类引用父类的静态字段，只会触发父类的初始化，而不会触发子类的初始化。
  定义对象数组，不会触发该类的初始化。
• 常量在编译期间会存入调用类的常量池中，本质上并没有直接引用定义常量的类，不会触发定义常量所在的类。
• 通过类名获取Class对象，不会触发类的初始化。
• 通过Class.forName加载指定类时，如果指定参数initialize为false时，也不会触发类初始化，其实这个参数是告诉虚拟机，是否要对类进行初始化。
• 通过ClassLoader默认的loadClass方法，也不会触发初始化动作。