Java类加载验证阶段是JVM自动执行的安全审查，包括文件格式验证（魔数、版本、常量池等）、元数据验证（继承关系、访问修饰符等）、字节码验证（控制流与类型安全）和符号引用验证（存在性与访问权限），任一失败即抛出ClassFormatError、VerifyError等异常。

Java 中类加载的验证阶段，不是让你写代码去“做验证”，而是 JVM 在把字节码加载进内存后、还没开始分配内存或执行之前，自动进行的一轮安全审查。它检查的是字节码本身是否合法、结构是否合规、语义是否自洽，目标是防止恶意或错误的类破坏虚拟机运行环境。

检查字节码格式是否符合规范

这是最基础的一关，只看文件“长得对不对”：

• 魔数是不是 0xCAFEBABE，不是就直接拒收
• 主次版本号是否在当前 JVM 支持范围内（比如 JDK 21 不认 class 版本 66+）
• 常量池里有没有非法类型、损坏的 UTF-8 字符、越界索引
• 字段表、方法表、属性表的结构是否对齐，访问标志是否合理（如接口里声明了 static 方法）

检查类的结构语义是否合法

这一层叫“元数据验证”，关注继承关系和定义逻辑是否违反 Java 规则：

JavaStoryDevelop

你接手一个需求时，是不是经常这样："改一个小字段 → 结果把不相关的代码也改了"、"需求说得很模糊 → 做着做着发现跑偏了"、"数据库加个字段 → 上线才发现漏了数据兼容"、"做了个新功能 → 一个月后自己都忘了当时怎么设计的"、"写到一半被中断 → 再回来不知道从哪继续"；这个 Skill 就是专门解决这些问题的。 它会自动探测你的项目环境（JDK、Spring Boot、ORM、数据库、前端框架），记在

下载

• 当前类是否试图继承一个 final 类（如 extends String）
• 父类引用是否指向了一个 interface（super_class 必须是 class 类型）
• 是否存在循环继承（A→B→C→A），JVM 会在解析时检测并报错
• 非 Object 类是否最终能追溯到 java.lang.Object
• 子类中同名方法若 descriptor 不兼容（如返回类型不满足协变），且未正确标记为 override，也会被拦下

检查每个方法的字节码能否安全执行

这是最复杂的环节，JVM 模拟执行流程，推断操作数栈和局部变量的类型状态：

立即学习“Java免费学习笔记（深入）”；

• 跳转指令的目标地址是否落在合法指令边界内
• 操作数栈不会上溢或下溢（比如 push 了 int 却用 lload 取 long）
• 局部变量读写类型一致（不能把 String 存进声明为 int 的 slot）
• 类型转换指令（如 checkcast）是否可能引发运行时类型错误
• 分支合并点（如 if-else 后的汇合处）的栈与变量类型必须统一

检查符号引用是否可访问、可解析

当类里引用了其他类、字段或方法，JVM 要确认这些“名字”背后真有对应实体，并且你有权用：

• 引用的类是否能在当前类路径中找到，加载器能否成功链接
• 调用的方法是否具有足够权限（private 方法不能被外部 invokestatic）
• 访问的字段是否对当前类可见（跨包访问 default 成员会失败）
• final 字段是否在构造器外被赋值（校验阶段就能发现）
• 实现的接口中若存在冲突的 default 方法且未覆盖，直接抛 IncompatibleClassChangeError