Types scellés

Une classe ou interface scellée (sealed) limite la liste de ses sous-types avec permits. Les sous-types doivent être final, sealed ou non-sealed. Combinée au pattern matching dans un switch, elle permet au compilateur de vérifier que tous les cas sont traités, sans default.

Exemple

sealed interface Forme permits Cercle, Carre {}

Notions voisines

Tout le glossaire