Java 21带守卫模式的switch为何被判定为非穷尽？

你在尝试Java 21模式匹配时编写了如下代码：

public class Main {

  public static void main(String[] args) {

    RecordB recordB = new RecordB(true);

    switch(recordB) {
      case RecordB b when b.bool() -> System.out.println("It's true");
      case RecordB b when !b.bool() -> System.out.println("It's false");
    }

  }

  record RecordB(boolean bool) { }
}

编译时遇到错误提示：the switch statement does not cover all possible input values，但从逻辑上看两个守卫条件已经覆盖了布尔值的所有可能。

问题原因 #

Java编译器对switch穷尽性的检查不分析守卫模式的逻辑完备性，它只关注模式本身的类型覆盖情况。守卫条件是运行时才会执行的判断，编译器不会尝试推导两个when条件是否能覆盖所有场景——哪怕逻辑上是互补的，编译阶段也无法确认这一点。

换句话说，编译器看到的是两个RecordB模式，但每个模式都附加了额外的运行时过滤条件，它会认为存在“符合RecordB类型但不满足任何一个守卫条件”的可能性（尽管实际不存在），因此判定为非穷尽。

解决方案 #

有几种方式可以解决这个问题：

• 添加一个不带守卫的RecordB case作为兜底：

switch(recordB) {
  case RecordB b when b.bool() -> System.out.println("It's true");
  case RecordB b -> System.out.println("It's false");
}

• 使用default分支：

switch(recordB) {
  case RecordB b when b.bool() -> System.out.println("It's true");
  default -> System.out.println("It's false");
}

• 更贴合模式匹配特性的写法——直接匹配record中的布尔值：

switch(recordB) {
  case RecordB(true) -> System.out.println("It's true");
  case RecordB(false) -> System.out.println("It's false");
}

这种写法下，编译器能识别到布尔类型的两个枚举值，直接判定为穷尽，无需额外守卫。

补充说明 #

并不是所有带守卫模式的switch都会被判定为非穷尽。比如如果模式本身已经覆盖了所有可能的类型，守卫只是对该类型的细分，但只要存在一个不带守卫的模式覆盖该类型，编译器就会认为是穷尽的。核心限制始终是：编译器不会分析守卫条件的逻辑是否完备。

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