元数据验证检查类结构合法性，字节码验证确保方法运行安全；前者关注静态语义如继承关系与修饰符，后者分析指令流如栈操作与类型转换；二者时机、粒度和错误类型均不同。
验证阶段是类加载过程中保障安全与合规的关键环节，其中元数据验证和字节码验证虽同属验证子阶段，但关注对象、检查层次和目标完全不同。简单说：元数据验证管“结构对不对”，字节码验证管“运行稳不稳”。
元数据验证：聚焦类的静态语义合法性
它在类结构层面做“语法+规则”审查，不涉及任何指令执行逻辑，核心是判断这个类在Java语言规范下是否“合法存在”。
- 检查类是否有父类（除 Object 外必须有父类），是否非法继承了 final 类
- 确认接口是否实现了所有抽象方法，抽象类是否声明为 abstract
- 校验字段、方法的访问修饰符是否合理（如 private 方法被外部类调用、static 方法中引用 this）
- 验证类继承链是否完整、常量池中的类/字段/方法符号是否存在基础定义
字节码验证：深入方法内部确保运行时安全
它针对每个方法的字节码指令流做动态分析，模拟执行路径，防止虚拟机崩溃或越权操作，属于“运行前沙箱检测”。
- 检查操作数栈使用是否合规（比如 pop 指令前栈非空、方法返回前栈深度是否归零）
- 验证类型转换指令（如
checkcast）是否符合实际继承关系 - 分析控制流完整性，确保跳转指令（如
goto、if_icmpeq）不会指向非法字节码偏移 - 确认局部变量在读取前已被正确初始化（尤其针对非基本类型的引用变量）
二者协同关系与典型差异
元数据验证是前置门槛，通不过就直接抛 VerifyError；字节码验证在其基础上进一步深挖，两者不可替代。
- 时机不同：元数据验证在类结构解析后立即进行；字节码验证通常延迟到具体方法首次被调用前（JIT 编译前或解释执行前）
- 粒度不同：元数据验证以类为单位；字节码验证以方法为单位，甚至细化到每条指令
-
错误表现不同：元数据问题常报
IncompatibleClassChangeError或IllegalAccessError；字节码问题多触发VerifyError或运行时ClassFormatError
