密封接口(Sealed Interface)除了限制实现类外，能否用于限制模式匹配中的穷尽性检查？如何通过编译器确保所有分支被处理？

Question

密封接口(Sealed Interface)除了限制实现类外，能否用于限制模式匹配中的穷尽性检查？如何通过编译器确保所有分支被处理？

Answer 1

中午好🌞🌞🌞
本答案参考通义千问

密封接口（Sealed Interface）在 Java 17 及更高版本中引入，主要用于限制哪些类可以继承该接口。它不仅用于控制实现类的范围，还可以用于增强模式匹配（Pattern Matching）中的穷尽性检查（Exhaustiveness Check）。

---

✅ 密封接口能否用于限制模式匹配中的穷尽性检查？

是的，可以。

当使用密封接口时，编译器能够知道所有可能的子类，并且在进行 switch 表达式或 instanceof 模式匹配时，可以自动检查是否覆盖了所有可能的子类。这有助于防止遗漏某些情况，提高代码的安全性和可维护性。

---

🛠️ 如何通过编译器确保所有分支被处理？

以下是通过密封接口实现穷尽性检查的步骤：

1. 定义一个密封接口

public sealed interface Shape permits Circle, Square, Rectangle {
    // 接口方法
}

这里，Shape 是一个密封接口，只允许 Circle、Square 和 Rectangle 作为实现类。

---

2. 创建具体实现类

public final class Circle implements Shape {
    private final double radius;

    public Circle(double radius) {
        this.radius = radius;
    }

    // getter
}

public final class Square implements Shape {
    private final double side;

    public Square(double side) {
        this.side = side;
    }

    // getter
}

public final class Rectangle implements Shape {
    private final double width;
    private final double height;

    public Rectangle(double width, double height) {
        this.width = width;
        this.height = height;
    }

    // getters
}

注意：这些类必须使用 final 或 sealed 来声明，以符合密封接口的规则。

---

3. 在 switch 表达式中使用模式匹配

public static String describe(Shape shape) {
    return switch (shape) {
        case Circle c -> "Circle with radius " + c.radius();
        case Square s -> "Square with side " + s.side();
        case Rectangle r -> "Rectangle with width " + r.width() + " and height " + r.height();
    };
}

🔍 编译器会检查是否覆盖了所有密封接口的实现类。 如果你没有处理某个子类（比如忘记写 case Rectangle），编译器会报错。

---

4. 如果未处理所有子类，编译器会报错

例如，如果你删除了 case Rectangle：

public static String describe(Shape shape) {
    return switch (shape) {
        case Circle c -> "Circle with radius " + c.radius();
        case Square s -> "Square with side " + s.side();
    };
}

此时，编译器会提示错误：

error: the switch statement does not cover all possible input values

---

⚠️ 注意事项

• 密封接口的子类必须显式地在 permits 列表中列出。
• 使用 sealed 类或接口时，子类也必须是 sealed、final 或 non-sealed（Java 17+ 支持）。
• 编译器仅在使用 sealed 接口时才进行穷尽性检查，普通接口不会触发此检查。

---

✅ 总结

| 问题 | 回答 | |------|------| | 密封接口能否用于限制模式匹配中的穷尽性检查？ | ✅ 是的，通过 sealed 接口和 switch 表达式实现 | | 如何确保所有分支被处理？ | 使用 sealed 接口 + switch 表达式，编译器会自动检查是否覆盖所有子类 | | 如果漏掉一个子类怎么办？ | 编译器会报错，提示“switch 不覆盖所有输入值” |

---

🧠 示例代码（完整）

public sealed interface Shape permits Circle, Square, Rectangle {
    double area();
}

public final class Circle implements Shape {
    private final double radius;

    public Circle(double radius) {
        this.radius = radius;
    }

    @Override
    public double area() {
        return Math.PI * radius * radius;
    }
}

public final class Square implements Shape {
    private final double side;

    public Square(double side) {
        this.side = side;
    }

    @Override
    public double area() {
        return side * side;
    }
}

public final class Rectangle implements Shape {
    private final double width;
    private final double height;

    public Rectangle(double width, double height) {
        this.width = width;
        this.height = height;
    }

    @Override
    public double area() {
        return width * height;
    }
}

public class Main {
    public static void main(String[] args) {
        Shape shape = new Circle(5);
        System.out.println("Area: " + shape.area());
    }

    public static String describe(Shape shape) {
        return switch (shape) {
            case Circle c -> "Circle with radius " + c.radius();
            case Square s -> "Square with side " + s.side();
            case Rectangle r -> "Rectangle with width " + r.width() + " and height " + r.height();
        };
    }
}

---

💡 小贴士

• 使用 sealed 接口可以提升类型安全性和代码可维护性。
• 在 switch 表达式中使用模式匹配时，编译器的穷尽性检查非常有用，特别是在处理多态对象时。

如需进一步了解 Java 的密封类和接口，请参考 Oracle 官方文档。