JVM学习记录——类加载的过程

类的整个生命周期的7个阶段是：加载（Loading）、验证(Verification)、准备(Preparation)、解析(Resolution)、初始化(Initialization)、使用(Using)、卸载(Unloading)。

类加载的全过程主要包括：加载、验证、准备、解析、初始化这5个阶段的内容。

加载

加载是类加载过程的一个阶段， 在加载阶段JVM须要完成如下3件事情：

1. 经过一个类的全限定明来获取定义此类的二进制字节流。
2. 将这个字节流所表明的静态存储结构转化为方法区运行时数据结构。
3. 在内存中生成一个表明这个类的java.lang.Class对象，做为方法区这个类的各类数据访问入口。

加载阶段（准确地说，是加载阶段获取类的二进制字节流的动做）是整个类加载过程中开发人员可控性最强的，由于加载阶段既可使用系统提供的引导类加载器完成，又能够由用户自定义的二类加载器去完成，开发人员能够经过定义本身的类加载器区控制字节流的获取方式。

加载阶段完成后，虚拟机外部的二进制字节流就按照虚拟机所需的格式存储在方法区中，方法区中的数据存储格式由虚拟机的实现自行定义，虚拟机规范未规定此区域的具体数据结构。而后再内存中实例化一个java.lang.Class类的对象（这个对象，并无要求必须是在Java堆中，就HotSpot而言，Class对象比较特殊，虽然是对象，可是是存放在方法区中的），这个对象将做为程序访问方法区中的这些类型数据的外部接口。

加载阶段与链接阶段的部份内容（如一部分字节码文件格式验证东西）是交叉进行的，可是这两个阶段的开始时间仍然保持着固定的 前后顺序。

验证

 验证是链接阶段的第一步，这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，而且不会危害虚拟机自身的安全。验证阶段是很是重要的，这个阶段是否严谨，直接决定了Java虚拟机是否能承受恶意代码的攻击，它大体上会完成4个阶段的检验工做：文件格式验证、元数据验证、字节码验证、符号引用验证。

文件格式验证

这一阶段主要验证字节流是否符合Class文件格式的规范，而且能被当前版本的虚拟机处理。

验证内容包括：是否以魔数0xCAFEBABE开头，主次版本号是否在当前虚拟机处理范围以内，常量池的常量是否有不被支持的常量类型，指向常量的各类索引值是否有指向不存在的常量或不符合类型的常量，CONSTANT_Utf8_info型的常量中是否有不符合UTF8编码的数据，Class文件中各个部分及文件自己是否有被删除的或附近的其余信息等等。

元数据验证

第二阶段主要是对类的元数据信息进行语义校验，保证不存在不符合Java语言规范的元数据信息。

验证内容包括：当前类是否有父类（除了Object类以外，全部类都该有父类），当前类的父类是否继承了不被容许继承的类（被final修饰的类），若是当前类不是抽象类，是否实现了其父类或接口之中要求实现的全部方法，类中的字段、方法是否与父类产生矛盾（如覆盖了父类的final字段等）等等。

字节码验证

第三阶段是整个验证过程当中最复杂的一个阶段，主要目的是经过数据流和控制流分析，肯定程序语义是合法的、符合逻辑的。

验证内容包括：保证任意时刻操做数栈的数据类型与指令代码序列都能配合工做，例如：保证不会出如今操做栈放置了一个int类型的数据，使用时却按long类型来加载如本地变量表中。保证跳转指令不会跳转到方法体觉得的字节码指令上。保证方法体上的类型转换是有效的，例如：能够把一个子类对象赋值给父类数据类型，可是不能把父类对象赋值给子类数据类型。

符号引用验证

最后一个阶段的校验发生在虚拟机将符号引用转化为直接引用的时候，这个转化动做发生在解析阶段。符号引用验证能够看作是对类自身之外的信息进行匹配校验。

验证内容包括：符号引用经过字符串描述的全限定明是否能找到对应的类。在指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段。符号引用中的类、字段、方法的访问性是否能够被当前类访问等等。

准备

准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些变量所使用的内存都将在方法区中进行分配。这个阶段分配内存的仅仅是类变量不包括实例变量。实例变量实在对象实例化的时候分配在堆内存中的，还有就是这里给类变量设置的初始值“一般状况下”下是数据类型的零值，例如：

public static int value = 666;

 这个变量value的值在准备阶段被设置的初始值为0而不是666，由于此时还没有开始执行任何Java方法，而把value赋值为666的putstatic指令是程序编译后，存放于类构造器<clinit>()方法之中，因此把value赋值为666的动做将在初始化阶段才会执行。

上面说到在“一般状况”下初始值是零值，在非“一般状况”下也就是类字段属性中存在常量属性的时候，那么在准备阶段类变量就会被初始化为常量属性所指定的值。

public static final int value = 666;

编译时Javac将会生成常量属性，在准备阶段虚拟机就会根据常量属性的设置将value赋值为666；

解析

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

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

直接引用（Direct References）：直接引用能够是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是和虚拟机实现内存布局相关的，同一个符号引用在不一样虚拟机实例上翻译出来的直接引用通常不会相同。若是有直接引用，那引用的目标一定已经在内存中存在。

解析动做主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符，这7类符号引用，分别对应于常量池的CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_MethodHandle_info和CONSTANT_InvokeDynamic_info 这7中常量类型。

初始化

类初始化阶段是类加载过程的最后一步，前面的类加载过程当中，除了在加载阶段用户应用程序能够经过自定义类加载器参与以外，其他动做彻底由虚拟机主导和控制。在准备阶段，变量已经赋过一次系统初始零值了，而在初始化阶段，是经过程序制定的主观计划去初始化类变量和其余资源，也就是执行类构造器<clinit>()方法的过程。在上一篇“类的加载时机”中已经介绍过了，有5中状况会出发类初始化，下面介绍的是在<clinit>()方法执行过程当中一些可能会影响程序运行行为的特色和细节。

• <clinit>()方法是由编译器自动收集类中的全部类变量赋值动做和静态语句块（static{}）中的语句合并产生的，编译器收集顺序室友语句在源文件中出现的竖线所决定的，静态语句块中只能访问到定义在静态语句块以前的变量，定义在它以后的变量，在前面静态语句块能够赋值，可是不能访问。
• <clinit>()方法与类的构造函数不一样，它不须要显示的调用父类构造器，因此虚拟机中第一个被执行的<clinit>()方法的类确定是java.lang.Object。
• 因为父类的<clinit>()方法先执行，也就意味着福利中定义的静态语句块要因为子类的变量赋值操做。
• <clinit>()方法对于类或接口来讲并非必需的，若是一个类中没有静态语句块，也没有对变量的赋值操做，那么编译器能够不为这个类生产<clinit>()方法。
• 接口中不能使用静态语句块，但仍然有变量初始化的赋值操做，所以接口和类同样都会生成<clinit>()方法。接口中只有在使用父接口的时候才会初始化父接口（上一篇已经讲解过）。
• 虚拟机会保证一个类的<clinit>()方法在多线程的环境中被正确地枷锁、同步，若是多个线程同时去初始化一个类，那么只会有一个线程区执行这个类的<clinit>()方法，其余线程都须要阻塞等待，直到活动线程<clinit>()方法