Java 密封类型：增强类型安全与建模能力

在面向对象编程中，管理继承和确保类型安全是编写健壮、可维护代码的核心。Java 作为一种以强类型系统著称的语言，不断演进以满足现代开发需求。Java 17 引入的**密封类型（Sealed Types）**是一项重要的新特性，它允许开发者限制哪些类或接口可以扩展或实现某个类型。这不仅增强了类型安全，还为建模复杂领域提供了更精确的工具。本文将深入探讨密封类型的定义、与枚举的比较、使用场景、示例以及最佳实践。

什么是密封类型？

密封类型通过 sealed 关键字声明，配合 permits 子句明确指定允许扩展或实现的子类型。密封类型可以是类或接口，适用于需要控制继承层次结构的场景。以下是一个简单的密封类示例：

public sealed class Pet permits Cat, Dog {
    private final String name;
    protected Pet(String name) {
        this.name = name;
    }
    public String name() {
        return name;
    }
}

public final class Cat extends Pet {
    public Cat(String name) {
        super(name);
    }
    void meow() {
        System.out.println(name() + " meows");
    }
}

public final class Dog extends Pet {
    public Dog(String name) {
        super(name);
    }
    void bark() {
        System.out.println(name() + " barks");
    }
}
<