Java 密封类：限制类继承的正确姿势

Java 密封类（Sealed Classes）是 Java 17 引入的一项标准特性，旨在提供一种安全、可控的方式来限制类的继承。它通过指定哪些类可以继承或实现目标类，增强了代码的封装性和可维护性。下面，我将逐步解释其核心概念、正确使用方法、代码示例和最佳实践，确保您能安全高效地应用它。

1. 核心概念：什么是密封类？

• 密封类允许您明确指定一组“允许的”子类（或实现类），从而限制继承层次。这有助于：
  • 防止未授权的类扩展，减少代码错误。
  • 提高模式匹配（如 switch 表达式）的安全性和可读性。
• 关键关键字：
  • sealed：声明一个类为密封类。
  • permits：列出允许继承该类的子类。
  • 子类必须使用 final、sealed 或 non-sealed 修饰符，以确保继承链受控。

2. 正确使用语法

声明密封类时，必须遵循严格的语法规则：

• 密封类声明：使用 sealed 关键字，并通过 permits 指定允许的子类列表。
• 子类修饰：每个允许的子类必须明确声明为以下之一：
  • final：表示不能被进一步继承。
  • sealed：表示它本身是另一个密封类，允许进一步限制继承。
  • non-sealed：表示可以自由继承，但仅在父类允许的范围内。
• 规则约束：
  • permits 子句必须列出所有直接子类。
  • 子类必须与密封类在同一个模块或包中（或通过模块系统可见）。
  • 如果子类数量少，permits 可以省略（但显式列出更安全）。

3. 代码示例：实现密封类

以下是一个完整的 Java 示例，展示如何定义和使用密封类。假设我们有一个“形状”层次结构，只允许特定子类继承。

// 定义密封类 Shape，只允许 Circle 和 Rectangle 继承
public sealed class Shape permits Circle, Rectangle {
    // 公共方法或字段
    public abstract double area();
}

// 子类 Circle：声明为 final，禁止进一步继承
public final class Circle extends Shape {
    private final double radius;

    public Circle(double radius) {
        this.radius = radius;
    }

    @Override
    public double area() {
        return Math.PI * radius * radius; // 计算圆面积
    }
}

// 子类 Rectangle：声明为 non-sealed，允许自由继承
public non-sealed class Rectangle extends Shape {
    protected double width;
    protected double height;

    public Rectangle(double width, double height) {
        this.width = width;
        this.height = height;
    }

    @Override
    public double area() {
        return width * height; // 计算矩形面积
    }
}

// Rectangle 的子类（允许，因为 Rectangle 是 non-sealed）
public class Square extends Rectangle {
    public Square(double side) {
        super(side, side);
    }
}

// 测试类
public class Main {
    public static void main(String[] args) {
        Shape circle = new Circle(5.0);
        Shape rectangle = new Rectangle(4.0, 6.0);
        Shape square = new Square(4.0);

        System.out.println("Circle area: " + circle.area()); // 输出: Circle area: 78.53981633974483
        System.out.println("Square area: " + square.area()); // 输出: Square area: 16.0
    }
}

代码解析：

• Shape 是密封类，只允许 Circle 和 Rectangle 继承（通过 permits 指定）。
• Circle 是 final，无法被继承。
• Rectangle 是 non-sealed，因此可以派生 Square。
• 这确保了继承树严格受控：任何试图添加未允许的子类（如 Triangle）会导致编译错误。

4. 最佳实践：正确姿势

为了安全地使用密封类，遵循以下原则：

• 最小化权限：在 permits 中只列出必要的子类，避免过度开放。例如，在 API 设计中，只暴露核心实现类。
• 结合模式匹配：在 Java 17+ 中，使用 switch 表达式处理密封类实例，确保所有子类被覆盖：

  double calculateArea(Shape shape) {
      return switch (shape) {
          case Circle c -> c.area();
          case Rectangle r -> r.area();
          // 编译器会检查是否覆盖所有允许的子类
      };
  }
  

• 错误处理：如果遗漏子类，编译器会报错，这有助于提前捕获设计缺陷。
• 模块化设计：在大型项目中，将密封类及其子类放在同一个包中，简化管理和可见性。
• 替代方案比较：相比传统方法（如使用 final 或私有构造器），密封类更灵活且类型安全，避免了反射攻击等风险。

5. 常见问题与好处

• 好处：
  • 增强安全性：防止恶意或意外继承。
  • 提升可维护性：代码更易理解和扩展。
  • 支持新特性：与记录类（Records）和模式匹配无缝集成。
• 常见陷阱：
  • 忘记添加 permits 子句或子类修饰符，会导致编译错误。
  • 在模块化项目中，确保子类在模块路径中可见。
• 适用场景：适用于需要严格控制的领域模型，如金融计算、游戏实体或 API 设计。

通过以上步骤，您能正确使用 Java 密封类来限制继承，构建更健壮的代码。如果您有特定场景或问题，欢迎提供更多细节，我会进一步优化建议！