覆盖密封类所有子类后Java Switch仍非穷尽？原因及解法

给定如下密封类结构：

sealed class Shape permits Circle, Quadrangle {}

sealed class Quadrangle extends Shape permits Diamond, Rectangle { }
final class Rectangle extends Quadrangle {}
final class Diamond extends Quadrangle {}
final class Circle extends Shape {}

编写switch表达式时：

switch (shape) {
    case Rectangle _-> System.out.println("");
    case Diamond _-> System.out.println("");
    case Circle _-> System.out.println("");
}

编译器仍提示未覆盖所有情况，要求添加default分支，但明明已经覆盖了所有子类，这是为什么？如何实现switch表达式的穷尽性？

原因分析 #

问题出在你漏掉了密封类Quadrangle本身。它是Shape的直接子类，编译器会将其视为一个独立的可匹配分支。哪怕Quadrangle是密封类、无法直接实例化，编译器在做穷尽性检查时，依然会把它当作一个可能的分支——你的switch只覆盖了Quadrangle的子类，没直接匹配Quadrangle类型，所以编译器判定未穷尽所有情况。

实现穷尽性的两种方式 #

方式1：直接添加Quadrangle分支 #

把Quadrangle加入switch的case中，由于它是密封类且没有非final子类，这个分支不会有实际实例进入，但能满足编译器的穷尽性要求：

switch (shape) {
    case Rectangle _-> System.out.println("矩形");
    case Diamond _-> System.out.println("菱形");
    case Circle _-> System.out.println("圆形");
    case Quadrangle _-> throw new IllegalStateException("不可能出现的Quadrangle实例");
}

方式2：使用带变量的模式匹配 #

改用带变量的模式匹配写法（比如case Circle c ->），编译器会递归检查密封类的所有许可子类，自动识别所有可能的类型都已被覆盖，无需单独匹配Quadrangle，也不需要default分支：

switch (shape) {
    case Circle c -> System.out.println("圆形");
    case Rectangle r -> System.out.println("矩形");
    case Diamond d -> System.out.println("菱形");
}

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