JVM——类加载（Class Loading）

最新推荐文章于 2022-09-15 14:09:31 发布

LZing_

最新推荐文章于 2022-09-15 14:09:31 发布

阅读量639

点赞数

分类专栏： Java 文章标签： JVM

本文链接：https://blog.csdn.net/qq_39682377/article/details/80548802

版权

Java 专栏收录该内容

4 篇文章 0 订阅

订阅专栏

Java虚拟机中的类的加载可分为加载、验证、准备、解析、初始化五个过程，下面对这几个过程进行详细分析。

加载

此过程中虚拟机需要完成以下3件事：

1）通过一个类的全限定明来获取定义此类的二进制字节流；

2）将这个字节流所代表的静态结构转化为方法区的运行时数据结构；

3）在内存中生成一个代表这个类的java.lang.Class对象，作为方法区这个类的各种数据的访问入口。

验证

验证是连接阶段的第一步，这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求，并且不会危害虚拟机自身的安全。大致有以下4个阶段的检验动作：

1.文件格式验证：验证字节流是否符合Class文件格式的规范，并且能被当前版本的虚拟机处理。包含验证点如是否以魔术0xCAFEBABE开头、主次版本号是否在当前虚拟机的处理范围之内、常量池中的常量是否有不被支持的类型、指向常量的各种索引值中是否有指向不存在的常量或不符合类型的常量等。

2.元数据验证：对字节码描述的信息进行语义分析，以保证其描述的信息符合Java语言规范的要求。包含验证点：是否有父类（除了java.lang.Object之外，所有的类都应有父类）、父类是否继承了不允许继承的类（被final修饰的类）、如果不是抽象类，是否实现了其父类或接口之中要求实现的所有方法、类中的字段、方法是否与父类产生矛盾。

3.字节码验证：验证过程中最复杂的一个阶段，主要目的是通过数据流和控制流分析，确定程序语义是合法的、符合逻辑的。

4.符号引用验证：发生在虚拟机将符号引用转化为直接引用的时候（解析阶段），可看成是类自身以外（常量池中各种符号的引用）的信息进行匹配性验证，包含符号引用中通过字符串描述符的全限定名是否能找到相应的类、指定类中是否存在符合方法的字段描述符以及简单名称所描述的方法和字段、符号引用中的类、字段、方法的访问性（private、protected、public、default）

准备

准备阶段是正式为类变量分配内存并设置类变量初始值的阶段，这些变量所使用的内存都将在方法区中进行分配。这时候进行内存分配的仅包括类变量（被static修饰的变量），而不包括实例变量，实例变量将会在对象实例化时随着对象一起分配在堆中。其次，这里所说的初始值“通常情况”下是数据类型的零值，假设一个类变量的定义为：

    public static int value=123;

那变量value在准备阶段过后的初始值为0而不是123。因为这时候尚未开始执行任何java方法，而把value赋值为123的putstatic指令是程序被编译后，存放于类构造器()方法之中，所以把value赋值为123的动作将在初始化阶段才会执行。

至于“特殊情况”是指：public static final int value=123，即当类字段的字段属性是ConstantValue时，会在准备阶段初始化为指定的值，所以标注为final之后，value的值在准备阶段初始化为123而非0.

解析

解析阶段是虚拟机将常量池内的符号引用替换为直接引用的过程。解析动作主要针对类或接口、字段、类方法、接口方法、方法类型、方法句柄和调用点限定符7类符号引用进行。

初始化

类加载的最后一步。在准备阶段，变量已经赋过一次系统要求的初始值，而在初始化阶段，则根据程序猿通过程序制定的主观计划去初始化类变量和其他资源，或者说：初始化阶段是执行类构造器<clinit>()方法的过程.

<clinit>()方法是由编译器自动收集类中的所有类变量的赋值动作和静态语句块static{}中的语句合并产生的，编译器收集的顺序是由语句在源文件中出现的顺序所决定的，静态语句块只能访问到定义在静态语句块之前的变量，定义在它之后的变量，在前面的静态语句块可以赋值，但是不能访问。如下：

public class Test {

static {

i=0;

System.out.print(i); //无法访问，会提示“非法向前访问”

}

static int i=1;

}

虚拟机规范严格规定了有且只有5中情况（jdk1.7）必须对类进行“初始化”（而加载、验证、准备自然需要在此之前开始）：

遇到new,getstatic,putstatic,invokestatic这失调字节码指令时，如果类没有进行过初始化，则需要先触发其初始化。生成这4条指令的最常见的Java代码场景是：使用new关键字实例化对象的时候、读取或设置一个类的静态字段（被final修饰、已在编译器把结果放入常量池的静态字段除外）的时候，以及调用一个类的静态方法的时候。
使用java.lang.reflect包的方法对类进行反射调用的时候，如果类没有进行过初始化，则需要先触发其初始化。
当初始化一个类的时候，如果发现其父类还没有进行过初始化，则需要先触发其父类的初始化。
当虚拟机启动时，用户需要指定一个要执行的主类（包含main()方法的那个类），虚拟机会先初始化这个主类。
当使用jdk1.7动态语言支持时，如果一个java.lang.invoke.MethodHandle实例最后的解析结果REF_getstatic,REF_putstatic,REF_invokeStatic的方法句柄，并且这个方法句柄所对应的类没有进行初始化，则需要先出触发其初始化。

参考文献：

博客：Java虚拟机类加载机制

《深入理解Java虚拟机：JVM高级特性与最佳实践》（第二版周志明著）