Kotlin密封类permit关键字实现包级私有继承控制详解

如何运用密封类的permits关键字实现包级私有实现的精准继承管控

想要借助密封类的 permits 关键字来精确管理包级私有类的继承行为？首先必须明确一个核心限制：permits 关键字无法直接声明位于其他包中的包级私有类作为其许可子类。 这是因为 Java 语言规范明确规定：所有列在 permits 列表中的子类，对于密封类本身必须是“可访问”的。如果子类被定义为包级私有，且与密封类不在同一包内，编译器将直接报告“class is not visible”错误。因此，要实现“仅在特定包内精确控制继承”的目标，关键在于调整可见性策略与重构包设计，而非期望 permits 直接引用一个对外部不可见的类。

核心限制：permits列表中的类必须具备可访问性

这是 Java 语言设定的硬性规则，无法绕过：

- 密封类与其所有通过 permits 声明的子类，必须处于同一编译单元上下文内（简言之，若使用模块系统则需在同一模块；若未使用，则必须在同一包中）。
- 每一个被许可的子类，其声明至少需要具备包访问权限（即默认无 public 修饰符）或更高的可见性。
- 由此得出的直接结论是：一个定义在其他包中的、真正的包级私有类，绝不可能被列入 permits 列表。

可行方案：以“包内默认访问权限 + sealed 控制”替代“跨包包级私有”

那么，如何达成“仅允许本包内特定类继承，对外部完全隐藏实现”的效果呢？正确的实践路径如下：

- 将密封类以及所有你计划允许继承的子类，全部置于同一个包中。
- 密封类本身声明为包私有（即不使用 public 关键字），子类同样保持包级私有可见性。
- 随后，即可直接使用 sealed 和 permits 关键字，列出这些位于同包子类的简单类名（注意，无需添加包前缀）。

以下是一个具体示例：

// 文件：com.example.shape.Shape.java （无public修饰，为包私有抽象类）
sealed abstract class Shape permits Circle, Rectangle, Triangle { }

// 文件：com.example.shape.Circle.java
final class Circle extends Shape { ... }

// 文件：com.example.shape.Rectangle.java
sealed class Rectangle extends Shape permits Square { ... }

✅ 通过此设计，外部包既无法通过import导入这些类，也无法继承Shape类（因为Shape对外不可见）。
✅ 而在同一个包内部，所有子类的继承关系均受到permits列表的精确约束。若需新增子类，必须将其显式加入许可列表，并满足final、sealed或non-sealed的继承要求。
✅ 所有检查均在编译期完成，任何非法的继承尝试都会在编译阶段被阻止。

进阶控制：结合模块系统（module-info.java）强化封装边界

如果你的项目已启用 Java 模块系统，则可以实现更彻底的封装：
- 在module-info.java文件中，不要导出（do not export）包含密封类的那个包。
- 如此一来，即使其他模块依赖了当前模块，它们也无法访问该包内的任何类型。
- 此时，密封类及其许可的子类，实质上仅对模块内部（具体而言，是同一模块下的同一包）可见。这种封装强度，已接近于“模块级私有”。

这套组合策略，既严格遵守了permits对类可访问性的要求，又实现了比传统包私有机制更为坚固的封装边界。

为何不能使用“private类 + permits”？

或许有人会问，为何不直接使用private类呢？答案是 Java 语法不允许：
- private类只能作为内部类存在，而permits子句仅接受顶级类（top-level class）的名称。
- 即使强行写入permits InnerClass，编译器也会明确提示“not a valid permitted subclass: inner classes are not allowed”。
- 因此，请牢记这一结论：permits列表中仅允许出现public或package-private的顶级类，private和protected在此场景下均无效。