Java 20 在启用预览特性的前提下，对 record 解构模式匹配的 case Point(var x, var y, Color c) when ... 语法存在编译器生成错误字节码的问题，导致运行时抛出 VerifyError: Bad local variable type，属于已确认的 JDK 编译器缺陷。
java 20 在启用预览特性的前提下，对 record 解构模式匹配的 `case point(var x, var y, color c) when ...` 语法存在编译器生成错误字节码的问题，导致运行时抛出 `verifyerror: bad local variable type`，属于已确认的 jdk 编译器缺陷。
Java 20 引入了增强的模式匹配特性（JEP 432：Record Patterns，作为预览功能），支持在 switch 表达式中直接解构 record 实例，例如 case Point(var x, var y, var color)。然而，当结合 when 子句使用类型限定的解构变量（如 case Point(var x, var y, Color c) when c == Color.RED）时，JDK 20 的 javac 编译器会错误地生成不合规的局部变量栈帧（local variable slot assignment），致使 JVM 在类加载阶段校验失败，抛出 java.lang.VerifyError。
该问题并非用户代码逻辑错误，而是编译器字节码生成缺陷。典型表现包括：
- 编译成功（无语法或编译期错误）；
- 运行时报 VerifyError，提示 Bad local variable type 和 Type top (current frame, locals[7]) is not assignable to reference type；
- 错误堆栈指向 testSwitch 方法内部，且仅在启用 --enable-preview 时复现；
- 已由 OpenJDK 核心开发者 Stuart Marks 确认为 bug（见官方讨论）。
✅ 临时规避方案（推荐用于生产环境）：
避免在同一个 case 中混合使用「类型限定解构」与 when 条件。可改用嵌套逻辑分离关注点：
case Point(var x, var y, var color) -> {
if (color == Color.RED) {
System.out.printf("Red point x=%d, y=%d%n", x, y);
} else {
System.out.printf("Point x=%d, y=%d, color=%s%n", x, y, color);
}
};
⚠️ 注意事项：
- 此 bug 影响所有 JDK 20 GA 版本（如 20.0.1、20.0.2），尚未在 20.x 后续补丁中修复；
- JDK 21（LTS）已将 Record Patterns 转正（JEP 440），该问题在 JDK 21+ 中已被修复——建议升级至 JDK 21 或更高版本以获得稳定支持；
- 若必须使用 JDK 20，切勿在 case 标签中对解构变量重复声明类型（如 Color c），而应统一使用 var c 并在块内做显式类型检查；
- 使用 IDE（如 IntelliJ IDEA）时，需确保其内置编译器同步更新至与 JDK 20 兼容的版本，避免混淆编译/运行环境差异。
? 总结：这是一个典型的“编译器生成字节码违反 JVM 规范”的底层缺陷，凸显了预览特性在 GA 版本中仍可能存在稳定性风险。开发中应优先选用 LTS 版本（JDK 21+），并对预览特性保持审慎验证；遇到类似 VerifyError 且仅出现在特定模式组合时，应首先排查是否为已知编译器 bug，而非假设自身逻辑有误。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
