jvm虚拟机-6 虚拟机类的加载机制

1.类加载过程

       类从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期包括：加载、验证、准备、解析、初始化、使用和卸载七个阶段。它们开始的顺序如下图所示：

      其中类加载的过程包括了加载、验证、准备、解析、初始化五个阶段。在这五个阶段中，加载、验证、准备和初始化这四个阶段发生的顺序是确定的，而解析阶段则不一定，它在某些情况下可以在初始化阶段之后开始，这是为了支持Java语言的运行时绑定（也成为动态绑定或晚期绑定）。另外注意这里的几个阶段是按顺序开始，而不是按顺序进行或完成，因为这些阶段通常都是互相交叉地混合进行的，通常在一个阶段执行的过程中调用或激活另一个阶段。

      这里简要说明下Java中的绑定：绑定指的是把一个方法的调用与方法所在的类(方法主体)关联起来，对java来说，绑定分为静态绑定和动态绑定：

•       静态绑定：即前期绑定。在程序执行前方法已经被绑定，此时由编译器或其它连接程序实现。针对java，简单的可以理解为程序编译期的绑定。java当中的方法只有final，static，private和构造方法是前期绑定的。
•       动态绑定：即晚期绑定，也叫运行时绑定。在运行时根据具体对象的类型进行绑定。在java中，几乎所有的方法都是后期绑定的。

      Java虚拟机规范中并没有强制约束什么时候需要开始类加载过程的第一阶段（加载），这点可以交给虚拟机的具体实现来自由把握。但是对于初始化阶段，虚拟机规范则是严格规定了有且只有5种情况必须对类进行“初始化”（而加载、验证、准备自然需要在此之前开始）：

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

     对于这5种会触发类进行初始化的场景，虚拟机规范中使用了一个很强烈的限定语：“有且只有”，这5种场景中的行为称为对一个类进行主动引用。除此之外，所有引用类的方法都不会触发初始化，称为被动引用。

2.加载

     类在加载阶段完成以下3件事情：

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

3.验证

       验证是连接部分的的第一步，这一阶段的目的是为了确保class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身安全。验证阶段大致会分为以下四个阶段的检验动作：文件格式验证、元数据验证、字节码验证、符号引用验证。

3.1文件格式验证

1. 是否以魔数0xCAFEBABE开头；
2. 主次版本号是否在当前虚拟机处理范围之内；
3. 常量池的常量中是否有不被支持的常量类型（检查常量tag标志）；
4. 指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量；
5. CONSTANT_UTF8_info型的常量中是否有不符合UTF8编码的数据；
6. Class文件中各个部分及文件本身是否有被删除的或附加的其他信息；

       第一部分的验证远远不止验证以上分类，验证的目的是保证输入的字节流能正确地解析并存储于方法区之内，格式上符合描述一个Java类型信息的要求。

3.2元数据验证

      验证的第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合Java语言规范的要求：

1. 这个类是否有父类（除了java.lang.Object之外，所有的类都应当有父类）；
2. 这个类的父类是否继承了不允许被继承的类（被final修饰的类）；
3. 如果这个类不是抽象类，是否实现了其父类或者接口之中要求实现的所有方法；
4. 类中的字段、方法是否与父类产生矛盾（例如覆盖了父类的final字段，或者出现不符合规则的方法重载，例如方法参数都一致，但返回值类型却不同等等）。 

3.3字节码验证

       字节码验证目的是通过数据流和控制流分析，确定程序语义是合法的、符合逻辑的。这个阶段将对类的方法体进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全事件，例如：

1. 保证任意时刻操作数栈的数据类型与指令代码序列都能配合工作，例如不会出现这样的情况：在操作栈放置了一个int类型数据，使用时却按照long类型来加载入本地变量表中。
2. 保证跳转指令不会跳转到方法体以外的字节码指令上。
3. 保证方法体体中的类型转换时有效的，例如可以把子类对象赋值给父类数据类型，这是安全的，但是把父类对象赋值给子类数据类型，甚至把对象赋值给它毫无继承关系，完全不相干的一个数据类型，则是危险和不合法的。

如果一个类方法体的字节码没有通过字节码验证，那肯定是有问题；但如果一个方法通过了字节码验证，也不能说明其一定就是安全的。

3.4符号引用验证

       验证的最后一个阶段的验证发生在虚拟机将符号引用转化为直接引用的时候，这个转化动作将在连接的第三阶段——解析阶段中发生。符号引用验证可以看做是对类自己以为（常量池中的各种符号引用）的信息进行匹配性校验，通常需要校验一下内容：

1. 符号引用中通过字符串描述的全限定名是否能找到对应的类；
2. 在指定类中是否存在符合方法的字段描述符以及简单名称锁描述的方法和字段；
3. 符号引用的类、字段、方法的访问性（private、protected、public、default）是否可被当前类访问。

符号引用验证目的是确保解析动作能正常执行，如果无法通过符号引用验证，那么将会抛出java.lang.IncompatibleClassError异常子类，如java.lang.IllegalAccessError、java.lang.NoSuchFieldError、java.lang.NoSuchMethodError等。

4.准备

       准备阶段是正式为类变量分配内存并设置类变量初始值得阶段，这些变量所使用的内存都将在方法区中进行分配。这个阶段仅包括类变量（被static修饰的变量），而不包括实例变量，实例变量将会在对象实例化时随着对象一起分配在Java堆中。

其中：static int n=2；

初始化的值0而不是2.因为在这个时候还没执行任何Java方法。

