Java中密封接口 sealed interface 怎么配合 Switch 表达式做到穷举校验-java教程-PHP中文网

java 17+密封接口配合switch表达式可实现编译期穷尽性检查，要求permits显式列出所有直接实现类且均标注final/sealed/non-sealed，switch必须覆盖全部子类型并处理null，缺一则编译失败。

java中密封接口 sealed interface 怎么配合 switch 表达式做到穷举校验

Java 17 引入了密封类（sealed class）和密封接口（sealed interface），配合 Java 14 起支持的 Switch 表达式（尤其是模式匹配增强后），可以在编译期实现对所有子类型的穷举校验，避免漏处理分支。

密封接口需显式声明允许的实现类

定义密封接口时，必须用 permits 明确列出所有直接、非间接的实现类（或子接口），且这些实现类必须用 final、sealed 或 non-sealed 之一标注。这是编译器做穷举推断的前提。

例如：

public sealed interface Shape permits Circle, Rectangle, Triangle {}
public final class Circle implements Shape { /* ... */ }
public final class Rectangle implements Shape { /* ... */ }
public final class Triangle implements Shape { /* ... */ }

若新增一个实现类但没加到 permits 列表，或未标注修饰符，编译直接报错。

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

Switch 表达式 + 类型模式匹配实现编译期穷举

在 Java 21+（推荐）或 Java 17+（需开启预览特性）中，Switch 表达式支持类型模式（case Shape.Circle c -> ...）。当 Shape 是密封接口，且所有子类型都已知并被覆盖时，编译器能确认分支已穷尽 —— 此时可省略 default 分支，且一旦后续新增子类型（如 Ellipse），编译就会失败，强制开发者补全逻辑。

示例：

double area(Shape shape) {
    return switch (shape) {
        case Circle c     -> Math.PI * c.radius() * c.radius();
        case Rectangle r  -> r.width() * r.height();
        case Triangle t   -> 0.5 * t.base() * t.height();
        // ✅ 无 default：编译器确认 Circle/Rectangle/Triangle 已覆盖全部可能
    };
}

如果未来有人添加 public final class Ellipse implements Shape，但忘记更新 permits 或 switch 分支，编译会立即报错："Switch expression does not cover all possible values"。

注意事项与常见陷阱

必须用 Switch 表达式（returning）而非 Switch 语句：只有表达式才支持省略 default 的穷举检查；语句仍需 break 或 default，不提供该保障。
子类型不能是 non-sealed：如果某个 permits 中的类被声明为 non-sealed，它就可被任意扩展，破坏穷举前提，编译器将拒绝省略 default。
Java 版本与编译选项：类型模式匹配在 Java 17 是预览特性（需 --enable-preview），Java 21 起正式可用。确保使用匹配的 JDK 和编译参数。
IDE 支持很重要：IntelliJ 和最新版 Eclipse 能高亮未覆盖的子类型，并提供快速修复（自动生成缺失 case），大幅提升开发体验。