这是在JDK 17里被引入的一项全新特性，它能够对一个类或者接口的子类以及实现类的数量予以限制，并且会强制在编译的时候检查所有的子类和实现类，进而增强了类型安全以及代码可维护性。

代码示例：

    // 抽象方法
所公开的，是抽象的，双精度浮点数类型的，名为area的方法，该方法没有参数，返回值类型为双精度浮点数，。
    // 非抽象方法
    public void printArea() {
System.out.println("面积为："),System.out.println(area());。
    }
}
    private double radius;
public Circle(双精度浮点数 radius) {。
        this.radius = radius;
    }
    @Override
    public double area() {
    }
}
公有非密封类矩形继承自形状 ，形状 是一个类 ，矩形 是另一个类 ，矩形从形状继承 ，矩形类型为公有非密封类 。
    private double width;
    private double height;
公共 的，矩形，双精度类型，宽度，双精度类型，高度，括号，左括号，双精度类型，宽度，逗号，双精度类型，高度，右括号 返回符号，左大括号，代码块开始标记，代码。
        this.width = width;
        this.height = height;
    }
    @Override

    public double area() {
        return width * height;
    }
}
    public Square(double side) {
        super(side, side);
    }
}

在上述所提及的示例当中，Shape类借助关键字被声明成密封类codejock dockingpane，它仅仅准许三个子类，分别是、和。和皆为final类，不可以存在子类，然而却是非密封类，能够拥有任意数量的子类。

对于密封类而言，能够运用关键字来列出所允许的子类。这些子类必须在同一个源文件里进行定义，或者在同一个模块之中导出。倘若有一个类打算成为密封类的子类，那么可以使用关键字将其声明为密封子类，或者使用non -关键字把它声明为非密封子类。

在Shape类当中，定义了一个抽象的方法area()，此方法是用来计算形状的面积的，还定义了一个并非抽象的方法()，它是用于打印形状的面积的，特定的类和类分别对area()方法予以实现，而类继承了类并且还并重写了构造方法，其目的在于能够运用一个参数去初始化正方形的宽度以及高度。

Shape类及其子类测试代码如下：

public class ShapeTest {
公开静态无效主要的（针对）用于实现的方法（针对类型）使用字符串数组（针对参数）{。
        Shape circle = new Circle(3);
circle，进行printArea操作，其输出的结果是，面积为，28.274333882308138 。
创立一个名为矩形的形状客体，其具体为一个长为4、宽为5的矩形，通过特定代码来达成此操作，该代码运用了特定的类与参数组合，进而构建出这样一个。
通过调用rectangle对象，使得printArea方法得以行使其功能，进而输出：面积为：20.0 。
        Shape square = new Square(6);
把square这个对象的面积打印出来 ，打印后的结果是 ：数值成为36.0的这个数所表示的面积 。
    }
}

使用 的好处：

类型安全得以增强，原因在于通过对子类数量加以限制，能够规避不必要的类型转换以及运行时错误 。代码可维护性得到提高codejock dockingpane，这借助强制编译时对所有子类及实现类进行检查，使得代码更利于理解与修改 。密封类和密封子类对模式匹配予以支持，能够便利地应用于模式匹配，进而简化代码编写与维护 。密封类对框架设计提供支持，其可用于设计框架和 API，可限制用户自定义子类的数量，以此保证框架和 API 的稳定性与安全性 。

如有侵权请联系删除！