【JVM · 类加载】类加载过程(生命周期)

1. 概述

在Java中数据类型分为基本数据类型、引用数据类型。基本数据类型 由虚拟机预先定义，引用数据类型 则需要进行类的加载。

按照Java虚拟机规范，从class文件到加载到内存中的类，到类卸载出内存为止，它的整个声明周期包括如下7个阶段：

其中，验证、准备、解析 3 个部分统称为链接（Linking）

---

从程序中类的使用过程看：

2. 过程一：Loading(加载) 阶段

2.1 加载完成的操作

加载的理解

所谓加载，指将Java类的字节码文件加载到机器内存中，并在内存中构建出Java类的原型——类模板对象。所谓类模板对象，其实就是Java类在JVM内存中的一个快照，JVM将从字节码文件中解析出的常量池、类字段、类方法等信息存储到类模板中，这样JVM在运行期便能通过类模板而获取Java类中的任意信息，能够对Java类的成员变量进行遍历，也能进行Java方法的调用。

反射的机制基于这一基础。如果JVM没有将Java类的声明信息存储起来，则JVM在运行期也无法反射。

加载完成的操作

加载阶段，简而言之，查找并加载类的二进制数据，生成Class的实例。

在加载类时，Java虚拟机必须完成以下3件事情：

• 通过类的全限定名，获取类的二进制数据流。
• 解析类的二进制数据流为方法区内的数据结构（Java类模型）
• 创建java.lang.Class类的实例，表示该类型。作为方法区这个类的各种数据的访问入口。

2.2 二进制流的获取方式

对于类的二进制流数据，虚拟机可以通过多种途径产生/获得（只要所读取的字节码符合JVM规范即可）

• 虚拟机可能通过文件系统读入一个class后缀的文件（最常见）
• 读入jar、zip等归档数据包，提取类文件
• 事先存放在数据库中的类二进制文件
• 使用类似于HTTP之类的协议通过网络进行加载
• 在运行时生成一段Class的二进制信息等

在获取到类的二进制信息后，Java虚拟机就会处理这些数据，并最终转为一个java.lang.Class的实例。

如果输入数据不是 ClassFile 的结构，则会抛出 ClassFormatError 异常。

2.3 类模型与Class实例的位置

2.3.1 类模型的位置

加载的类在JVM中创建对应的类结构，类结构会存储在方法区 (JDK 1.8 之前：永久代；JDK 1.8 之后：元空间)。

2.3.2 Class实例的位置

类将 .class 文件加载至元空间后，会在堆中创建一个 java.lang.Class对象，用来封装类位于方法区内的数据结构，该Class对象是在加载类的过程中创建的，每个类都对应有一个Class类型的对象。(instantceKlass -->mirror : Class的实例)

2.3.3 图示

外部可以通过访问代表Order类的Class对象来获取Order的类数据结构。

2.3.4 关于Class

Class类的构造方法是私有的，只有JVM能够创建。

java.lang.Class实例是访问类型元数据的接口，也是实现反射的关键数据、入口。通过Class类提供的接口，可以获得目标类所关联的 .class 文件中具体的数据结构：方法、字段等信息。

---

举例：

/**
 * 阶段一：Loading阶段
 * 通过Class类，获得了java.lang.String类的所有方法信息，并打印出方法访问标识符、描述符
 */
public class LoadingTest {
    public static void main(String[] args) {
        try {
            Class clazz = Class.forName("java.lang.String");
            // 获取当前运行时类的所有方法
            Method[] ms = clazz.getDeclaredMethods();
            for (Method m : ms) {
                // 获取方法的修饰符
                String mod = Modifier.toString(m.getModifiers());
                System.out.print(mod + " ");
                // 获取方法的返回值类型
                String  returnType = m.getReturnType().getSimpleName();
                System.out.print(returnType + " ");
                // 获取方法名
                System.out.print(m.getName() + "(");
                // 获取方法的参数列表
                Class<?>[] ps = m.getParameterTypes();
                if (ps.length == 0) System.out.print(")");
                for (int i = 0; i < ps.length; i++) {
                    char end = (i == ps.length - 1) ? ')' : ',';
                    // 获取参数的类型
                    System.out.print(ps[i].getSimpleName() + end);
                }
                System.out.println();
            }
        } catch (ClassNotFoundException e) {
            e.printStackTrace();
        }
    }
}

