在传统的Java继承模型中，一个类只要不是final的，就可以被任何类继承。我们可以定义一个密封的`Shape`（形状）类，只允许`Circle`（圆形）、`Rectangle`（矩形）和`Triangle`（三角形）继承它。开发者可以放心地添加新的子类，因为编译器会在所有相关的switch表达式中提醒需要补充新的case分支，从而有效地保障了代码在演进过程中的一致性。这一特性通过允许类或接口的作