Java类验证阶段在defineClass()后、Preparation前由JVM自动执行，通过静态分析确保字节码类型安全、栈稳定、控制流合法，涵盖操作数栈/局部变量类型匹配、跳转目标有效性、StackMapTable一致性及语义约束检查。
Java 类验证阶段检查字节码合法性，核心是不运行代码，仅通过静态分析确保每条指令在任何执行路径下都类型安全、栈结构稳定、控制流可控。它发生在 defineClass() 之后、类正式准备（Preparation）之前，由 JVM 自动触发，开发者无法跳过或手动干预。
字节码验证重点检查操作数栈与局部变量表的一致性
JVM 模拟执行每个方法的字节码流，逐条跟踪类型变化，而非真实运行。关键检查点包括：
- 操作数栈不会上溢（push 超出容量）或下溢（pop 空栈）
- 局部变量读写类型严格匹配：例如
iload_0读取第 0 个局部变量，要求其类型为int；若该位置实际存的是Object，校验失败 - 指令参数类型必须合法：
if_acmpeq要求栈顶两个值都是引用类型；iadd要求栈顶两值均为int - 方法返回指令（如
areturn,ireturn）前，栈顶值类型必须与方法声明的返回类型一致
控制流分析确保所有路径可达且终结合法
JVM 验证每个分支目标地址是否落在有效指令边界内，并确认所有执行路径最终都能以合法方式退出方法：
-
goto、if_*、tableswitch等跳转指令的目标偏移量必须指向某条指令起始位置，不能指向指令中间或未定义区域 - 每个基本块的入口状态（栈和局部变量类型）必须可被推导，且多个分支合并时类型必须兼容（这依赖
StackMapTable属性，缺失或错误会报Inconsistent stackmap frames） - 方法不能存在“不可达代码”后接有效指令（如
return后还有指令），也不能缺少出口（如无条件循环末尾无return或athrow）
类型转换与对象访问需符合语义约束
即使指令语法正确，语义违规也会被拦截：
立即学习“Java免费学习笔记（深入）”；
-
checkcast、instanceof、athrow等指令引用的类必须在常量池中正确定义，且不能是数组类以外的原始类型 -
getfield/putfield访问字段时，对象引用类型必须能保证该字段确实存在且可访问（结合符号引用验证协同判断） -
invokespecial调用构造器或私有方法时，目标方法描述符必须与调用点签名完全匹配，不支持协变
不复杂但容易忽略