static final int n=2；

对应到常量池constantValue，在准备阶段n必须赋值为2.

基本数据类型	byte(字节型)	short（短整型）)	int（整型）	long(长整型)	float(浮点型)	double(双精度)	char(字符型)	boolean(布尔型)
占用字节	1	2	4	8	4	8	2	系统没有提供size方法
默认值	0	0	0	0.0l	0.0f	0.0	/u0000（空格）	false
封装器类	Byte	Short	Integer	Long	Float	Double	Character	Boolean

5.解析

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

       符号引用（Symbolic References）：符号引用以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能够无歧义的定位到目标即可。符号引用与虚拟机实现的内存布局无关，引用的目标并不一定已经加载到内存中。在编译的时候一个每个java类都会被编译成一个class文件，但在编译的时候虚拟机并不知道所引用类的地址，多以就用符号引用来代替，而在这个解析阶段就是为了把这个符号引用转化成为真正的地址的阶段。

这个代码中在编译的时候对应的s会被解析成为符号引用

而这段代码执行的时候会直接解析成直接引用。

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

直接引用可以是： 

1：直接指向目标的指针（指向对象，类变量和类方法的指针）

2：相对偏移量（指向实例的变量，方法的指针）

3：一个间接定位到对象的句柄。

5.1类或接口的解析

       假设当前代码所处的类为D，如果要把一个从未解析过的符号引用N解析为一个类或接口C的直接引用，那虚拟机完成整个解析的过程需要以下三个步骤：

1. 如果C不是一个接口类型，那虚拟机将会把代表N的全限定名传递给D的类加载器去加载整个类C。在加载过程中，由于元数据验证字节码验证的需要，又可能触发其他类的加载动作，例如这个类的父类或实现的接口。一旦这个加载过程中出现任何异常，解析过程就宣告失败。
2. 如果C是一个数组类型，并且数组的元素类型为对象，也就是N的描述符会是类似：”[Ljava/lang/Integer“的形式，那么会按照1点的规则加载数组元素类型。如果N的描述符如前面所假设的形式，需要加载的元素类型就是”java.lang.Integer“，接着由虚拟机生成一个代表此数组维度和元素的数组对象。
3. 如果上面步骤没有出现异常，那么C在虚拟机中实际上已经成为一个有效的类或接口了，但在解析完成之前还要进行符号引用验证，确认D是否具备对C的访问权限。如果不具备访问权限，将抛出java.lang.IllegalAccessError异常。

5.2字段解析

      要解析一个未被解析过的字段符号引用，首先将会对字段表内class_index项中索引的CONSTANT_Class_info符号引用进行解析，也就是字段所属的类或接口的符号引用。

class A extends B implements C{

     private String str;//字段的解析

}

匹配规则：简单名字+描述符同时满足

解析过程：

1. 如果在A类通过简单名字和字段描述符找到与目标相匹配的字段，则返回这个字段直接引用，查找结束。
2. 如果在本类未找到，如果实现了接口，将会按照继承关系从下往上递归搜索各个接口和它的父类接口，如果找到则返回，查找结束。
3. 如果在接口中未找到，并且该类继承了非Object类，将会按照继承关系从下往上递归搜索其父类，如果在父类中找到，则返回，查找结束。
4. 否则，查找失败，抛出java.lang.NoSuchFieldError异常。

如果在查找过程中找到，如果该类不具备对字段的访问权限，将抛出java.lang.IllegalAccessError异常。

5.3类方法解析

class A extends B implements C{

     private void inc();

}

匹配规则：简单名字+描述符同时满足

1. 类方法和接口方法符号引用和常量类型定义是分开的，如果在类方法中发现class_index中索引的A是个接口，那就直接抛出java.lang.IncompatibleClassChangeError异常。
2. 如果通过了第一步，在A类通过简单名字和字段描述符找到与目标相匹配的方法，则返回这个方法直接引用，查找结束
3. 如果在本类未找到，并且该类继承了非Object类，将会按照继承关系从下往上递归搜索其父类，如果在父类中找到，则返回，查找结束。
4. 如果实现了接口，将会按照继承关系从下往上递归搜索各个接口和它的父类接口，如果找到则返回，查找结束。
5. 否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError。

如果在查找过程中找到，如果该类不具备对方法的访问权限，将抛出java.lang.IllegalAccessError异常。

5.4接口方法解析

接口方法搜索：

1. 与类方法解析不同，如果在接口方法表发现class_index中的索引C是个类而不是接口，那就直接抛出java.lang.IncompatibleClassChangeError异常。
2. 否则，在接口C中查找是否有简单名称和描述符与目标相匹配的方法，如果有则返回这个方法的直接引用，查找结束。
3. 否则，在接口C中的父类接口中递归查找，直到java.lang.Object类（查找范围会包括Object类）为止，看是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法直接引用，查找结束。
4. 否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError。

由于自接口中所有方法默认是public的，所以不存在访问权限问题，因此接口方法的符号解析不会抛出java.lang.IllegalAccessError异常

6.初始化

      类初始化阶段是类加载过程的最后一步，前面的类加载过程中，除了在加载阶段用户应用程序可以通过自定义类加载器参与之外，其余动作完全由虚拟机主导和控制。到了初始化阶段，才真正开始执行类中定义的Java程序代码。

      在准备阶段，变量已经赋过一次系统要求的初始值，初始化阶段是执行构造器<clinit>()方法的过程。

      <clinit>()：静态变量，静态块的初始化

      <init>：类的初始化