虚拟机类加载机制

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

1 类加载的时机

类从被加载到虚拟机内存开始，到卸载出内存为止，它的整个生命周期包括了：加载、连接、初始化、使用、卸载。其中连接又分为验证、准备、解析三个阶段。

虚拟机规范只严格规定了初始化阶段开始的时机：

(1) 遇到new、getstatic、putstatic或invokestatic这4条字节码指令时，如果类没有进行过初始化，则需要先触发其初始化。生成这4条指令的最常见的Java代码场景是：使用new关键字实例化对象的时候、读取或设置一个类的静态字段（被final修饰、已在编译期把结果放入常量池的静态字段除外）的时候，以及调用一个类的静态方法的时候。

(2) 使用java.lang.reflect包的方法对类进行反射调用的时候，如果类没有进行过初始化，则需要先触发其初始化。使用反射方式强制创建类或接口对应的java.lang.Class对象，使用Class.forName(“Person”)会导致强制初始化该类，但使用ClassLoader类的loadClass()方法，只是加载并不会执行类的初始化

(3) 初始化一个类的时候，如果其父类还没有进行初始化，则需要触发其父类的初始化

(4) 使用java.exe命令运行某个主类

2 类加载的过程

2.1 加载

类加载指将类的Class文件读入内存，为之创建一个java.lang.Class对象，由类加载器完成，可以通过继承ClassLoader来创建自己的类加载器。在加载阶段，虚拟机需要完成以下三件事：

(1) 通过一个类的全限定名来获取定义此类的二进制字节流。

(2) 将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构。

(3) 在Java堆中生成一个代表这个类型的java.lang.Class对象，作为方法区这些数据的访问入口。

2.2  验证

       验证是连接阶段的第一步，这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。不同虚拟机对类验证的实现可能会有不同，大致都会有四个阶段的检验过程：文件格式验证、元数据验证、字节码验证和符号引用验证。

1、文件格式验证

       第一阶段验证字节流是否符合Class文件格式的规范，并且能被当前版本的虚拟机处理。这阶段的验证是基于字节流进行的，经过了这个阶段的验证之后，字节流才会进入内存的方法区中进行存储，所以后面的三个验证阶段全部是基于方法区的存储结构进行的。

2、元数据验证

第二阶段是对字节码描述的信息进行语义分析，以保证其描述的信息符合Java语言规范的要求。第二阶段的主要目的是对类的元数据信息进行语义校验。

3、字节码验证

       第三阶段主要工作是进行数据流和控制流分析，将对类的方法体进行校验分析。这阶段的任务是保证被校验类的方法在运行时不会做出危害虚拟机安全的行为。

4、符号引用验证

       最后一个阶段的校验发生在虚拟机将符号引用转化为直接引用的时候。符号引用验证可以看做是对类自身以外（常量池中的各种符号引用）的信息进行匹配性的校验。

2.3 准备

       准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些内存都将在方法区中进行分配。如果是static final修饰的变量，在准备阶段虚拟机会将其值赋为声明该变量时或静态初始化块中指定的初始值。（final修饰类Field，只能在静态初始化块中或声明该Field时指定初始值）

2.4 解析

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

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

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

解析动作主要针对类或接口、字段、类方法、接口方法四类符号引用进行，分别对应常量池的CONSTANT_Class_info、CONSTANT_Fieldref_info、CONSTANT_Methodref_info及CONSTANT_InterfaceMethodref_info四种常量类型。

类的连接负责把类的二进制数据合并到JRE中，分3个阶段：

(1) 验证：类是否具有正确的内部结构

(2) 准备：为类的静态Field分配内存，设置默认值

(3) 解析：将符号引用替换成直接引用

2.5 初始化

类的初始化是对静态Field进行初始化，（声明静态Field时指定初始值，静态初始化块）JVM按语句在程序中的排列顺序依次执行。初始化阶段是执行类构造器<clinit>()方法的过程。

(1) <clinit>()方法是由编译器自动收集类中的所有类变量的赋值动作和静态初始化块中的语句合并产生的，编译器收集的顺序是由语句在源文件中出现的顺序所决定的。静态初始化块中可以对定义在其后的静态变量进行赋值，但是不可以对其进行访问。

例如，下面的代码不会有错误

static{
		a=12;
	}
static int a;

下面的代码则会报错

static{
		System.out.println(a);
	}
static int a=12;

(2) <clinit>()方法与类的构造函数（或者说实例构造器<init>()方法）不同，不需要显式调用父类构造器，虚拟机会保证在子类的<clinit>()方法执行之前，父类的<clinit>()方法已经执行完毕。因此在虚拟机中第一个被执行的<clinit>()方法的类一定是java.lang.Object

(3) 由于父类的<clinit>()方法先执行，也就意味着父类中定义的静态初始化块要优先于子类的变量赋值操作。

(4)  如果一个类中没有静态初始化块，也没有对类变量的赋值操作，那么编译器可以不为这个类生成<clinit>()方法。

(5) 执行接口的<clinit>()方法不需要先执行父接口的<clinit>()方法，只有当父接口中定义的变量被使用时，父接口才会被初始化。接口的实现类在初始化时也一样不会执行接口的<clinit>()方法。

(6) 虚拟机会保证一个类的<clinit>()方法在多线程环境中被正确地加锁和同步。

3 类加载器

3.1 双亲委派模型

       系统提供的三种类加载器：

(1) 启动类加载器（Bootstrap ClassLoader）：负责将存放在<JAVA_HOME>\lib目录下，或者被-Xbootclasspath参数所指定的路径中的，并且是虚拟机识别的类库加载到虚拟机内存中。启动类加载器无法被Java程序直接引用。

(2) 扩展类加载器（Extension ClassLoader）：由sun.misc.Launcher$ExtClassLoader实现，负责加载<JAVA_HOME>\lib\ext目录下，或者被java.ext.dirs系统变量所指定的路径中的所有类库，开发者可以直接使用扩展类加载器。

(3) 应用程序类加载器（Application ClassLoader）：由sun.misc.Launcher$AppClassLoader来实现。这个类加载器是ClassLoader中getSystemClassLoader()方法的返回值，所以称之为系统类加载器。负责加载用户类路径（ClassPath）上所指定的类库，开发者可以直接使用这个类加载器，是程序的默认类加载器。

双亲委派模型的工作过程是：如果一个类加载器收到了类加载的请求，它首先不会自己去尝试加载这个类，而是把这个请求委派给父类加载器去完成，每一个层次的类加载器都是如此，因此所有的加载请求最终都应该传送到顶层的启动类加载器中，只有当父类加载器反馈自己无法完成这个加载请求时，子类加载器才会尝试自己去加载。