验证阶段是连接的第一步，核心目标是确保.class字节流安全合规：分四层检查——文件格式验证（魔数、版本号、常量池结构）、元数据验证（继承关系、final约束、访问权限）、字节码验证（操作数栈匹配、控制流完整性）、符号引用验证（引用存在性与访问权限）。
Java 类加载机制中，验证阶段是连接（Linking）的第一步，核心目标是确保被加载的 .class 文件字节流安全、合规、可执行，防止恶意或错误代码危害 JVM 运行。它不是一次性的“对错判断”，而是分层递进的四类检查，每类聚焦不同维度：
文件格式验证（Class 文件结构合规性）
这是最底层的“语法扫描”，确保字节流能被 JVM 正确读取和解析： - 检查魔数是否为 `0xCAFEBABE`（.class 文件的固定开头） - 校验主版本号与次版本号是否在当前 JVM 支持范围内（如 JDK 17 支持 55.0 及以下，不接受 60.0） - 验证常量池中各项常量的 tag 标志是否合法（如 `CONSTANT_MethodRef` 是否指向有效的类/方法描述符） - 检查常量池索引是否越界、是否存在指向不存在常量的引用 - 确认 `CONSTANT_Utf8_info` 中的字节序列符合 UTF-8 编码规范（避免非法多字节序列） - 检查整个 class 文件结构是否完整，无缺失字段或非法填充元数据验证（Java 语言语义合法性）
这一层脱离字节码细节，站在 Java 语言规范角度检查类定义是否“说得通”： - 类是否有合法父类（除 `java.lang.Object` 外，所有类必须有且仅有一个直接父类） - final 类是否被继承、final 方法是否被重写 - 抽象类是否包含抽象方法，非抽象类是否实现了所有接口方法和父类抽象方法 - 字段与方法签名是否与父类/接口产生冲突（如试图覆盖 final 字段、重载时参数类型不构成有效区分） - 访问控制修饰符是否合理（如包私有类被其他包的类继承）字节码验证（运行时逻辑安全性）
这是最复杂的阶段，对方法体内的字节码指令进行数据流与控制流分析，确保“不会崩”： - 操作数栈与局部变量表的类型匹配：例如 `iload_0` 加载 int 后，后续不能跟 `dadd`（double 加法） - 指令跳转是否可达、是否存在不可达代码（影响控制流图完整性） - 方法返回类型是否与声明一致（如 `int` 方法是否总以 `ireturn` 结束） - 对象创建与初始化是否完整（如 `new` 后是否一定调用 `符号引用验证（链接前的引用可达性）
发生在解析阶段之前或初期，确保后续解析能成功完成： - 符号引用（如类名、字段名、方法名及描述符）所指向的目标是否真实存在（类是否已加载、字段/方法是否声明） - 当前类对目标成员是否有访问权限（如私有字段能否被外部类访问、包级访问是否跨包） - 调用的接口方法是否在目标类中真正实现（避免 `IncompatibleClassChangeError`） - 静态字段或方法的引用是否与实际定义类型兼容（如 `getstatic` 引用的字段是否为 static）这些检查共同构成一道安全屏障——既防篡改、也防误编译，还兼顾语言语义与运行时行为。JVM 实现可选择性放宽部分验证（如 -Xverify:none），但生产环境默认全部启用。不复杂但容易忽略
