JVM_14_类加载的过程

本文详细介绍了Java虚拟机中类加载的全过程,包括加载、验证、准备、解析和初始化五个阶段,以及每个阶段的具体任务和作用。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

类加载过程


下面我们看下Java虚拟机中类加载的全过程,也就是加载、验证、准备、解析和初始化这5个阶段所执行的具体动作。


1. 加载

"加载"是"类加载"(Class Loading)过程的一个阶段(简单地说,就是"加载"包含在"类加载"之中..)


在加载阶段,虚拟机需要完成以下三件事情:

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

         (获取类的二进制字节流)


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

         (将二进制字节流转换为运行时数据结构)


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

         (生成类对应的Class对象)

         虚拟机规范的这三点要求其实并不算具体,因此虚拟机实现与具体应用的灵活度都是相当大的。


举个栗子:

"通过一个类的全限定名来获取定义此类的二进制字节流"这条;

它没有指明二进制字节流要从一个Class文件中获取,准确的说是根本没有指明从哪里获取、怎么获取。


例如你可以按照下面方式获取:

○ 从ZIP包中读取,这很常见,最终成为日后JAR、EAR、WAR格式的基础

○ 从网络中读取,最典型的应用是Applet

○ 运行时计算生成,最典型的是动态代理技术,在java.lang.reflect.Proxy中,就是使用ProxyGenerator.generateProxyClass来为特定接口生成形式为"*$Proxy"的代理类的二进制字节流。

○ 由其他文件生成,典型的场景是JSP应用,即由JSP文件生成对应的Class文件。

○ 从数据库中读取,这种场景较少


相对于类加载的其他阶段,一个非数组类的加载阶段(加载阶段中获取类的二进制字节流的动作)是开发人员可控性最强的,因为加载阶段既可以使用系统提供的引导类加载器来完成,也可以由用户自定义的类加载器去完成

开发人员可以通过定义自己的类加载器去控制字节流的获取方式(即重写一个类加载器的loadClass()方法)


对于数组类而言,情况就有所不同,数组类本身不通过类加载器创建,它是由Java虚拟机直接创建的。

但数组类与加载器仍然有很密切的关系,因为数组类的元素类型(指的是数组去掉所有维度的类型)最终是要靠加载器去创建。


加载阶段完成后,虚拟机外部的二进制字节流就按照虚拟机所需的格式存储在方法区之中,方法区中的数据存储格式由虚拟机实现自行定义,虚拟机规范未规定此区域的具体数据结构。

然后在内存中实例化一个java.lang.Class类的对象,这个对象将作为程序访问方法区中 这些类型数据的外部接口。

加载阶段与连接阶段的部分内容是交叉进行对的,加载阶段尚未完成,连接阶段可能已经开始,但这些夹在加载阶段之中进行的动作,

仍然属于连接阶段的内容,这两个阶段的开始时间仍然保持着固定的先后顺序。




2. 验证

验证是连接阶段的第一步,这一阶段的目的是为了确保Class文件的字节流中包含的信息符合当前虚拟机的要求,并且不会危害到虚拟机自身的安全。


验证阶段是非常重要的,这个阶段是否严谨,直接决定了Java虚拟机是否能接受恶意代码的攻击,从执行性能的角度上讲,验证阶段的工作量在虚拟机的类加载子系统中占了相当大的一部分。


如果验证到输入的字节流不符合Class文件格式的约束,虚拟机就应当抛出一个java.lang.VerifyError异常或其子类异常。


根据《Java Virtual Machine Specification Java SE 7 中文版》中的资料,从整体上看,验证阶段大致上分为以下4检验动作:


a. 文件格式校验

这一阶段要验证字节流是否符合Class文件格式的规范,并且能被当前版本的虚拟机处理。

验证点:

® Class文件是否以魔数0xCAFEBABE开头。

® 主、次版本号是否在当前虚拟机处理范围之内。

® 常量池中的常量是否又不被支持的常量类型。

® Class文件中各个部分及文件本身是否有被删除的或附加的其他信息。

® ............

第一阶段的验证还有好多..上面只是一小部分....

