类的链接阶段是加载之后、初始化之前的固定环节，包含验证、准备、解析三个不可跳过子阶段：验证校验字节码合法性与安全性，准备为静态变量分配内存并设默认值，解析将符号引用转为直接引用。
类的链接阶段是加载之后、初始化之前的关键环节，字节码校验就发生在这个阶段的开头，由 JVM 自动执行，不是开发者手动操作的过程。
链接阶段包含三个不可跳过的子步骤
链接（Linking）是类加载流程中承上启下的阶段，紧接在“加载”之后，它把已读入内存的字节码真正纳入 JVM 运行时体系。它分为三个子阶段，顺序固定、不可省略：
- 验证（Verification）：检查字节码是否合法、安全、符合 JVM 规范
- 准备（Preparation）：为类的静态变量分配内存，并设为默认值（如 0、null、false）
- 解析（Resolution）：把常量池中的符号引用（如类名、方法名、字段名）替换成运行时可直接使用的直接引用（如内存地址）
字节码校验不是类加载器的工作
很多人误以为自定义 ClassLoader 要负责验证字节码，其实不然。类加载器只做一件事：把字节流交给 JVM。真正的校验由 JVM 内置的字节码校验器（Verifier）完成，发生在 defineClass() 返回之后、resolveClass() 调用之前。
- 哪怕你重写 findClass()、用 Unsafe.defineAnonymousClass()，校验依然自动触发
- Bootstrap / Platform / Application 三类内置加载器都不参与语义或结构检查
- 校验失败会立即中断流程，抛出 ClassFormatError、VerifyError 或 IncompatibleClassChangeError
四层递进式校验内容很具体
验证不是笼统检查，而是分四个层次逐级深入，覆盖从文件头到每条指令的细节：
立即学习“Java免费学习笔记（深入）”；
- 文件格式验证：魔数是否为 0xCAFEBABE、主次版本号是否被当前 JVM 支持、常量池结构是否完整无越界
- 元数据验证：final 类是否被继承、抽象类是否缺实现、字段/方法签名是否合规
- 字节码验证：每条指令执行时操作数栈和局部变量表是否类型匹配、跳转目标是否落在有效指令边界、checkcast 是否可能引发类型错误
- 符号引用验证：引用的类是否存在、private 方法是否被非法调用、接口方法是否被正确实现
开发者能做的其实是预防和排查
你不能绕过或关闭验证，但可以提前规避常见问题：
- 用标准 javac 编译，避免手写或篡改字节码
- 用 javap -v 查看编译后结构，确认常量池、方法签名、版本号等是否异常
- 在 CI 流程中集成 ASM 的 CheckClassAdapter 或 Byte Buddy 的 ClassLoadingAssertion，对生成的 class 做预校验
- 遇到 VerifyError 时，优先检查是否混用了不同 JDK 版本编译的 class（比如用 JDK 21 加载 JDK 23 编译的类）
