Java虚拟机——虚拟机类加载机制

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

Java类的生命周期：加载、验证、准备、解析、初始化、使用、卸载

必须对类进行“初始化”的情况：
a、使用new关键字实例化对象的时候、读取或设置一个类的静态字段的时候、调用一个类的静态方法的时候；
b、使用java.lang.reflect包的方法对类进行发射调用的时候，如果类没有初始化，则要先初始化类；
c、当初始化一个类的时，如果发现其父类没有进行过初始化，则要先触发其父类的初始化；
d、虚拟机启动时，用户需要指定一个要执行的主类，虚拟机会先初始化这个主类。
这4种行为称为对一个类进行主动引用，其他所有引用类的方式，都不会触发初始化，称为被动引用。

类加载过程

1. 加载
   加载阶段主要完成三件事情：
   a、通过一个类的全限定名来获取定义此类的二进制字节流；
   b、将这个字节流所代表的静态存储结构转化为方法区的运行时数据结构；
   c、在Java堆中生成一个代表这个类的java.lang.Class对象，作为方法区这些数据的访问入口。

2. 验证
   a、文件格式验证，验证字节流是否符合Class文件格式的规范；
   b、元数据验证；
   c、字节码验证；
   d、符号引用验证。

3. 准备
   准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些内存都将在方法区中进行分配。
   这时候内存分配的对象仅包括类变量（被static修饰的变量），而不包括实例变量，实例变量会在对象实例化时随着对象一起分配在Java堆中。此外，这里的初始化是指数据类型的零值，如：

public static int value = 123;

变量value在准备阶段过后的初始值为0而不是123。因为这时候尚未执行任何Java方法。把value赋值为123的动作将在初始化阶段才执行。

4. 解析
   解析阶段是虚拟机将常量池的符号引用替换为直接引用的过程。
   符号引用：符号引用以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能无歧义的定位到目标即可。引用的目标并不一定已经加载到内存中。
   直接引用：直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是与虚拟机实现的内存布局相关的，同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用，那引用的目标必定已经在内存中存在。
   当执行anewarray、checkcast、getfield、getstatic、instanceof、invokespecial、invokestatic、invokevirtual、multianewarray、new、putfield、putstatic这13个关键字时，需要先对它们所使用的符号引用进行解析。
   解析动作主要针对类或接口、字段、类方法、接口方法四类符号引用进行。

   a、类或接口的解析
   在代码D中，如果要把一个从未解析过的符号引用N解析为一个类或接口C的直接引用，有如下3步：
   1）若C不是一个数组类型，虚拟机将会把N的全限定名传给D的类加载器去加载C；
   2）若C是一个数组类型，并且数组的元素类型为对象，则将会按照第1点的规则加载数组元素类型；
   3）如果以上步骤都无异常，那么将会验证C是否具备对D的访问权限。

b、字段解析
字段解析首先会对字段所属的类或接口的符号引用进行解析，如果解析成功，用C表示这个字段所属的类或接口，则会做以下步骤
1）如果C本身就包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束；
2）否则，如果在C中实现了接口，将会按照继承关系从上往下递归搜索各个接口和它的父接口，如果接口中包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束；
3）否则，如果C不是java.lang.Object的话，将会按照继承关系从上往下递归搜索其父类，如果在父类中包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束；
4）否则，查找失败，抛出java.lang.NoSuchFieldError异常。

c、类方法解析
类方法解析的第一步也是解析该方法所属的类或接口的符号引用，若用C表示这个类，则虚拟机按照如下步骤进行后续类方法搜索：
1）类方法和接口方法符号引用的常量类型定义是分开的，如果在类方法表中发现C是接口，则抛出java.lang.IncompatibleClassChangeError异常；
2）若C是类，则在C中查找是否包含了简单名称和字段描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用，查找结束；
3）否则，在C的父类中递归查找是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用，查找结束；
4）否则，在C实现的接口列表即它们的父接口中递归查找是否有简单名称和描述符都与目标相匹配的方法，如果存在匹配的方法，说明C是一个抽象类，查找结束，抛出java.lang.AbstractMethodError异常。
5）否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError

d、接口方法解析
接口方法也是首先解析接口方法所属的类或接口的符号引用，用C表示这个接口，则有：
1）如果C是类而不是接口，抛出java.lang.IncompatibleClassChangeError异常；
2）否则，在接口C中查找是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用，查找结束；
3）否则，在接口C的父接口中递归查找，直到java.lang.Object类为止，看是否有简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用，查找结束；
4）否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError。

5. 初始化
   初始化阶段是根据代码去初始化类变量和其他资源，也就是执行类构造器clinit()方法的过程。clinit()方法有以下特性：
   a、clinit()方法是由编译器自动收集类中的所有变量的赋值动作和静态语句块（static{}块）中的语句合并产生的；
   b、clinit()方法与类的构造函数（或者说实例构造器init()方法）不同，它不需要显式地调用父类构造器，虚拟机会保证在子类的clinit()方法执行之前，父类的clinit()方法已经执行完毕；
   c、由于父类的clinit()方法优先执行，也就意味着父类中定义的静态语句块要优先于子类的变量赋值操作；
   d、clinit()方法对于类或接口来说并不是必须的，如果一个类中没有静态语句块，也没有对变量的赋值操作，那么编译器可以不为这个类生成clinit()方法；
   e、接口中不能使用静态语句块，但仍然有变量初始化的赋值操作，因此接口与类一样都会生成clinit()方法。但接口与类不同的是，执行接口的clinit()方法不需要先执行父类接口的clinit()方法。只有当父类接口中定义的变量被使用时，父接口才会被初始化。另外，接口的实现类在初始化时也一样不会执行接口的clinit()方法。
   f、虚拟机会保证一个类的clinit()方法在多线程环境中被正确地加锁和同步，如果多个线程同时去初始化一个类，那么只会有一个线程去执行这个类的clinit()方法，其他线程都需要阻塞等待，直到活动线程执行clinit()方法完毕。