java验证阶段分四层检查：文件格式验证（魔数、版本号等）、元数据验证（语义规则）、字节码验证（类型推断与控制流分析）、符号引用验证（跨类访问权限），全程静态分析，失败即终止加载。
Java 中验证阶段通过四层递进式检查，在类加载的连接环节主动拦截非法字节码，确保其结构合规、语义合法、运行安全。它不执行代码，而是基于静态分析与类型推断，在类真正使用前就堵住破坏 JVM 运行时状态的风险。
文件格式验证：守住字节码的“身份证”底线
JVM 首先确认这个 .class 文件是不是一个合法的 Java 类文件：
- 检查魔数是否为
0xCAFEBABE，不是则直接拒收 - 核对主次版本号是否在当前 JVM 支持范围内（如 JDK 21 不接受 class 版本 66+）
- 扫描常量池是否存在损坏条目、非法 UTF-8 编码或越界索引
- 验证字段表、方法表、属性表结构是否对齐，访问标志是否合理（如接口中出现
static方法会被拦下）
这一步失败抛出ClassFormatError，属于最基础的“格式安检”。
元数据验证：校验 Java 语言层面的语义规则
在确认文件格式无误后，JVM 分析类的结构语义：
- final 类是否被继承，final 方法是否被重写
- 抽象类是否实现了全部抽象方法
- 字段和方法签名是否符合 Java 规范（如
volatile和final不能同时修饰同一字段） - 类是否重复实现同一接口，或继承了不允许的父类
该阶段不涉及指令执行，但已开始保障 Java 语言契约不被破坏。
字节码验证：最核心的安全闸门，模拟执行做类型推断
这是耗时最长、逻辑最严密的一环，JVM 对每个方法的字节码逐条建模分析：
- 模拟控制流路径，确保每条跳转指令（如
goto、if_icmpeq）目标地址落在合法指令边界内 - 跟踪操作数栈与局部变量表在每个分支合并点的类型状态，保证类型唯一性（例如
iload_0后不能跟areturn） - 检查方法调用参数数量、类型、返回值是否兼容，避免运行时
ClassCastException提前暴露 - 验证对象创建、强制转换是否满足继承关系，防止类型系统被绕过
该阶段依赖StackMapTable属性提供类型快照；若缺失或错误（如混淆工具删掉它），高版本 JDK 直接抛VerifyError。
符号引用验证：把好跨类访问的最后一道关
在解析符号引用（如 invokestatic java/lang/System.currentTimeMillis）前，JVM 确保：
- 引用的类能否被当前类加载器成功加载并链接
- 调用的方法或访问的字段具有足够访问权限（
private方法不能被外部调用，包私有类不可跨包访问） - 接口方法是否被正确实现，避免因版本不一致导致
IncompatibleClassChangeError
这步失败常表现为IllegalAccessError或NoSuchMethodError，是模块化与多加载器场景下的关键防线。
验证失败即终止加载，不给恶意或错误字节码任何执行机会。它不是靠“运行看结果”，而是靠“未运行先推理”，从字节码结构、继承关系、指令流到跨类访问，层层设防。不复杂但容易忽略
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
