类的链接阶段是加载之后、初始化之前的固定环节，包含验证、准备、解析三个不可跳过子阶段：验证校验字节码合法性与安全性，准备为静态变量分配内存并设默认值，解析将符号引用转为直接引用。

类的链接阶段是加载之后、初始化之前的关键环节，字节码校验就发生在这个阶段的开头，由 JVM 自动执行，不是开发者手动操作的过程。

链接阶段包含三个不可跳过的子步骤

链接（Linking）是类加载流程中承上启下的阶段，紧接在“加载”之后，它把已读入内存的字节码真正纳入 JVM 运行时体系。它分为三个子阶段，顺序固定、不可省略：

• 验证（Verification）：检查字节码是否合法、安全、符合 JVM 规范
• 准备（Preparation）：为类的静态变量分配内存，并设为默认值（如 0、null、false）
• 解析（Resolution）：把常量池中的符号引用（如类名、方法名、字段名）替换成运行时可直接使用的直接引用（如内存地址）

字节码校验不是类加载器的工作

很多人误以为自定义 ClassLoader 要负责验证字节码，其实不然。类加载器只做一件事：把字节流交给 JVM。真正的校验由 JVM 内置的字节码校验器（Verifier）完成，发生在 defineClass() 返回之后、resolveClass() 调用之前。

OpenJDK 24 Windows x64

OpenJDK 24 Windows x64 官方参考实现（24+36），适合 Windows 环境进行 Java 开发、编译、运行和版本兼容性验证。

下载

• 哪怕你重写 findClass()、用 Unsafe.defineAnonymousClass()，校验依然自动触发
• Bootstrap / Platform / Application 三类内置加载器都不参与语义或结构检查
• 校验失败会立即中断流程，抛出 ClassFormatError、VerifyError 或 IncompatibleClassChangeError

四层递进式校验内容很具体

验证不是笼统检查，而是分四个层次逐级深入，覆盖从文件头到每条指令的细节：

• 文件格式验证：魔数是否为 0xCAFEBABE、主次版本号是否被当前 JVM 支持、常量池结构是否完整无越界
• 元数据验证：final 类是否被继承、抽象类是否缺实现、字段/方法签名是否合规
• 字节码验证：每条指令执行时操作数栈和局部变量表是否类型匹配、跳转目标是否落在有效指令边界、checkcast 是否可能引发类型错误
• 符号引用验证：引用的类是否存在、private 方法是否被非法调用、接口方法是否被正确实现

开发者能做的其实是预防和排查

你不能绕过或关闭验证，但可以提前规避常见问题：

• 用标准 javac 编译，避免手写或篡改字节码
• 用 javap -v 查看编译后结构，确认常量池、方法签名、版本号等是否异常
• 在 CI 流程中集成 ASM 的 CheckClassAdapter 或 Byte Buddy 的 ClassLoadingAssertion，对生成的 class 做预校验
• 遇到 VerifyError 时，优先检查是否混用了不同 JDK 版本编译的 class（比如用 JDK 21 加载 JDK 23 编译的类）

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南