这阶段的验证是基于二进制字节流进行的,只有通过了这个阶段的验证,字节流才会进入内存的方法区中进行存储

所以 后面三个验证阶段全是基于方法区的存储结构进行的,不会再直接操作字节流


b. 元数据验证

第二阶段是对字节码描述的信息进行语义分析,保证其描述的信息符合Java语言规范的要求

验证点:

® 这个类是否有父类(除了java.lang.Object类之外,所有的类都应当有父类)

® 这个类的父类是否继承了不允许被继承的类(被final修饰的类)

® 类中的字段、方法是否与父类产生矛盾(例如:覆盖了父类的final字段,或者出现不符合规则的方法重载...)

® .......

第二阶段主要是对类的元数据信息进行语义校验,保证不存在不符合Java语言规范的元数据信息。


c. 字节码验证

第三阶段是整个验证过程中最复杂的一个阶段,主要目的是通过数据流和控制流分析,确定程序语义是合法、符合逻辑的

这个阶段会对类的方法体进行校验分析,保证校验类的方法在运行时不会做出危害虚拟机安全的事情,栗如:

® 在操作栈放置一个int类型的数据,使用时却按long类型加载如本地变量表中。

® 保证跳转指令不会跳转到方法体以外的字节码指令上。

® 保证方法体中得到类型转换是有效的。

® ........

如果一个类方法体没有通过字节码验证,那肯定是有问题的;

但如果一个方法体通过了字节码验证,也不能说其一定是安全的


d. 符号引用验证

最后一个阶段验证发生在虚拟机将符号引用转换为直接引用的时候,这个转化动作将在第三阶段——解析阶段中发生。

符号引用可以看做是对类自身以外(常量池中的各个符号引用)的信息进行匹配性校验


校验内容:

® 符号引用中通过字符串描述的全限定名是否能找到对应的类。

® 在指定类中是否存在符合方法的字段描述符以及简单名称所描述得到方法和字段。

® 符号引用中的类、字段、方法的访问性(private、protected、public、default)是否可被当前类访问。

® .........


符号引用验证的目的是确保解析动作能正常执行。

对于虚拟机的类加载机制来说,验证阶段是一个非常重要的、但不一定必要(因为对程序运行期没有任何影响)的阶段

如果所运行的全部代码都已经被反复使用和验证过,那么在实施阶段就可以考虑使用"-Xverify:none"参数来关闭大部分的类验证措施,以缩短虚拟机类加载的时间。



3. 准备

准备阶段是正式为类变量分配内存并设置类变量初始值的阶段,这些变量所使用的内存都将在方法区进行分配


这时候进行内存分配的仅包括类变量(被static修饰的变量),而不包括实例变量,实例变量将会在对象实例化时随着对象一起分配在Java堆中


其次,上面所说的初始值,在"通常情况"下,是数据类型的零值。

举个栗子:

private static int value = 123;

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


下面是基本数据类型的初始值:

数据类型

零值

int

0

long

0L

short

(short)0

char

'\u0000'

byte

(byte)0

boolean

false

float

0.0f

double

0.0d

reference

null


上面提到,在"通常情况"下,初始值是零值,那相对的会有一些"特殊情况":如果类字段得到字段属性表中存在ConstantValue属性,那在准备阶段变量value就会被初始化微ConstantValue属性所指定的值。


举个栗子:

public static final int value = 123;

上面这个代码,在编译时Javac就会将value生成ConstantValue属性,在准备阶段虚拟机就会根据ConstantValue的设置,将value赋值为123



4. 解析

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



5. 初始化

类初始化阶段是类加载过程的最后一步,前面的类加载过程中,除了在加载阶段用户应用程序可以通过自定义类加载器参与之外,其余动作完全由虚拟机主导和控制。

到了初始化阶段,才真正开始执行类中定义的Java程序代码(或者说是字节码)

在准备阶段,变量已经赋过一次系统要求的初始值,而在初始化阶段,则根据程序员通过程序制定的主观计划去初始化变量和其他资源。


