sealed：封闭类型集合

封闭层级01

sealed 修饰类或接口，permits 列出直接子类型。直接子类型必须显式声明为 final、sealed 或 non-sealed，把「这一支是否还能继续扩展」写清楚。

public sealed interface Shape permits Circle, Square, Triangle {}

public record Circle(double r) implements Shape {}
public record Square(double side) implements Shape {}

public non-sealed class Triangle implements Shape {
    final double base;
    final double height;

    public Triangle(double base, double height) {
        this.base = base;
        this.height = height;
    }
}

final 关闭这一支，sealed 继续受控扩展，non-sealed 重新打开继承。三种修饰符必须选一个，编译器不会替你猜。

permits 的写法与约束02

如果所有子类型都在同一个编译单元（同一个源文件）里，permits 可以省略，编译器根据同一文件中的直接子类型推断。跨文件时必须显式写出。

// 同一个源文件：可以省略 permits
sealed interface Expr {}

record Num(int value) implements Expr {}
record Add(Expr left, Expr right) implements Expr {}

• sealed 类型在命名模块中时，子类型必须与它在同一个模块。
• sealed 类型在未命名模块（classpath）中时，子类型必须与它在同一个包。
• 子类型不能是 final 与 sealed 混写；也不能不写这三种修饰符。
• enum 的常量集合固定，可以实现 sealed 接口；record 天然 final，也可以作为 sealed 的叶子。
• 反射提供 Class.isSealed() 与 getPermittedSubclasses()，框架可据此做校验或代码生成。

System.out.println(Shape.class.isSealed());
for (Class<?> c : Shape.class.getPermittedSubclasses()) {
    System.out.println(c.getSimpleName());
}

true
Circle
Square
Triangle

穷尽性：sealed 只是一半03

在 JDK 17，sealed 本身不会让普通 switch 变穷尽。旧 switch 的 case 仍然只能是常量；要按子类型分支，需要 JEP 406 的 switch 类型模式，而它在 17 是预览。

static double area(Shape s) {
    return switch (s) {              // 17 预览：编译与运行都要 --enable-preview
        case Circle c -> Math.PI * c.r() * c.r();
        case Square q -> q.side() * q.side();
        case Triangle t -> t.base * t.height / 2;
    };
}

System.out.println(area(new Circle(1)));
System.out.println(area(new Square(2)));

3.141592653589793
4.0

这段代码没有 default，编译器仍能证明覆盖了所有 permitted 子类型。新增一个 Triangle 后，所有这样的 switch 会编译失败，迫使你补分支。这正是 sealed 的主要价值。

• 守卫条件不计入穷尽性：case Circle c && c.r() > 0 不能证明覆盖了 Circle。
• 17 预览的守卫语法是 &&；when 是 JDK 19（JEP 427）才改的。
• 给 sealed switch 加 default 会吞掉未来新增的子类型，编译期保护立即失效。
• 17 没有 record pattern，不能写 case Circle(double r)；只能绑定类型后调访问器。

什么时候该用 sealed04

sealed 适合「变体有限且由你控制」的领域模型：表达式、事件、状态机、协议消息。它不适合需要第三方实现的服务接口，也不适合每天新增变体的开放分类。

sealed 与 enum 的区别：enum 的常量集合固定，每个常量共享同一个类；sealed 允许每个子类型有自己的字段与方法。需要「有限种形状，每种形状数据不同」时，sealed + record 更合适。

版本边界BOUNDARY

这张表比 API 本身更值得记。写代码时先确认你的运行时版本。

费曼自检SELF CHECK

先合上页面，用自己的话回答，再展开对照。能讲出因果和反例，才算真正掌握。