jvm类加载过程严格按加载、验证、准备、解析、初始化五阶段执行:加载将字节流转为class对象;验证确保字节码安全;准备为static变量分配内存并设默认值;解析将符号引用转直接引用;初始化执行()方法运行java逻辑。

Java 源码解析中关注 JVM 类加载过程,核心是理解字节码如何一步步变成可执行的运行时类型。这个过程不是由 Java 代码直接控制,而是由 JVM 在运行时严格按序驱动的五个关键阶段:加载、验证、准备、解析、初始化。每个阶段职责明确,且多数步骤由 JVM 自动完成,开发者通常只需在加载和初始化阶段有感知(比如自定义类加载器或静态块执行)。
加载:把 .class 字节流变成 Class 对象
这是整个流程的起点,目标是获取二进制数据并建立内存映射入口。
- 根据全限定名(如 java.lang.String)定位资源:可能是本地 class 文件、JAR 包里的条目、网络 URL,甚至动态生成的字节码(如 ASM 或 Javassist 生成)
- 读入字节流后,在方法区(JDK 8+ 是元空间)构建类的运行时数据结构(如常量池、字段表、方法表等)
- 在堆中创建一个 java.lang.Class 实例,作为该类所有元数据的统一访问入口
- 数组类不走类加载器——JVM 直接生成 Class 对象;而接口、普通类必须经过加载器(包括 Bootstrap、Extension、Application,以及自定义加载器)
验证:确保字节码安全合规
这是 JVM 的“安全守门人”,防止恶意或损坏的 class 文件破坏虚拟机稳定性。
Java JDK 25 来自 OpenJDK 官方归档,版本为 JDK 25,本条下载地址已指向官方 Windows x64 zip 安装包直链,适合调试旧项目或兼容旧版 Java 运行环境。
- 文件格式验证:检查魔数是否为 0xCAFEBABE、主次版本号是否支持(如 JDK 17 要求 ≥ 55.0)、常量池是否结构完整
- 元数据验证:确认类是否继承了 final 类、是否覆盖了 final 方法、父类是否存在、是否符合访问控制规则
- 字节码验证:分析方法体内的指令流,确保操作数栈不会溢出、跳转指令目标有效、类型使用合法(如不能把 String 当 int 用)
- 符号引用验证:检查常量池中指向其他类/字段/方法的符号引用,是否真实存在、权限是否允许(如 private 方法不可被外部解析调用)
准备与解析:分配内存和绑定引用
这两个阶段常被一起理解,但职责不同:准备关注“静态变量怎么放”,解析关注“符号怎么认得清”。
- 准备阶段只处理 static 变量(类变量):为其在方法区分配内存,并设为默认值(int → 0、Object → null)。注意:static final 基本类型或字符串常量(编译期确定的)在此阶段就直接赋值,不等到初始化
- 解析阶段将常量池中的符号引用(如 "java/lang/Object#toString")转换为直接引用(如内存地址或句柄)。它不强制在初始化前完成——某些解析(如 invokedynamic)可延迟到首次使用时才触发,这是实现 Java 动态语言特性的基础
初始化:执行 方法,真正运行 Java 逻辑
这是唯一涉及 Java 源码语义的阶段,也是开发者最能感知的部分。
- JVM 自动生成
() 方法,按源码顺序合并所有 static 变量赋值语句和 static {} 块 - 若某 static 变量依赖其他类的静态方法(如 static A a = B.create();),则会触发 B 类的初始化(前提是 B 尚未初始化)
- 初始化有严格触发条件,例如:new 对象、读写 static 字段(final 除外)、调用 static 方法、反射访问、子类初始化时父类尚未初始化、main 方法所在类启动时
- 父类总是先于子类初始化,接口默认方法(default)的实现类初始化时,其接口也需提前初始化
整个过程不可逆,且除加载外其余阶段均由 JVM 内部完成。理解这些细节,有助于排查 NoClassDefFoundError、IncompatibleClassChangeError、VerifyError 等底层异常,也能更好设计热部署、插件化、字节码增强等高级场景。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南