2.4 数组类的加载

创建数组类的情况稍微有些特殊，因为 数组类本身不是由类加载器负责创建，而是由JVM在运行时根据需要而直接创建的，但数组的元素类型仍然需要类加载器去创建。创建数组类A的过程：

1. 如果数组的元素类型是引用类型，那就遵循定义的加载过程递归加载和创建数组A的元素类型。
2. JVM使用指定的 元素类型、数组维度 来创建新的数组类。

如果数组的元素类型是引用类型，数组类的可访问性就由元素类型的可访问性决定。否则数组类的可访问性将被缺省定义为public。

3. 过程二：Linking(链接) 阶段

3.1 环节1：Verification(验证)

验证环节(Verification)

当类加载到系统后，就开始链接操作，验证是链接操作的第一步。

它的目的是保证加载的字节码是合法、合理并符合规范的。

验证的步骤比较复杂，实际要验证的项目也很繁多，大体上Java虚拟机需要做以下检查：

整体说明：

验证的内容则涵盖了类数据信息的格式验证、语义检查、字节码验证、符号引用验证 等。

• 其中 格式验证会和加载阶段一起执行。验证通过之后，类加载器 才会成功将类的二进制数据信息加载到方法区中。
• 格式验证值外的验证操作将会在方法区中进行。

链接阶段的验证虽然拖慢了加载速度，但是它避免了在字节码运行时还需进行各种检查。

具体说明：

1. 格式验证：是否以魔数 0xCAFEBABE 开头，主版本号、副版本号是否在当前Java虚拟机的支持范围内，数据中每一项是否都拥有正确的长度等等。

2. Java 虚拟机会进行 语义验证，但凡在语义上不符合规范的，虚拟机也不会给予验证通过。比如：

   • 是否所有的类都有父类的存在(在Java里，除了Object外，其他类都应该有父类)
   • 是否一些被定义为final的方法或者类被重写/继承了
   • 非抽象类是否实现了所有抽象方法
   • 是否存在不兼容的方法(比如方法的签名除了返回值不同，其他都一样，这种方法会让虚拟机无从下手调度；abstract 方法不能为 final)

3. Java 虚拟机还会进行 字节码验证，字节码验证也是 验证过程中最为复杂的一个过程。它试图通过对字节码流的分析，判断字节码是否可以被正确地执行。比如：

   • 在字节码的执行过程中，是否会跳转到一条不存在的指令
   • 函数的调用是否传递了正确类型的参数
   • 变量的赋值是否给了正确的数据类型等

   栈帧射帧(StackMapTable)就是在这个阶段，用于检测在特定的字节码处，其局部变量表、操作栈是否有着正确的数据类型。但遗憾的是，100%准确地判断一段字节码是否可以被安全执行是无法实现的。因此，该过程只是尽可能地检查出可以预知的明显的问题。如果在这个阶段无法通过检查，虚拟机也不会正确装载这个类。但是，软骨功通过了这个阶段的检查，也不能说明这个类是完全没有问题的。

   在前面三次检查中，已经排除了文件格式错误、语义错误、字节码的不正确性。但是依然不能确保类是没有问题的。

4. 校验器还将进行 符号引用验证。Class文件在其常量池会通过字符串记录自己将要使用的其他类或者方法。因此，在验证阶段，虚拟机会检查这些类或者非法确实是存在的，并且当前类有权限访问这些数据，如果一个需要使用类无法在系统中找到，则会抛出 NoClassDefFoundError，如果一个方法无法被找到，则会抛出 NoSuchMethodError。

   此阶段在 解析环节 才会执行。

3.2 环节2：Preparation(准备)

准备环节(Preparation)

为类的静态变量分配内存，并为其初始化为默认值。

当一个类验证通过时，虚拟机就会进入准备阶段。在这个阶段，虚拟机就会为这个类分配相应的内存空间，并设置默认初始值。

Java虚拟机为各类型变量默认的初始值：

类型	默认初始值
byte	(byte)0
short	(short)0
int	0
long	0L
float	0.0f
double	0.0
char	\u0000
boolean	false
reference	null

