为何JEP 441相比JEP 420弱化了守护模式的支配性检查？

核心差异说明 #

JEP 420作为Java 18到20的预览特性，对switch模式匹配的支配性顺序做了强制检查：如果同类型的常量case标签出现在带when子句的守护模式之后，且该常量case的匹配范围被前面的守护模式完全覆盖（也就是所谓的"被支配"），编译器会直接抛出编译错误。

而JEP 441在Java 21正式转正后，彻底移除了这一编译检查。比如下面这段代码，在Java 18-20中会因"Sophie被前序case支配"报错，但在Java 21中可以正常编译：

static void dominanceExampleWithConstant(Object obj) {
   switch (obj.toString()) {
      case String str when str.length() > 5 -> System.out.println(str);
      case "Sophie" -> System.out.println("My lovely daughter");
      // 注："Sophie"长度大于5，会被前序case优先匹配
      default -> System.out.println("FALLBACK");
   }
}

移除支配性检查的原因 #

虽然JEP 441的官方文档没有专门解释这一变更，但从OpenJDK社区的开发者讨论和邮件记录中，可以总结出几个关键原因：

• 优先保障代码编写灵活性：预览阶段的严格检查是为了引导开发者写出更高效的匹配顺序，但实际使用中发现，这种限制过度约束了业务逻辑的表达。比如开发者可能希望先处理通用场景（长字符串），再显式列出特定常量场景用于文档化，这种顺序需求不应被编译器强制干预。
• 运行逻辑不受支配性检查影响：switch的匹配逻辑始终是自上而下顺序执行，即使后续case被前面的模式支配，也只是不会被执行而已——开发者完全可以自主判断这种写法是否符合需求，编译器没必要强行阻止。
• 简化编译器与语言学习门槛：移除支配性检查可以简化编译器的静态分析逻辑，减少不必要的编译错误提示，降低Java模式匹配特性的学习和使用成本。

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