In dieser Vorlesung besprechen wir geschlossene Hierarchien in Java 17+: wie man Klassen und Interfaces mit dem Modifikator
sealed deklariert, zulässige Unterklassen via
permits angibt, den Status der Unterklassen wählt (
final,
sealed,
non-sealed) und warum dies die Überprüfbarkeit von
switch mit Pattern Matching ohne
default-Zweig verbessert. Wir sehen uns Beispiele mit Domänenmodellen an, das Zusammenspiel mit
interface und
record sowie typische Fehler.