注意：Java并不支持boolean类型，对于boolean类型，内部实现时int，由于int的默认值时0，故对应boolean的默认值为false。

注意：

1. 这里不包含基本数据类型的字段用static final修饰的情况，因为final (常量) 在编译时就已经分配了，准备阶段进行显式赋值。
   • 基本数据类型：非final修饰的变量，在准备环节进行默认初始化赋值。final修饰后在准备环节进行显式赋值。
     • 扩展：如果使用字面量方式定义一个字符串常量，也是在准备环节直接进行显式赋值。
2. 注意这里不会为实例变量分配初始化，类变量会分配在方法区中，而实例变量实惠随着对象一起分配到Java堆中。
3. 在这个阶段并不会像初始化阶段中那样会有初始化或者代码被执行。

3.3 环节3：Resolution(解析)

解析环节(Resolution)

将 类、接口、字段、方法 的 符号引用 转化为 直接引用。

1.具体描述：

符号引用就是一些字面量的引用，与 虚拟机的内部数据结构、内存布局 无关。比较容易理解的是在Class类文件中，通过常量池进行了大量的符号引用。但是在程序实际运行时，只有符号引用是不够的，比如当前 println() 方法被调用时，系统需要明确知道该方法的位置。

举例：输出操作System.out.println() 对应的字节码：

invokevirtual #24 <java/io/PringStream.println>

以方法为例，Java虚拟机会为每个类准备一张方法表，将其所有的方法都列在表中，当需要调用一个类的方法时，只要知道这个方法在方法表中的偏移量就可以直接调用该方法。

通过解析操作，符号引用就可以转变为目标方法在类中方法表中的位置，从而使得方法被成功调用。

2.小结：

所谓解析就是将符号引用转为直接引用，也就是得到类、字段、方法在内存中的指针或者偏移量。因此，可以说，如果直接引用存在，那么可以肯定系统中存在该类、方法、字段。但只存在符号引用不能确定系统中一定存在该结构。

不过Java虚拟机规范并没有明确要求解析阶段一定要按照顺序执行。在 HotSpot VM 中，加载、验证、准备、初始化会按照顺序有条不紊地进行，但链接阶段中的解析操作往往会伴随着JVM在执行完初始化之后再执行。

3.字符串的复习

最后，再来看一下 CONSTANT_String 的解析。

当在Java代码中直接使用字符串常量时，就会在类中出现 CONSTANT_String，它表示字符串常量，并且会引用一个 CONSTANT_UTF8的常量项。在Java虚拟机内部运行中的常量池，会维护一张字符串拘留表(intern)，它会保存所有出现过的字符串常量，并且没有重复项。只要以 CONSTANT_String 形式出现的字符串也都会出现在这张表中。使用 String.intern() 方法可以得到一个字符串在拘留表中的引用，因为该表中没有重复项，所以任何字面相同的字符串的String.intern()方法返回总是相等的。

4. 过程三：Initialization(初始化) 阶段

为类的静态变量赋予正确的初始值。

1.具体描述

类的初始化时类装载的最后一个阶段。如果前面的步骤都没有问题，那么表示类可以顺利装载到系统中。此时，类才会开始执行Java字节码（即：到了初始化阶段，才真正开始执行类中定义的 Java 程序代码）

初始化阶段的重要工作是执行类的初始化方法：<clinit>() 方法

• 此方法仅能有Java编译器生成并由JVM调用，程序开发者无法自定义一个同名的方法，更无法直接在Java程序中调用该方法，虽然该方法也是由字节码指令所组成。
• 它是由类静态成员的赋值语句以及static语句块合并产生的。

2.说明

1. 在加载一个类之前虚拟机，总是会试图加载此类的父类，因此父类的<clinit>总是在子类的<clinit>之前被调用。即父类的static块优先级高于子类。(由父及子，静态先行)
2. Java编译器并不会为所有类都产生<clinit>()初始化方法。哪些类在编译为字节码后，字节码文件中将不会包含<clinit>()方法？
   • 一个类中并没有声明任何的类变量，也没有静态代码块时
   • 一个类中声明类变量，但是没有明确使用类变量的初始化语句以及静态代码块来执行初始化操作时
   • 一个类中包含static final修饰的基本数据类型的字段，这些类字段初始化语句采用编译时常量表达式。

