第七章-虚拟机类加载机制-类加载的过程

7.1 概述

什么是虚拟机的类加载机制？

虚拟机把描述类的数据从Class文件加载到内存，并对数据进行校验、转换解析和初始化，最终形成可以被虚拟机直接使用的Java类型（机器码），这就是虚拟机的类加载机制。

Java源文件 ——> 编译器 ——> 字节码文件（Class文件）
字节码文件 ——> JVM ——> 机器码

7.2 类加载的时机

类的生命周期： 加载、验证、准备、解析、初始化、使用、卸载（7个阶段）

1. 加载、验证、准备、初始化和卸载这5个过程开始（不是“进行”或者“完成”顺序）顺序是固定的。解析阶段则不一定，它可以在初始化之后再开始。
2. 什么时候开始加载？没有强制约束，由虚拟机的具体实现来自由把握。
3. 对于初始化阶段，有且仅有5种 情况需要对类立即进行初始化：
   （1）遇到new、getstatic、putstatic或者invokestatic（调用一个类方法）这4条字节码指令时，如果类没有进行过初始化，则先需要进行初始化。
   （2）使用java.lang.reflect包的方法对类进行反射调用的时候，如果类没有进行过初始化，则先需要进行初始化。
   （3）当初始化一个类的时候，如果发现其父类还没有进行初始化，则先需要对其父类进行初始化。
   （4）当虚拟机启动的时候，用户需要指定一个要执行的主类（就是包含main方法的类），虚拟机会先初始化这个主类。
   （5）当使用JDK1.7的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic、REF_putStatic、REF_invokeStatic的方法的句柄，并且这个方法句柄所对应的类没有进行过初始化，则需要先触发其初始化。（使用场景未知）
4. 接口与类初始化过程的区别：就是第三点，接口在初始化的时候，并不要求其父接口都已经完成了初始化，只有在真正的使用到父接口的时候（如引用接口中定义的常量）才会初始化。

7.3 类加载的过程（加载、验证、准备、解析、初始化）

7.3.1 加载

在加载阶段，虚拟机需要完成3件事：

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

二进制字节流除了可以从Class文件中获取外，还可以：

• 从ZIP包读取（JAR、EAR、WAR）
• 从网络中获取（Applet）
• 运行时计算生成（动态代理）
• 其他文件生成（JSP应用）
• 从数据库中读取（中间件服务器）

7.3.2 验证（非常重要，但不是必须的）

目的： 为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。
验证有4个阶段的检验动作：

（1）文件格式验证
验证对象： 字节流
验证内容： 字节流是否符合Class文件格式的规范，并且能被当前版本的虚拟机处理。
验证目的： 保证输入的字节流能正确地解析并存储于方法区之内，格式上符合描述一个Java类型信息的要求。
验证结果： 通过了这个节点的验证后，字节流才会进入内存的方法区中进行存储，后三个阶段全部是基于方法区的存储结构进行的。

（2）元数据验证
验证对象： 字节码的描述信息
验证内容： 对字节码的描述信息进行语义分析，以保证其描述信息符合Java语言规范要求。

（3）字节码验证
验证对象： 类的方法体
验证内容： 主要通过数据流和控制流分析，确定程序语义是合法的、符合逻辑的。

（4）符号引用验证
验证时间： 发生在虚拟机将符号引用转化为直接引用的时候，在解析阶段。
验证目的： 确保解析动作能正常执行。

7.3.3 准备

准备阶段是正式为类变量 分配内存 并设置类变量 初始值 的阶段，这些变量所使用的内存都将在方法区中进行分配。

注意：

1. 进行内存分配的仅包括类变量（被static修饰的变量），而不包括实例变量（实例变量在对象实例化的时候，随对象一起分配在堆中。）
2. 初始值，通常情况下是数据类型的零值（例如int 的是0，boolean的是false）。如果类字段的属性表中存在ConstantValue（例如final），那在准备阶段类变量就会初始化为ConstantValue属性所指定的值。

7.3.4 解析

解析阶段是虚拟机将常量池内的 符号引用 替换成 直接引用 的过程。

符号引用： 符号引用以一组符号来描述所引用的目标，符号可以是任何的形式的字面量，只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关，引用的目标不一定要已经加载到内存中。

直接引用： 直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是和虚拟机实现的内存布局有关的，如果有了直接引用，那引用的目标必定已经在内存中了。

4类符号引用：

1. 类或接口的解析（CONSTANT_Class_info）
2. 字段解析（CONSTANT_Fieldref_info）
3. 类方法解析（CONSTANT_Methodref_info）
4. 接口方法解析（CONSTANT_InterfaceMethodref_info）

7.3.5 初始化

初始化阶段是执行类构造器 <clinit>() 方法的过程。

1. <clinit>() 方法由编辑器自动生成的，它收集类中的所有类变量的（static修饰的变量）的赋值语句和静态代码块（static{] 块）中的语句。
2. 静态语句块中只能访问到定义在静态语句块之前的变量，定义在它之后的变量，在前面的静态语句块可以赋值，但是不能访问。
3. 父类的<clinit>() 方法先执行，子类的<clinit>()方法后执行。
4. 由于父类的<clinit>() 方法先执行，也就意味着父类中定义的静态语句块要优先于子类的变量赋值操作。
5. <clinit>() 方法对于类或者接口并不是必须的。
6. 接口中不能使用静态代码块，但仍然有变量初始化的操作，因此接口与类一样都会生成 <clinit>() 方法。但是接口与类不同的是，执行接口的 <clinit>() 方法不需要先执行父接口的 <clinit>() 方法。只有当父接口中定义的变量使用时，父接口才会初始化，另外，接口的实现类在初始化时也一样不会执行接口的 <clinit>() 方法
7. 如果多个线程同时去初始化一个类，那么只会有一个线程去执行这个类的 <clinit>() 方法，其他线程需要堵塞等待。

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

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