深入理解Java虚拟机 第2版 周志明著（六）

第7章 虚拟机类加载机制

7.1 类加载的时机
类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括，加载，验证，准备，解析，初始化，使用和卸载7个阶段，其中验证，准备，解析3个部分统称为连接。

加载，验证，准备，初始化和卸载这5个阶段的顺序是确定的，而解析阶段则不一定，它在某些情况下可以在初始化阶段之后再开始。
第一个阶段加载要在什么情况下开始？并没有强制约束，需要根据虚拟机的具体实现来把握。但是对于初始化阶段，有且只有5种情况必须立即对类进行初始化。

1. 遇到new，getstatic，putstatic或invokestatic这4条字节码指令时，如果类没有进行过初始化，则需要先触发其初始化（如果类的静态字段被final修饰，已在编译期把结果放入常量池的静态字段除外）。
2. 使用java.lang.reflect包的方法对类进行反射调用的时候，如果类没有进行过初始化，则需要先触发其初始化。
3. 当初始化一个类的时候，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
4. 当虚拟机启动时，用户需要指定一个要执行的主类（包含main()方法的那个类）虚拟机会先初始化这个主类。
5. 当使用JDK1.7的动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getStatic，PEF_putStatic，REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行过初始化，则需要先触发其初始化。

7.2 类的加载过程

1. 加载
   加载阶段，虚拟机需要完成以下3件事情：
   1）通过一个类的全限定名来获取定义此类的二进制字节流。
   2）将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
   3）在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。
   一个数组类的创建过程：
   1）如果数组的组件类型（数组去掉一个维度的类型）是引用类型，那就递归采用类的加载过程去加载这个组件类型，数组将在加载该组件类型的类加载器的类名称空间上被标识。
   2）如果数组的组件类型不是引用类型（如int[]）Java虚拟机将会把数组标记为与引导类加载器关联。
   3）数组类的可见性与它的组件类型的可见性一致，如果组件类型不是引用类型，那数组类的可见性将默认为public。
   加载阶段与连接阶段的部分内容（如一部分字节码文件格式验证动作）是交叉进行的。加载阶段尚未完成，连接阶段可能已经开始，但这些夹在加载阶段之中进行的动作，仍然属于连接阶段的内容，这两个阶段的开始时间仍然保持着固定的先后顺序。

2. 验证
   验证阶段大致上会完成4个阶段的检验动作，文件格式验证，元数据验证，字节码验证，符号引用验证。
   1）文件格式验证：主要目的是保证输入的字节流能正确地解析并存储于方法区之内，格式上符合描述一个Java类型信息的要求，这阶段的验证是基于二进制字节流进行的，只有通过了这个阶段的验证后，字节流才会进入内存的方法区中进行存储，所以后面的3个验证阶段全部是基于方法区的存储结构进行的，不会直接操作字节流。
   2）元数据验证：是对类的元数据信息进行语义校验，保证不存在不符合Java语言规范的元数据信息。
   3）字节码验证：通过数据流和控制流分析，确定程序语义是合法，符号逻辑的。在第二阶段对元数据信息中的数据类型做完校验后，这个阶段将对类的方法体进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的事件。
   4）符号引用验证：发生在虚拟机将符号引用转化为直接引用的时候——这个转化动作将在连接的第三阶段——解析阶段中发生。目的是确保解析动作能正常执行。

3. 准备
   准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些变量所使用的内存都将在方法区中进行分配。即为static修饰的变量赋0值。如果类字段的字段属性表中存在ConstantValue属性，那在准备阶段变量value就会被初始化为ConstantValue属性所指定的值。