4.1 static与final搭配问题

代码举例：

/**
 * 哪些场景下，Java编译器不会生成 <clinit>() 方法
 */
public class InitializationTest {
    // 场景1：对于非静态字段，无论是否进行显式赋值，都不会生成<clinit>()方法
    public int num = 1;
    // 场景2：对于静态字段，没有显式赋值，不会生成<clinit>()方法
    public static int num1;
    // 场景3：对于声明为static final的基本数据类型的字段，不会生成<clinit>()方法
    public final static int NUM2 = 1;
}

---

static final：

Java源代码：

/**
 * 使用  static + final  修饰的字段的显式赋值操作，是哪个阶段进行的？
 * 情况1：链接阶段的准备环节赋值
 * 情况2：在初始化阶段<clinit>()中赋值
 */
public class InitializationTest1 {
    public static int a = 1;                    // 在初始化阶段<clinit>()中赋值
    public static final int INT_CONSTANT = 10;  // 链接阶段的准备环节赋值

    public static final Integer INTEGER_CONSTANT = Integer.valueOf(100);    // 在初始化阶段<clinit>()中赋值
    public static Integer integerVariable = Integer.valueOf(1000);          // 在初始化阶段<clinit>()中赋值
    public static final Integer NUM = 10000;                                // 在初始化阶段<clinit>()中赋值

    public static final String STR0 = "helloworld1";                        // 链接阶段的准备环节赋值
    public static final String STR1 = new String("helloworld2");    // 在初始化阶段<clinit>()中赋值

    public static final int NUM_R = new Random().nextInt();                 // 使用方法产生数值：在初始化阶段<clinit>()中赋值
}

JVM字节码：

 0 iconst_1
 1 putstatic #2 <com/ljw/demo07/InitializationTest1.a>
 4 bipush 100
 6 invokestatic #3 <java/lang/Integer.valueOf>
 9 putstatic #4 <com/ljw/demo07/InitializationTest1.INTEGER_CONSTANT>
12 sipush 1000
15 invokestatic #3 <java/lang/Integer.valueOf>
18 putstatic #5 <com/ljw/demo07/InitializationTest1.integerVariable>
21 sipush 10000
24 invokestatic #3 <java/lang/Integer.valueOf>
27 putstatic #6 <com/ljw/demo07/InitializationTest1.NUM>
30 new #7 <java/lang/String>
33 dup
34 ldc #8 <helloworld2>
36 invokespecial #9 <java/lang/String.<init>>
39 putstatic #10 <com/ljw/demo07/InitializationTest1.STR1>
42 new #11 <java/util/Random>
45 dup
46 invokespecial #12 <java/util/Random.<init>>
49 invokevirtual #13 <java/util/Random.nextInt>
52 putstatic #14 <com/ljw/demo07/InitializationTest1.NUM_R>
55 return

结论：

在链接阶段的准备环节赋值的情况：

1. 对于基本数据类型的字段 使用 static final 修饰 并显式赋值 (字面量, 而非使用方法产生值)
2. 对于String 类型的字段 使用字面量的方式赋值 使用 static final 修饰 并显式赋值

在初始化阶段 <clinit>() 中赋值的情况：

• 以上情况以外的 static 情况

---

最终结论： 使用 static final 修饰, 且显式赋值中不涉及到方法/构造器调用的基本数据类型/String类型的显式赋值，是在 链接阶段的准备环节进行。

4.2 <clinit>()的线程安全性

对于 <clinit>()方法 的调用，也就是类的初始化，虚拟机会在内部确保其多线程环境中的安全性。

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

正是 因为函数<clinit>()带锁线程安全，因此，如果在一个类的 <clinit>()方法 中有耗时很长的操作，就可能造成多个线程阻塞，引发死锁。并且这种死锁很难发现，因为它们看起来并没有可用的锁信息。

如果之前的线程成功加载了类，则等在队列中的线程就没有机会再执行 <clinit>()方法 了。那么，当需要使用这个类时，虚拟机会直接返回给它已经准备好的信息。

---

