同一方法中结合记录字段的instanceof模式匹配与switch表达式触发java.lang.VerifyError的原因及是否为JDK Bug？
结论先行：这绝对是JDK的Bug
你遇到的这个问题是javac编译器在处理「带字段绑定的记录模式instanceof」和「密封接口的switch模式匹配」组合场景时的字节码生成错误，导致JVM的字节码验证阶段失败，抛出java.lang.VerifyError。
问题根源拆解
JVM加载类时会验证字节码的合法性，其中栈映射表（Stackmap Table）是验证的关键部分——它描述了代码分支处局部变量和操作数栈的类型状态。你遇到的错误日志明确指出了核心问题：
Exception in thread "main" java.lang.VerifyError: Inconsistent stackmap frames at branch target 96
Exception Details:
Location:
VehicleProgressor.progress(LVehicleInput;LAnimal;)Z @96: aload_3
Reason: Type top (current frame, locals[5]) is not assignable to 'Cat' (stack map, locals[5])
简单来说，编译器生成的栈映射表错误地标记局部变量5为Cat类型，但实际执行时这个位置的类型是未定义的top，两者不匹配，直接触发了JVM的字节码验证失败。
触发这个Bug的核心条件是：
- 方法中同时使用带字段绑定的记录模式instanceof（比如你的代码里
input.vehicle() instanceof Car(String licensePlate)） - 同时使用针对密封接口的switch模式匹配（比如
switch (animal) { case Cat cat -> true; case Dog dog -> true; }这种带变量绑定的分支）
更诡异的是，哪怕你完全没有调用这个有问题的方法，只要类中存在这个方法，JVM加载类时就会触发验证错误——因为类加载阶段就会完成字节码的合法性校验。
为什么你的修改能绕过Bug？
你尝试的几个修改方案刚好避开了触发Bug的组合条件：
- 把
instanceof Car(String licensePlate)简化为instanceof Car：去掉了记录模式的字段绑定逻辑，编译器不需要处理复杂的局部变量绑定，栈映射表生成逻辑恢复正常 - 移除switch表达式直接返回
true：没有了密封接口的switch模式匹配，两种特性的组合消失，Bug失去触发条件 - 将参数从
VehicleInput改为直接Vehicle：改变了instanceof的调用路径，避免了编译器处理嵌套调用+记录模式时的逻辑漏洞
版本覆盖情况
你测试的多个JDK版本（21.0.7-amzn、24.0.1-amzn、25.ea.25-open、25.ea.25-graal）都出现相同错误，说明这个Bug覆盖了从LTS到最新预览版的多个版本，属于编译器的共性逻辑缺陷。
后续建议
- 暂时使用你找到的绕过方案，避免在同一个方法中同时使用这两种特性的组合场景
- 可以前往OpenJDK的官方Bug追踪系统搜索相关问题，若未被报告，建议提交Bug报告，附上你的复现代码、测试环境和错误日志，帮助官方修复这个问题
内容来源于stack exchange