4. 解析
   解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。解析动作主要针对类或接口，字段，类方法，接口方法，方法类型，方法句柄和调用点限定符7类符号引用进行。后3种与JDK1.7支持的动态语言息息相关，由于Java语言是一门静态类型语言，暂时先不看。
   1）类或接口的解析：假设当前代码所处的类为D，要把符号引用N解析为一个类或接口C的直接引用，需要三步：1.如果C不是一个数组类型，那虚拟机将会把代表N的全限定名传递给D的加载器去加载这个类。2.如果C是一个数组类型，并且数组的元素类型为对象，那将会按照1的规则去加载组元素类型。接着由虚拟机生成一个代表此数组维度和元素的数组对象。3.如果以上步骤没有异常，那么C在虚拟机上已经成为一个有效的类或接口了，但是解析完成之前还要进行符号引用验证，确认D是否具备对C的访问权限。
   2）字段解析：1.如果C本身就包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用。2.否则，如果在C中实现了接口，将会按照继承关系从下往上递归搜索各个接口和它的父接口，如果接口中包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用。3.否则，如果C不是java.lang.Object的话，将会按照继承关系从下往上递归搜索其父类，如果在父类中包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用。4.否则，失败，抛异常。
   如果成功返回了直接引用，将会对字段进行权限验证。
   3）类方法解析：1.类方法和接口方法符号引用的常量类型定义是分开，如果在类方法表中发现class_index中索引的C是个接口，抛异常。2.如果通过1，在类C中查找是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用。3.否则，在类C的父类中递归查找是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用。4.否则，在类C实现的接口列表及他们的父接口之中归查找是否有简单名称和描述符都与目标相匹配的方法，如果存在匹配的方法，说明类C是一个抽象类，这是查找结束，抛出AbstractMethodError异常。5.否则，失败，抛异常。
   如果成功返回了直接引用，将会对这个方法进行权限验证。
   4）接口方法解析：1.与类方法解析不同，如果在接口方法表中发现class_index中索引的是个类而不是接口，直接抛异常。2.否则，在接口C中查找是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用。3.否则，在接口C的父类接口中递归查找直到java.lang.Object类为止，看是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用。4.否则，失败，抛异常。
   由于接口中的所有方法默认都是public的，所以不存在访问权限的问题。

5. 初始化
   真正开始执行类中定义的Java代码。

7.3 类加载器
对于任意一个类，都需要由加载它的类加载器和这个类本身一同确立其在Java虚拟机中的唯一性。
7.3.1 双亲委派模型
从Java虚拟机的角度来讲，只存在两种不同的类加载器，一种是启动类加载器（C++实现，虚拟机自身的一部分），另一种就是所有其他的类加载器（Java实现，独立于虚拟机外部，并且全都继承自抽象类java.lang.ClassLoader）。、
从Java开发人员角度看，有3种：

• 启动类加载器（Bootstrap ClassLoader）：将存放在<JAVA_HOME>\lib目录中的且是虚拟机识别的类库加载到虚拟机中。启动类加载器无法被Java程序直接引用。
• 扩展类加载器（Extension ClassLoader）：由sum.misc.Launcher$ExtClassLoader实现，负责加载<JAVA_HOME>\lib\ext目录中的，开发者可以直接使用。
• 应用程序类加载器（Application ClassLoader）：由sum.misc.Launcher$AppClassLoader实现。由于这个类加载器是ClassLoader中的getSystemClassLoader()方法的返回值，所以一般也称它为系统类加载器。负责加载用户类路径上所指定的类库，开发者可以直接使用。
  
  双亲委派模型要求除了顶层的启动类加载器外，其余的类加载器都应当有自己的父类加载器。这里类加载器之间的父子关系一般不会以继承的关系实现，而是都使用组合关系来复用父类加载器的代码。
  双亲委派模型的工作过程：如果一个类加载器收到了类加载的请求，它首先不会自己去尝试加载这个类，而是把这个请求委派给父类加载器去完成，每一个层次的类加载器都是如此，因此所有的加载请求最终都应该传送到顶层的启动类加载器中，只有当父加载器反馈自己无法完成这个加载请求时，子加载器才会尝试自己去加载。