举例 - 死锁：

class StaticA {
    static {
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        try {
            Class.forName("com.ljw.demo08.StaticB");
        } catch (ClassNotFoundException e) {
            e.printStackTrace();
        }
        System.out.println("StaticA init OK");
    }
}
class StaticB {
    static {
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        try {
            Class.forName("com.ljw.demo08.StaticA");
        } catch (ClassNotFoundException e) {
            e.printStackTrace();
        }
        System.out.println("StaticB init OK");
    }
}
public class StaticDeadLockMain extends Thread{
    private char flag;

    public StaticDeadLockMain(char flag) {
        this.flag = flag;
        this.setName("Thread" + flag);
    }

    @Override
    public void run() {
        try {
            Class.forName("com.ljw.demo08.Static" + flag);
        }catch (ClassNotFoundException e){
            e.printStackTrace();
        }
        System.out.println(getName() + " over");
    }

    public static void main(String[] args) {
        StaticDeadLockMain loadA = new StaticDeadLockMain('A');
        loadA.start();
        StaticDeadLockMain loadB = new StaticDeadLockMain('B');
        loadB.start();
    }
}

此程序main()方法没有任何信息输出。

4.3 类的初始化情况：主动使用 vs 被动使用

Java程序对类的使用分为两种：主动使用 和 被动使用。

4.3.1 主动使用

Class只有在必须要首次使用的时候才会被装载，Java虚拟机不会无条件地装载Class类型。Java虚拟机规定，一个类/接口在初次使用前必须要进行初始化。这里指的 “使用”，是指主动使用，主动使用只有下列几种情况：（即：如果出现如下情况，则会对类进行初始化操作。而初始化操作之前的加载】验证、准备已经完成）

1. 当创建一个类的实例时，比如使用new关键字，或通过反射、克隆、反序列化。
2. 当调用类的静态方法时，即当使用了字节码invokestatic指令。
3. 当使用类/接口的静态字段时(final修饰特殊考虑)，比如使用getstatic或setstatic指令。（对应访问变量、赋值变量操作）
4. 当使用java.lang.reflect包中的方法反射类的方法时。比如：Class.forName("com.ljw.Test")
5. 当初始化子类时，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
6. 如果一个接口定义了default方法，那么直接实现/间接实现该接口的类的初始化，该接口要在其之前被初始化。
7. 当虚拟机启动时，用户需要指定一个要执行的主类（包含main()方法的类，虚拟机会先初始化这个主类）。
8. 当初次调用 MethodHandle 实例时，初始化此 MethodHandle 指向的方法的类。（涉及解析 REF_getStatic、REF_putStatic、REF_invokeStatic 方法句柄对应的类）

---

针对5，补充说明：

• 当虚拟机初始化一个类时，要求它的所有父类都已经被初始化，但这条规则并不适用于接口。
  • 在初始化一个类时，并不会先初始化它所实现的接口。
  • 在初始化一个接口是，并不会初始化它的父接口
  • 因此，一个父接口并不会因为它的子接口/实现类的初始化而初始化。只有程序首次使用特定接口的静态字段时，才会导致此类的初始化。

---

由于接口禁止写静态代码块，我们可以通过这种方式验证：为static实例赋予代码块，借static字段间接证明接口被初始化 (验证NUM1与NUM2即可)：

interface MyInterface {
    public static final Object OBJ = new Object(){
        {
            System.out.println("MyInterface 的初始化");
        }
    };	//public static final 可省略
    
    public static final int NUM1 = 1;
    public static final int NUM2 = new Random().nextInt(10);
}

---

验证加载用参数：-XX:+TraceClassLoading

如果针对代码，设置以上参数，可以追踪类的加载信息并打印出来 (加载 ≠ 初始化)。

没有初始化的类，不意味着没有加载。

4.3.2 被动使用

除了以上的情况属于主动使用，其他情况均属于被动使用。被动使用不会引起类的初始化。

也就是说：并不是在代码中出现的类，就一定会被 加载/初始化。如果不符合主动使用的条件，类就不会初始化。

1. 当访问一个静态字段，只有真正声明这个字段的类才会被初始化
   • 当通过子类引用父类的静态变量，不会导致子类初始化
