Strona główna / Language / Klasy zapieczętowane dla hierarchii typów
Language Średniozaawansowany

Klasy zapieczętowane dla hierarchii typów

Ogranicz, które klasy mogą rozszerzać typ — umożliwiając wyczerpujące switche.

Porównanie kodu
✕ Java 8 
// Anyone can extend Shape
public abstract class Shape { }
public class Circle extends Shape { }
public class Rect extends Shape { }
// unknown subclasses possible
✓ Java 17+ 
public sealed interface Shape
    permits Circle, Rect {}
public record Circle(double r)
    implements Shape {}
public record Rect(double w, double h)
    implements Shape {}
Widzisz problem z tym kodem? Daj nam znać.
Dlaczego nowoczesne podejście wygrywa
🔐

Kontrolowana hierarchia

Tylko dozwolone podtypy mogą rozszerzać — żadnych niespodziewanych podklas.

✅

Wyczerpujące dopasowanie

Kompilator weryfikuje, że switch obsługuje wszystkie przypadki — default nie jest potrzebny.

📐

Algebraiczne typy danych

Modeluj typy sumowe naturalnie — sealed + rekordy = ADT w Javie.

Stare podejście
Otwarta hierarchia
Nowoczesne podejście
sealed permits
Od JDK
17
Poziom trudności
Średniozaawansowany
Wsparcie JDK
Klasy zapieczętowane dla hierarchii typów
Dostępne

Szeroko dostępne od JDK 17 LTS (wrzesień 2021)

Jak to działa

Klasy zapieczętowane definiują zamknięty zestaw podtypów. Kompilator zna wszystkie możliwe przypadki, umożliwiając wyczerpujące dopasowanie wzorców bez gałęzi default. W połączeniu z rekordami modelują algebraiczne typy danych.

Powiązana dokumentacja
Sealed Classes (JEP 409) ↗
Dowód
Zobacz źródło dowodu ↗
Powiązane wzorce
Language Początkujący

Switch expressions

Java 8
String msg;
switch (day) {
    case MONDAY:
        msg = "Start";
        break;
    case FRIDAY:
        msg = "End";
        break;
    default:
        msg = "Mid";
}
Java 14+
String msg = switch (day) {
    case MONDAY  -> "Start";
    case FRIDAY  -> "End";
    default      -> "Mid";
};
Najedź, aby zobaczyć nową wersję ➜
JDK 14+ →
Language Średniozaawansowany

Module import declarations

Java 8
import java.util.List;
import java.util.Map;
import java.util.stream.Collectors;
import java.io.IOException;
import java.nio.file.Files;
import java.nio.file.Path;
Java 25+
import module java.base;

// All of java.util, java.io, java.nio
// etc. available in one line
Najedź, aby zobaczyć nową wersję ➜
JDK 25+ →
Language Średniozaawansowany

Pattern matching in switch

Java 8
String format(Object obj) {
    if (obj instanceof Integer i)
        return "int: " + i;
    else if (obj instanceof Double d)
        return "double: " + d;
    else if (obj instanceof String s)
        return "str: " + s;
    return "unknown";
}
Java 21+
String format(Object obj) {
    return switch (obj) {
        case Integer i -> "int: " + i;
        case Double d  -> "double: " + d;
        case String s  -> "str: " + s;
        default        -> "unknown";
    };
}
Najedź, aby zobaczyć nową wersję ➜
JDK 21+ →