3. 类的加载过程详解

3. 类的加载过程详解

3.1 概述

· Java中数据类型分为基本数据类型和引用数据类型。基本数据类型由虚拟机预先定义，引用数据类型需要进行类加载。
· 按照Java虚拟机规范，从class文件到加载到内存中的类，到卸载出内存为止，它的整个生命周期包括7个阶段

· 从程序类的使用过程来看，可以看作如下流程

3.2 过程一：Loading(加载)阶段

3.2.1 加载完成的操作

加载的理解：

所谓加载，简而言之就是将Java类的字节码文件加载到机器内存中，并在内存中构建出Java类的原型–类模板对象。所谓
类模板对象，其实就是Java类在JVM内存中的一个快照，JVM将从字节码文件中解析出常量池、类字段、类方法等信息存储到类模板中，这样JVM在运行期便能通过类模板获取Java类中的任意信息，能够对Java类的成员变量进行遍历，也能进行Java方法的调用，反射的机制即基于这一基础。如果JVM没有将Java类声明信息存储起来，JVM运行期也无法反射。

加载完成的操作：

加载阶段，简言之，查找并加载类的二进制数据，生成Class的实例，在加载类时，Java虚拟机必须完成以下三件事：
· 通过类的全名，获取类的二进制数据流
· 解析类的二进制数据流为方法区内的数据结构(Java类模型)
· 创建Java.lang.Class类的实例，表示该类型。作为方法区这个类的各个数据的访问入口

3.2.2 二进制流的获取方式

二进制流的获取方式：

对于类的二进制数据流，虚拟机可以通过多种途径产生或获取。(只要所读取的字节码符合JVM规范即可)
· 虚拟机可能通过文件系统读入一个class后缀的文件(最常见)
· 读入jar、zip等归档数据包，提取类文件
· 事先存放在数据库中的类的二进制数据
· 使用类似于HTTP之类的协议通过网络进行加载
· 在运行时生成一段Class的二进制信息等

获取到类的二进制信息后，Java虚拟机就会处理这些数据。最终转为一个java.lang.Class的实例，如果输入的数据不是ClassFile的结构，则会抛出ClassFormatError

3.2.3 类模型与Class实例的位置

类模型位置：

加载的类在JVM中创建相应的类结构，类结构会存储在方法区(JKD1.8之前:永久代，JDK1.8之后:元空间)

Class实例的位置：

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

图示：

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

3.3 过程二：Linking(链接)阶段

3.3.1 链接阶段之Verification(验证)

验证阶段：

· 当类加载到系统后，就开始链接操作，验证是链接的第一步
· 验证的目的是保证加载的字节码是合法的，合理并符合规范的
· 验证的步骤比较复杂，实际要验证的项目也很繁多，大体上Java虚拟机需要以下的检查，如下图所示

整体说明：

验证的内容则涵盖了类数据信息的格式验证、语义检查、字节码验证、以及符号引用验证等
>其中格式验证会和加载阶段一起执行。验证通过之后，类加载器才会成功将类的二进制数据信息加载到方法区中
>格式验证之外的验证操作将会在方法区中进行
链接阶段的验证虽然拖慢了加载速度，但是它避免了在字节码运行时还需要进行各种检查(磨刀不如砍柴功)

具体说明：

①**格式验证：是否以魔数0xCAFEBABE开头，主版本和副版本号是否在当前Java虚拟机的支持范围内，数据中每一个项是
否都拥有正确的长度等
②语义检查：Java虚拟机进行字节码语义检查，但凡在语义上不符合规范的，虚拟机不会给予验证通过，比如：
>是否所有的类都有父类的存在(在Java里，除了Object外，其他类应该都有父类)
>是否一些被定义为final的方法或者类被重写或继承了
>非抽象类是否实现了所有抽象方法或者接口方法
>是否存在不兼容的方法(比如方法的签名除了返回值不同，其他都一样，这种方法会让虚拟机无从下手调度，abstract
修饰后不能用final修饰了)
③字节码验证：字节码验证也是验证中最为复杂的一个过程，它通过对字节码流的分析，判断字节码是否可以被正确执行
>在字节码的执行过程中，是否会跳转到一条不存在的指令
>函数的调用是否传递了正确类型的参数
>变量的赋值是不是给了正确的数据类型等
栈映射帧(StackMapTable)就是在这个阶段，用于检测在特定的字节码处，其局部变量和操作数栈是否有着正确的数据类型。但是很遗憾，100%准确判断一段字节码是否可以被安全执行是无法实现的，因此，该过程只是尽可能检查出预知的明显的问题。如果在这个阶段无法通过检查，虚拟机也不会正确装载这个类，但是如果通过了这个阶段，也不能说明这个类是完全没有问题的。
④符号引用验证：**Class文件在其常量池会通过字符串记录自己将要使用的其他类或者方法。因此，在验证阶段，虚拟机
就会检查这些类或者方法确实是存在的，并且当前类有权限访问这些数据，如果一个需要使用类无法在系统中找到，则
会抛出NoClassDefFoundError,如果一个方法无法被找到，则会抛出NoSuchMethodError.

3.3.2 链接阶段之Preparation(准备)

链接准备环节：

准备阶段简而言之为类的静态变量分配内存，并将其初始化为默认值。当一个类验证通过时，虚拟机就会进入准备阶段，在这个阶段，虚拟机就会为这个类分配相应的内存空间，并设置默认初始值，Java虚拟机为各类型变量默认的初始值如下表所示：

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

注意事项：

