文件格式验证：通过了这个阶段的验证后，字节流才会进入内存的方法区中进行存储。后面的验证会基于方法区的存储结构进行验证，而不再操作字节流进行验证。
元数据验证：该阶段主要对字节码描述的信息进行语义分析，以保证符合Java语言规范要求。
字节码验证：
- 该阶段主要是通过数据流和控制流分析，确定程序语义是合法的。
- 对类的方法体进行校验分析，保证被校验类的方法在运行时不会做出危害虚拟机安全的事件。
符号引用验证：如常量池中的符号指向是否正确，符号引用验证的目的就是确保解析动作能正常执行。

在验证过程中大致会抛出如下几种错误：

IncompatibleClassChangeError。
Unsupported major.minor version。
IllegalAccessError。
NoSuchFieldError。
NoSuchMethodError。

准备：

准备阶段是为类变量分配内存并设置类变量初始化的阶段，这些变量所使用的内存当将在方法区中进行分配。

只对类变量进行内存分配(static修饰)，不包括实例变量，实例变量将会在对象实例化是随着对象一起分配在Java堆中。

如只会初始化如下变量：

1 public static int I = 1;
2 public static final int J = 2;

解析：

解析的目的就是将常量池内的符号引用替换为直接引用。

符号引用(Symbolic References)：符号引用以一组符号来描述所引用的目标，符号可以是任何形式的字面量，只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关，引用的目标并不一定已经加载到内存中。符号引用的字面量形式已经明确定义在Java虚拟机规范的Class文件格式中。

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

一句话总结：符号引用是以字面量的形式明确定义在常量池中；直接引用是指向目标的指针，或者相对偏移量。

解析动作主要对类或者接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行，分别对应于常量池：

CONSTANT_Class_info。
CONSTANT_Fieldref_info。
CONSTANT_Methodref_info。
CONSTANT_InterfaceMethodref_info。
CONSTANT_MethodType_info。
CONSTANT_Methodref_info。
CONSTANT_MethodHandler_info。
CONSTANT_invokeDynamic_info。

1、字段的解析：

1 class A extends B implements C, D {
2     private String str; 
3 }

解析字段的顺序：A -> C, D -> B -> java.lang.NoSuchFieldError

先查找本类A，如果包含了简单名称和字段描述符都与目标相匹配的字段，则返回这个字段的直接引用，查找结束。
否则，在接口中查找。将会按照集成关系从下往上递归搜搜各个接口和它的父接口，如果接口中包含了简单名称和字段描述符都于目标相匹配的字段，则返回这个字段的直接引用，查找结束。
否则，在父类中查找，如果在父类中包含了简单名称和字段描述符都于目标相匹配的字段，则返回这个字段的直接引用，查找结束
否则，查找失败，抛出java.lang.NoSuchFieldError异常。

2、类方法的解析：

1 class A extends B implements C, D {
2     private void inc();
3 }

解析顺序：A -> B（父类递归） -> C, D（接口递归） -> java.lang.NoSuchMethodError

如果在类方法表中发现class_index中索引的A是一个接口，哪就直接抛出java.lang.IncompatiableClassChangeError异常。
如果通过了第一步，先查找本类A，是否由简单名称和描述符都于目标相匹配的方法，如果有则返回方法的直接引用，查找结束。
否则，父亲中递归查找是否又简单名称和描述符都与目标相匹配的方法，如果有则返回这个方法的直接引用，查找结束。
否则，在类实现的接口列表及它们的父接口之中查找是否有简单名名称和描述符都与目标相匹配的方法，如果存在匹配的方法，说明类C是一个抽象类，这时查找结束，抛出java.lang.AbastractMethodError异常。
否则，宣告方法查找失败，抛出java.lang.NoSuchMethodError。

3、接口方法的解析：

解析顺序：本接口 -> 父接口递归查找 -> java.lang.NoSuchMethodError ->

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

初始化：

1、<clinit>类的初始化：静态变量，静态块的初始化。所有的类变量初始化语句和类型的静态初始化器。Java在编译之后会在字节码文件中生成<clinit>方法，称之为类构造器，类构造器同实例构造器一样，也会对静态语句块，静态变量进行初始化。

2、<init>对象的初始化：Java在编译之后会在字节码文件中生成<init>方法，称之为实例构造器。该实例构造器会对语句块，变量进行初始化，并调用父类的构造器。

<clinit>方法是在类加载过程中执行的，而<init>是在对象实例化执行的，所以<clinit>一定比<init>先执行。所以整个顺序就是：

父类静态变量初始化。
父类静态语句块。
子类静态变量初始化。
子类静态语句块。
父类变量初始化。
父类语句块。
父类构造函数。
子类变量初始化。
子类语句块。
子类构造函数。

原文地址：https://www.cnblogs.com/bzfsdr/p/13619895.html

JVM学习笔记三、类加载机制

目录：

类加载机制简介

类加载机制流程

加载：

验证：

准备：

解析：

初始化：

相关推荐