JVM——类加载机制
什么是类加载机制
虚拟机把描述类的数据从Class文件加载到内存,并对数据进行校验,转换解析和初始化,最终形成可以被虚拟机直接使用的Java类型的过程。
类加载的时机
虚拟机有且只有这5种场景(称为“主动引用”)会对类进行初始化:
- 遇到new、getstatic、putstatic或invokestatic这四条字节码指令。生成这四条指令的最常见的Java代码场景是:
- 使用new关键字实例化对象的时候;
- 读取或设置一个类的静态字段(除被static final修饰的字段)时;
- 调用一个类的静态方法的时候。
- 使用java.lang.reflect包的方法对类进行反射调用时,如果类没有进行过初始化就会先进行初始化。
- 当初始化一个类时,如果该类的父类还没有进行初始化,需要先对父类进行初始化
- 当虚拟机启动时,会先初始化包含main方法的主类
- 当使用jdk1.7动态语言支持时,如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getstatic,REF_putstatic,REF_invokeStatic的方法句柄,并且这个方法句柄所对应的类没有进行初始化,则需要先出触发其初始化。
注意:
public class Test {
public static void main(String[] args) {
String[] strs = new String[6];
}
}
上面创建String数组的动作由newarray字节码指令触发,它只是对数组类型本身的初始化,而不会导致其相关类型的初始化,也就是说,new String[]只会直接触发String[]类的初始化(这是一个由虚拟机自动生成的直接继承与Object的类),而不会直接触发String类的初始化。
类加载的步骤
下面是类的生命周期(类加载的时机)示意图,类的生命周期(类加载的时机)从被加载到虚拟机内存开始,到卸载出内存为止。类加载有以下加载
,验证
,准备
,解析
和初始化
五个步骤,其中验证,准备和解析三步统称为连接
1.加载
类的加载指的是将.class文件中的二进制数据读入到内存中,将其放在运行时数据区的方法区内,然后在堆区创建一个java.lang.Class对象的这个过程。
在加载阶段,虚拟机需要完成下面三个步骤:
- 通过一个类的全限定名来获取定义此类的二进制字节流
- 将这个字节流代表的静态存储结构转化为方法区(元空间)的运行时数据结构
- 在内存中生成一个代表这个类的java.lang.Class对象,作为方法区这个类的各种数据的访问入口
注意:数组类本身不通过类加载器创建,而是由JVM直接创建的。
2.验证
验证是连接阶段的第一步,是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害虚拟机自身安全。
验证阶段大致有文件格式验证,元数据验证,字节码验证,符号引用验证四个步骤。
- 文件格式验证:验证字节流是否符合Class文件格式规范,如Class文件是否以0xCAFEBABE开头,主次版本是否在当前虚拟机的处理范围内,常量池是否有不支持的类型等。
- 元数据验证:对字节码进行语义分析,如这个类是否继承了不允许继承的类等
- 字节码验证:验证过程最复杂的一个阶段,通过数据流和控制流分析程序语义是否合法和符合逻辑。
- 符号引用验证:对常量池中各种符号引用进行匹配校验,确保下面解析这一步可以正确执行。
3.准备
这一阶段为类变量在方法区(元空间)中分配内存并设置类变量初始值。
需要注意下面两点:
-
此阶段进行内存分配的只包括被static修饰的类变量,不包括实例变量(实例变量会在对象实例化时随对象一起分配在Java堆中)
-
变量对应的初始值如下图
- 若类变量被final修饰,也就是类的静态常量,此时会直接赋定义的值
4.解析
这步就是虚拟机将常量池内的符号引用替换为直接引用的过程。
符号引用:符号引用以一组符号来描述所引用的目标,符号可以是任何形式的字面量,只要使用时能无歧义地定位到目标即可。符号引用与虚拟机实现的内存布局无关,引用的目标并不一定已经加载到了内存中。
直接引用:直接引用可以是直接指向目标的指针、相对偏移量或是一个能间接定位到目标的句柄。直接引用是与虚拟机实现的内存布局相关的,同一个符号引用在不同虚拟机实例上翻译出来的直接引用一般不会相同。如果有了直接引用,那说明引用的目标必定已经存在于内存之中了。
- 解析的对象:类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符
5.初始化
这是类加载过程的最后一步,它根据程序员写的程序中制定的主观计划来初始化类变量和其他资源,也就是执行类构造器()方法的过程。在执行类构造器前首先需要生成它,所以初始化这个阶段分为生成<clinit>()
方法和执行<clinit>
()方法两步。