①这里不包括基本数据类型的字段static final修饰的情况，因为final在编译在编译的时候就会分配了，准备阶段会显示赋
②注意这里不会为实例变量分配初始化，类变量会分配在方法区中，而实例变量是会随着对象分配在堆区中的
③在这个阶段并不会像初始化阶段中那样会有初始化或者代码被执行

3.3.3 链接阶段之Resolution(解析)

链接解析环节概述：

在准备阶段完成之后就进入了解析阶段，解析简而言之就是将类、接口、字段和方法的符号引用转为直接引用

具体描述：

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

**举例：输出操作System.out.println()对应的字节码：**invokevirtual #24 <java/io/PrintStream.println>

以方法为例，Java虚拟机为每一个类都准备了一张方法表，将其所有的方法都列在表中，当需要调用一个类的方法时，只需要知道这个方法的偏移量就可以直接调用该方法。通过解析操作，符号引用就可以转变为目标方法在类中方法表中的位置，从而使得方法被成功调用。

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

初始化阶段概述：

初始化阶段，简而言之，为类的静态变量赋予正确的初始值

具体描述：

类的初始化是类装载的最后一个阶段。如果前面的步骤都没有问题，那么表示类可以顺利装载到系统中。此时，类才会开始执行Java字节码。(即：到了初始化阶段，才真正开始执行类中定义的Java程序代码。)初始化阶段的重要工作是执行类的初始化()方法。
>该方法仅能由Java编译器生成并由JVM调用，程序开发者无法自定义一个同名的方法，更无法直接在Java程序中调用该
方法，虽然该方法也是由字节码指令所组成。
>它由类静态成员的赋值语句以及static语句块合并产生的。

说明：

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

3.4.1 static与final的搭配问题

哪些场景生成,哪些不会生成：

public class InitializationTest{
    //场景1：实例变量，非静态变量，不会生成<clinit>
    public int num = 1;
    //场景2：静态字段，没有显示赋值，不会生成<clinit>
    public static int num1;
    //场景3：静态字段，显示赋值，产生<clinit>
    public static int num2 = 1;
    //场景4：常量，没有<clinit>,final修饰则在准备阶段赋值
    public static final int num3 = 1;
    //场景5：static final修饰引用数据类型,在初始化阶段<clinit>()中赋值
    public static final Integer INTEGER_CONSTANT1 = Integer.valueOf(100);
    //场景6：static修饰引用数据类型，在初始化阶段<clinit>中赋值
    public static Integer INTEGER_CONSTANT2 = Integer.valueOf(1000);
    //场景7：static final修饰字符串变量,在链接阶段的准备环节赋值
    public static final String s0 = "hello";
    //场景8：static final修饰new String("hello")，在初始化阶段<clinit>中赋值
    public static final String s1 = new String("hello");
}

结论：

在链接阶段的准备环节赋值的情况
>对于基本数据类型的字段来说，如果使用static final修饰，则显示赋值通常是在链接阶段的准备环节进行
>对于String来说使用字面量的方式赋值，使用static final修饰的话，则显示赋值通常是在链接阶段的准备环节进行

在初始化阶段()中赋值的情况：
>排除上述的在准备环节赋值的情况之外的情况

3.4.2 ()的线程安全性

()线程安全性概述：

①对于()方法的调用，也就是类的初始化，虚拟机会在内部确保其多线程环境中的安全性
②虚拟机会保证类的()方法在多线程环境中被正确的加锁、同步、如果多线程同时去初始化一个类，那么只会
有一个线程去执行这个类的()方法，其他线程需要阻塞等待，知道活动线程执行()方法完毕。
③正是因为函数()带锁线程安全，因此，如果在一个类的()方法中有耗时很长的操作，就可能造成多
个线程阻塞，引发死锁。并且这种死锁是很难发现的，因此看起来它们并没有可用的锁信息
④如果之前的线程成功加载了类，则等在队列中的线程就没有机会再执行()方法了。那么，当需要使用这个类
时，虚拟机会直接返回给它已经准备好的信息。

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

类的主动使用：

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

①当创建一个类实例时，比如使用new关键字，或者通过反射、克隆、反序列化
②当调用类的静态方法时，即当使用了字节码invokestatic指令
③当使用类、接口的静态字段时(final修饰特殊考虑)，比如使用getstatic或者putstatic指令。(对应访问变量、赋值变量)
④当使用java.lang.reflect包中的方法反射类的方法时，比如:Class.forName(“com.at.guigu.java.Test”)
⑤当初始化子类时，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化
⑥如果一个接口定义了default方法，那么直接实现或者间接实现该接口的类初始化，该接口要在其之前被初始化
⑦当虚拟机启动时，用户需要指定一个要执行的主类(包含main()方法的那个类)，虚拟机会先初始化这个主类
⑧当初次调用MethodHandle实例时，初始化该MethodHandle指向的方法所在的类。(涉及解析REF_ getStatic、REF_ putStatic、REF_ invokeStatic方法句柄对应的类)

被动使用：

除了上述的情况属于主动使用，其他的情况均属于被动使用。被动使用不会引起类的初始化，也就是说：并不是在代码中出现的类，就一定会被加载或者初始化。如果不符合主动使用的条件，类就不会初始化

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

5.5 过程四：Using(使用)阶段

任何一个类型在使用之前都必须经历完整的加载。链接和初始化3个类加载步骤。一旦一个类型成功经历过这3个步骤之后，便"万事俱备，只欠东风"，就等着开发者使用了。开发人员可以在程序中访问和调用它的静态成员信息(比如：静态字段、静态方法)，或者使用new关键字为其创建对象实例

3.6 过程五：Unloading(卸载)阶段

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

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

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

类的声明周期：

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

具体例子：