Java Portal | Программирование: “💡В Java sealed types позволяют закрыть граф наследования с помощью pe…”

💡В Java sealed types позволяют закрыть граф наследования с помощью permits.

Наследоваться от sealed-класса или интерфейса могут только явно перечисленные подтипы.
Каждый разрешённый подтип должен быть объявлен как final, sealed или non-sealed.
non-sealed снова открывает возможность наследования ниже по этой ветке. #SoftwareDevelopment

Пример кода, и sample-проект на GitHub:

// java-17-sealed-classes — закрытая иерархия

public abstract sealed class Shape permits Circle, Rectangle, FancyRectangle {
    public abstract double area();
}

public final class Circle extends Shape { /* листовой класс — без дальнейшего наследования */ }

public sealed class Rectangle extends Shape permits Square, Oblong { }

public final class Square extends Rectangle { }

public non-sealed class FancyRectangle extends Shape { }
// RoundedRectangle наследуется от FancyRectangle — не указан в Shape.permits (открытая ветка)

Java 17 Sealed Classes Example Project

👉 Java Portal