sealed java_Java语言的新密封Sealed类型简介 - Ben Evans

密封Sealed表示的概念是可以扩展一个类，但只能通过已知的子类型列表进行扩展，而不能通过其他任何扩展。

其他语言可能对功能的看法有所不同，但是在Java中，应将其视为代表“几乎最终的”类的功能。

让我们来看一个简单示例的新语法的当前版本：

public abstract sealed class SealedPet permits Cat, Dog {

protected final String name;

public abstract void speak();

public SealedPet(String name) {

this.name = name;

}

}

public final class Cat extends SealedPet {

public Cat(String name) {

super(name);

}

public void speak() {

System.out.println(name +" says Meow");

}

public void huntMouse() {

System.out.println(name +" caught a mouse");

}

}

public final class Dog extends SealedPet {

public Dog(String name) {

super(name);

}

public void speak() {

System.out.println(name +" says Woof");

}

public void pullSled() {

System.out.println(name +" pulled the sled");

}

}

SealedPet现在是一个abstract sealed类，它是迄今为止Java中尚未允许使用的关键字。其次，使用第二个新关键字，permits可使开发人员列出此密封类型的允许子类。(如果未提供允许的子类型列表，则从同一编译单元中的子类型推断出来。)

Pet的任何实例都必须是一个Cat或一个Dog这两个子类中一个。

而且，编译器也可以使用此信息。这意味着库代码现在可以安全地假设这是唯一的可能性，并且客户端代码不会违反此假设。

用面向对象的编程理论来说，这代表了一种新的形式关系：一个对象o是一个is-a Cat或Dog，o是Cat和Dog的并集。

从表面上看，这些类型似乎是Java中的一个全新概念，但是它们与枚举的深层相似性应该为许多Java程序员提供一个良好的起点。实际上，在某个地方已经存在类似于求和类型的东西：multicatch子句中的exception参数的类型。

详细挖掘点击标题见原文