现代Java通过密封接口、密封枚举和密封类协同实现可控抽象：接口限定实现者，枚举保障穷尽性，密封类约束继承链，三者共同提升类型安全与领域语义表达力。
现代Java开发中，接口演进、枚举精细化控制与密封类控制三者共同指向一个核心目标：**让类型系统更可预测、更安全、更贴近领域语义**。它们不是孤立特性，而是围绕“可控抽象”逐步演进的有机整体——从开放到约束，从契约到结构，从行为定义到形态闭环。
接口：从完全开放到精准授权
传统接口是纯粹的契约容器，任何类都能实现它，这带来灵活性也埋下失控风险。Java 15起引入密封接口（sealed interface），本质是把“谁可以实现我”这件事从运行时约定提前到编译期声明。
- 必须用 sealed 修饰接口，并紧跟 permits 列出所有合法实现者，如
public sealed interface Status permits Active, Inactive, Pending - 每个被允许的实现类必须显式标注 final（终结）、sealed（继续限制）或 non-sealed（开放继承），不能省略
- 所有许可类型须在相同模块内，编译器会强制检查遗漏或非法实现，杜绝“幽灵实现类”
枚举：从固定值集合到可扩展行为载体
枚举不再只是常量列表。自Java 5起支持方法和字段，Java 14+模式匹配进一步释放其表达力；而密封枚举（即用 sealed enum）则将其纳入统一控制体系。
- 枚举天然具备封闭性（实例个数确定），但过去无法阻止外部伪造子类。现在可声明为
public sealed enum Color permits Red, Green, Blue - 每个枚举常量可作为独立类体存在，支持各自方法实现；也可统一定义抽象方法，由各常量覆写
- 结合 switch 表达式，编译器能验证是否覆盖全部枚举项，真正实现穷尽性检查
密封类：构建可验证的类层次结构
密封类是 extends 机制的精细化升级。它不取消继承，而是把“谁能继承我”变成显式契约，使类层级成为可审计的设计文档。
立即学习“Java免费学习笔记（深入）”；
- 父类声明为 sealed 并用 permits 列出子类，如
abstract sealed class Expr permits Literal, Binary, Unary - 子类必须选择一种继承策略：final（终止链）、sealed（向下再约束）、non-sealed（局部开放）
- 这种三层控制让设计者既能封住关键路径（如核心协议类型），又能保留必要扩展点（如插件基类），避免一刀切的开放或封闭
三者协同：形成高内聚的领域建模工具链
它们真正价值在于组合使用。例如定义一个支付状态模型：
- 用 sealed interface PaymentResult 声明顶层契约
- 用 sealed enum Status 表示有限状态集（Success / Failed / Pending）
- 用 sealed class PaymentError 封装错误分类，其子类分别对应网络超时、余额不足等具体场景
- 所有分支在 switch 或 pattern matching 中可被静态验证，业务逻辑不会因新增未处理类型而崩溃
