Java 17 引入了密封类（Sealed Classes），Java 21 进一步扩展支持密封接口（Sealed Interfaces）。密封接口允许你明确声明哪些类或接口可以实现它，从而在编译期强制约束实现关系，提升 API 的可维护性和类型安全性。
密封接口的基本语法与声明
要定义一个密封接口，需使用 sealed 关键字，并通过 permits 列出所有被允许的直接实现者（类或非密封/最终/密封接口）。
例如：
public sealed interface Shape permits Circle, Rectangle, Triangle {}
注意：- 所有 permits 列出的类型必须与密封接口位于同一模块（或同一包，若未用模块系统）；- 每个被允许的实现者必须显式声明其继承/实现关系，并使用 final、sealed 或 non-sealed 之一修饰；- 不允许存在未在 permits 中声明的隐式实现。
实现类必须显式声明“继承策略”
每个被 permits 列出的实现者，必须用以下三者之一修饰：
立即学习“Java免费学习笔记（深入）”；
final：该类不可被继承，彻底封死扩展链（推荐用于具体实现）sealed：该类自身也是密封的，可继续用 permits 控制其子类non-sealed：开放继承，任何类都可继承它（慎用，会削弱密封性）
示例：
public final class Circle implements Shape { /* … */ }public sealed class Rectangle implements Shape permits RoundedRectangle {}public non-sealed class Triangle implements Shape {}
若遗漏修饰符，编译器会报错：“Class Rectangle must be declared as either ‘final’, ‘sealed’ or ‘non-sealed’.”
密封接口配合模式匹配提升类型安全
密封接口天然适配 Java 17+ 的 switch 表达式 和 Java 21 的 模式匹配 for switch。由于编译器已知全部实现者，可做到穷尽性检查（exhaustiveness checking）。
例如：
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(); }; // 编译器确保已覆盖所有 permitted 实现类}
如果后续新增 Square 到 permits 列表但忘记更新 switch，编译将失败——这是密封性带来的关键优势。
常见陷阱与注意事项
密封接口不能被匿名类或 Lambda 实现（因为无法满足 permits 约束）接口不能同时是 sealed 和 default（语法不合法）子模块中实现密封接口需导出并打开对应包，否则编译不通过IDE 可能对 non-sealed 实现者提示警告——它破坏了上层接口的封闭语义，应仅在有明确开放需求时使用
不复杂但容易忽略：所有 permitted 类型必须与密封接口在同一个编译单元可见，且修饰符声明缺一不可。
评论(0)