### JVM 类加载机制详细过程 JVMJava虚拟机)的类加载机制是Java程序运行的基础之一,它负责将编译后的 `.class` 文件加载到内存中,并对这些数据进行校验、解析和初始化,最终形成可以直接被JVM使用的Java型。整个过程可以分为七个阶段:加载、验证、准备、解析、初始化、使用和卸载,其中前五个阶段统称为类加载过程。 #### 加载(Loading) 加载阶段是类加载过程的第一个阶段,主要任务是通过的全限定名获取其对应的二进制字节流,并将这些字节流转化为方法区中的运行时数据结构。同时,JVM会在堆中创建一个 `java.lang.Class` 对象,作为该访问数据的入口。 #### 验证 验证阶段的目的是确保Class文件的字节流中包含的信息符合JVM规范的要求,避免JVM受到恶意代码的攻击。验证过程包括文件格式验证、元数据验证、字节码验证以及符号引用验证。 #### 准备 准备阶段的主要任务是为的静态变量分配内存,并为其设置初始值。这个初始值通常是零值(如 `0`、`null`),而不是代码中显式赋值的值。显式赋值会在初始化阶段完成。 #### 解析 解析阶段是将常量池中的符号引用替换为直接引用的过程。符号引用是以一组符号来描述所引用的目标,而直接引用则是直接指向目标的指针、相对偏移量或一个能间接定位到目标的句柄。解析阶段并不一定在初始化之前完成,某些解析操作可能会延迟到初始化之后进行,这是为了支持Java的动态绑定特性。 #### 初始化 初始化阶段是类加载过程的最后一个阶段,它负责执行构造器 `<clinit>` 方法。`<clinit>` 方法是由编译器自动收集中的所有静态变量的赋值动作和静态代码块中的语句合并生成的,代码会按照书写顺序依次执行。如果的父尚未初始化,JVM会先触发其父的初始化过程,以确保继承链的完整性。此外,JVM会确保 `<clinit>` 方法在多线程环境中被正确加锁和同步,以保证线程安全。 例如,在以下代码中,`ConstClass` 的静态代码块不会在 `NotInit` 的 `main` 方法执行时被触发初始化,因为 `HELLOWORLD` 是一个 `static final` 常量,其值在编译期就已经确定,并直接嵌入到调用的常量池中: ```java public class ConstClass { static { System.out.println("常量初始化!"); } public static final String HELLOWORLD = "hello world!"; } public class NotInit { public static void main(String[] args) { System.out.println(ConstClass.HELLOWORLD); } } ``` #### 类加载JVM中的类加载器分为以下几: 1. **启动类加载器(Bootstrap ClassLoader)**:负责加载JVM核心库(如 `rt.jar` 中的),通常是用C++实现的,而不是Java代码。 2. **扩展类加载器(Extension ClassLoader)**:负责加载Java的扩展库(如 `jre/lib/ext` 目录下的)。 3. **系统类加载器(System ClassLoader)**:负责加载应用程序的路径(ClassPath)上的,通常是最常用的类加载器。 4. **自定义类加载器(Custom ClassLoader)**:用户可以通过继承 `ClassLoader` 来实现自定义的类加载逻辑。 类加载器之间遵循 **双亲委派模型**,即当一个类加载器收到类加载请求时,它会首先委托给父类加载器去加载,只有在父类加载器无法完成加载时,才会尝试自己加载。这种机制可以确保的唯一性和安全性。 #### 示例代码 以下是一个简单的类加载器示例,展示了如何通过自定义类加载加载: ```java public class CustomClassLoader extends ClassLoader { @Override protected Class<?> findClass(String name) throws ClassNotFoundException { byte[] classData = loadClassData(name); if (classData == null) { throw new ClassNotFoundException(); } else { return defineClass(name, classData, 0, classData.length); } } private byte[] loadClassData(String className) { // 实现加载逻辑,例如从文件或网络读取字节码 return new byte[0]; } } ``` #### 相关问题 - 类加载的双亲委派模型是如何工作的? - 如何实现一个自定义的类加载器? - 为什么 `static final` 常量不会触发的初始化? - 类加载过程中验证阶段的作用是什么? - 解析阶段为什么可以延迟到初始化之后?
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值