2. 通过数组定义类引用，不会触发此类的初始化
3. 引用常量不会触发此类/接口的初始化。因为常量在链接阶段就已经被显式赋值了。
4. 调用 ClassLoader 类的loadClass()方法加载一个类，并不是对类的主动使用，不会导致类的初始化。

5. 过程四：类的Using(使用)

任何一个类型在使用之前都必须经历过完整的加载、链接、初始化3个类加载步骤。一旦一个类型成功经历这3个步骤之后，便 “万事俱备，只欠东风”，就等着开发者使用了。

开发人员可以在程序中访问和调用它的静态类成员信息（比如：静态字段、静态方法），或者使用new关键字为其创建对象实例。

6. 过程五：类的Unloading(卸载)

6.1 类、类的加载器、类的实例之间的引用关系

在类加载器的内部实现中，用一个Java集合来存放所加载类的引用。另一方面，一个Class对象总是会应用它的类加载器，调用Class对象的getClassLoader()方法，就能获得它的类加载器。由此可见，代表某个类的Class实例与其类的加载器之间为双向关联。

一个类的实例总是引用代表这个类的Class对象。在Object类中定义了getClass()方法，这个方法返回代表对象所属类的Class对象的引用。此外，所有的Java类都有一个静态属性class，它引用代表这个类的Class对象。

6.2 类的生命周期

当Sample类被加载、链接、初始化后，它的声明在周期就开始了。当代表Sample类的Class对象不再被引用，即不可触及时，Class对象就会结束生命周期，Sample类在方法区内的数据也会被卸载，从而结束Sample类的生命周期。

一个类何时结束生命周期，取决于代表它的Class对象何时结束生命周期。

6.3 举例说明

loader1变量和obj变量间接应用代表Sample类的Class对象，而objClass变量则直接引用它。

6.4 类的卸载

• 启动类加载器加载的类型在整个运行期间是不可能被卸载的(JVM和JLS规范)
• 被系统类加载器(应用类加载器)和扩展类加载器加载的类型在运行期间不太可能被卸载，因为系统类加载器实例或扩展类的实例基本上在整个运行期间总能直接/间接的访问到，其达到unreachable的可能性极小。
• 被开发者自定义的类加载器实例加载的类型只有在很简单的上下文环境中才能被卸载，而且一般还要借助于强制调用虚拟机的垃圾收集器功能才可以做到。可以预想，稍微复杂点的应用场景(比如：很多时候用户开发自定义类加载器实例时，采用缓存的策略提高系统性能)，被加载的类型在运行期间几乎也是不太可能被卸载的(至少卸载时间是不确定的)。

综合以上3点：一个已经加载的类型被卸载的几率很小，至少被卸载的时间是不确定的。同时，我们可以看到，开发者开发时，不应该对虚拟机的类型卸载做任何假设的前提下，来实现系统中的特定功能。

回顾：方法区的垃圾回收

方法区的垃圾回收主要回收两部分内容：常量池中废弃的常量 & 不再使用的类型。

HotSpot虚拟机对常量池的回收策略是明确的，只要常量池中的常量没有被任何地方引用，就可以被回收。

判定一个常量是否 “废弃” 还是相对简单，而要判定一个类型是否属于 “不再被使用的类” 的条件就比较苛刻了。需要同时满足下面3个条件：

• 该类所有的实例都已经被回收。也就是Java堆中不存在该类及其任何派生子类的实例。
• 加载该类的类加载器已经被回收。这个条件除非是经过精心设计的可替换类加载器的场景，如OSGI、JSP的重加载等。
• 该类对应的java.lang.Class对象没有在任何地方被引用，无法在任何地方通过反射访问该类的方法。

Java虚拟机被允许对满足上述3个条件的无用类进行回收，这里说的仅仅是 “被允许”，而并不是和对象一样(对象：没有引用就必然回收)。

加载的类型在运行期间几乎也是不太可能被卸载的(至少卸载时间是不确定的)。

综合以上3点：一个已经加载的类型被卸载的几率很小，至少被卸载的时间是不确定的。同时，我们可以看到，开发者开发时，不应该对虚拟机的类型卸载做任何假设的前提下，来实现系统中的特定功能。