Java 19记录模式结合泛型时switch穷举匹配编译报错问题

这个编译错误并非代码写法不符合规范，而是Java 19早期预览构建（复现问题用到的19-ea+32属于尝鲜阶段的早期版本）的特性实现缺陷：

• 记录模式在Java 19是第一次以预览特性上线，当时编译器的穷举匹配校验逻辑只完成了非泛型密封类场景的适配，没有覆盖「泛型密封接口+泛型记录解构」的校验路径，会错误判定写好的两个case分支没有覆盖Opt<T>的所有合法实现类，才抛出the switch statement does not cover all possible input values的编译报错。
• 这个问题属于特性迭代过程中的实现遗漏，不是Java语言层面的设计限制。按照数据导向编程的设计目标，密封类、泛型、记录模式解构、switch穷举校验几个特性本身就是设计为可以无缝组合使用的，不存在语法冲突。

推荐方案（彻底解决） #

直接升级JDK到Java 21及以上的正式版本。
Java 20的记录模式第二次预览版本就已经修复了这个泛型场景下的校验缺陷，到Java 21所有模式匹配相关特性正式转正后，带解构的switch代码可以直接正常编译，不需要加default分支，也能完整保留密封类带来的编译期穷举校验能力——后续如果给Opt密封接口新增子类型，编译器会自动提示switch分支未覆盖，不会漏判。

临时规避方案（仅适用于必须使用Java 19预览版的场景） #

不要加default分支——加default会彻底丢失穷举校验能力，后续修改密封类结构时编译器不会告警，很容易引入线上问题，可以尝试两种写法绕过校验缺陷：

1. 解构记录内部的属性时不写显式类型，用var触发编译器类型推导，示例代码：

   Opt<String> optValue = doCalc(value);
   switch (optValue) {
       case Opt.Some<String>(var v) -> System.out.printf("got string: %s%n", v);
       case Opt.None<String> none -> System.out.printf("got none%n");
   }
   

   注意这个写法在Java 19不同的ea构建中表现不完全一致，部分小版本可以正常通过编译。
2. 如果上面的写法依然报错，暂时退回到无解构的类型模式写法，等JDK升级后再替换为记录解构语法即可。

内容的提问来源于stack exchange，提问作者clay