【深入理解JVM】（二）类加载机制

一.概述

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

二.类加载时机

一个类型从被加载到虚拟机内存中开始，到卸载出内存为止，它的整个生命周期将会经历加载（Loading）、验证（Verification）、准备（Preparation）、解析（Resolution）、初始化（Initialization）、使用（Using）和卸载（Unloading）七个阶段，其中验证、准备、解析三个部分统称为连接（Linking）

三.类记载过程

1.加载(Loading)

“加载”（Loading）阶段是整个“类加载”（Class Loading）过程中的一个阶段。在这一阶段，Java虚拟机需要完成以下三件事情:
1）通过一个类的全限定名来获取定义此类的二进制字节流。
2）将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。
3）在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。

2.连接(Linking)

2.1 验证（Verification）

验证是连接阶段的第一步，这一阶段的目的是确保Class文件的字节流中包含的信息符合《Java虚拟机规范》的全部约束要求，保证这些信息被当作代码运行后不会危害虚拟机自身的安全。

2.1.1 文件格式验证

验证字节流是否符合Class文件格式的规范,例如:

 a.是否以魔数0xCAFEBABE开头
 b.主、次版本号是否在当前Java虚拟机接受范围之内
 c.常量池的常量中是否有不被支持的常量类型（检查常量tag标志）
 d.指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量。
 e.CONSTANT_Utf8_info型的常量中是否有不符合UTF-8编码的数据。
 f.Class文件中各个部分及文件本身是否有被删除的或附加的其他信息。
 ......

2.1.2 元数据验证

第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合《Java语言规范》的要求，这个阶段可能包括的验证点如下：

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

第二阶段的主要目的是对类的元数据信息进行语义校验，保证不存在与《Java语言规范》定义相悖的元数据信息。

2.1.3 字节码验证

第三阶段是整个验证过程中最复杂的一个阶段，主要目的是通过数据流分析和控制流分析，确定程序语义是合法的、符合逻辑的。在第二阶段对元数据信息中的数据类型校验完毕以后，这阶段就要对类的方法体（Class文件中的Code属性）进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的行为，例如：

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

2.1.4 符号引用验证

最后一个阶段的校验行为发生在虚拟机将符号引用转化为直接引用的时候，这个转化动作将在连接的第三阶段——解析阶段中发生。符号引用验证可以看作是对类自身以外（常量池中的各种符号引用）的各类信息进行匹配性校验，通俗来说就是，该类是否缺少或者被禁止访问它依赖的某些外部类、方法、字段等资源。本阶段通常需要校验下列内容：

a.符号引用中通过字符串描述的全限定名是否能找到对应的类。
b.在指定类中是否存在符合方法的字段描述符及简单名称所描述的方法和字段。
c.符号引用中的类、字段、方法的可访问性（private、protected、public、<package>）是否可被当前类访问
......

符号引用验证的主要目的是确保解析行为能正常执行，如果无法通过符号引用验证，Java虚拟机将会抛出一个java.lang.IncompatibleClassChangeError的子类异常，典型的如：java.lang.IllegalAccessError、java.lang.NoSuchFieldError、java.lang.NoSuchMethodError等。

小结:
验证阶段对于虚拟机的类加载机制来说，是一个非常重要的、但却不是必须要执行的阶段，因为验证阶段只有通过或者不通过的差别，只要通过了验证，其后就对程序运行期没有任何影响了。如果程序运行的全部代码（包括自己编写的、第三方包中的、从外部加载的、动态生成的等所有代码）都已经被反复使用和验证过，在生产环境的实施阶段就可以考虑使用-Xverify：none参数来关闭大部分的类验证措施，以缩短虚拟机类加载的时间。

2.2 准备（Preparation）

准备阶段是正式为类中定义的变量（即静态变量，被static修饰的变量）分配内存并设置类变量初始值的阶段，从概念上讲，这些变量所使用的内存都应当在方法区中进行分配，但必须注意到方法区本身是一个逻辑上的区域，在JDK 7及之前，HotSpot使用永久代来实现方法区时，实现是完全符合这种逻辑概念的；而在JDK 8及之后，类变量则会随着Class对象一起存放在Java堆中，这时候“类变量在方法区”就完全是一种对逻辑概念的表述了。

public static int value = 123 //此时 value = 0;
public static final int value = 123;  //此时 value = 123;

2.3 解析（Resolution）

解析阶段是Java虚拟机将类/方法/属性等符号引用解析为直接引用(JVM栈中的Dynamic Linking的过程) 常量池中的各种符号引用解析为指针/偏移量等内存地址的直接引用的过程
分为：类或接口的解析、字段解析、方法解析、接口方法解析

3.初始化(Initializing)

类的初始化阶段是类加载过程的最后一个步骤，之前介绍的几个类加载的动作里，除了在加载阶段用户应用程序可以通过自定义类加载器的方式局部参与外，其余动作都完全由Java虚拟机来主导控制。直到初始化阶段，Java虚拟机才真正开始执行类中编写的Java程序代码，将主导权移交给应用程序。

//调用类初始化代码<clinit>,给静态成员变量赋初始值 
public static int value = 123; //此时 value = 123