scala - 只允许在同一个包内继承

Question

我有一个特征，它将具有有限数量的子类。起初我使用 sealed修饰符并在同一文件中定义特征及其所有子类。类增长后，我决定将它们重构为单独的文件，但是一旦我这样做了，我就不能再使用 sealed由于密封特征的所有子类必须位于同一文件中的约束，因此对特征进行修饰符。

在 Scala 中，是否有类似的方法可以在同一个包中跨单独的文件具有有限数量的特征子类，同时在进行详尽的模式匹配时仍然获得密封特征的编译时优势？

Answer 1

密封是要求进行详尽检查的唯一方法。但是，您可以在单独的文件中定义包私有(private)特征 AGuts、BGuts、CGuts 等，然后像以前一样在一个文件中创建密封的子类 A、B、C 等，但混合在其他地方定义的这些胆量中。

sealed abstract class Thing
class A extends Thing with AGuts
class B extends Thing with BGuts
...