Java Academy · Leçon

Types scellés avec des enregistrements

Modélisez des hiérarchies fermées

Types scellés avec des enregistrements est une leçon Java Academy gratuite sur CoddyKit. Ceci est la leçon 3 sur 4. Tu peux lire la leçon complète ci-dessous gratuitement — puis la pratiquer en direct dans le navigateur avec un éditeur de code intégré et un tuteur IA 24/7. Elle fait partie du parcours d'apprentissage Java Academy, et ta progression se synchronise sur le web et l'application CoddyKit. Le cours Java Academy comprend 4 leçons au total.

Types scellés et enregistrements

Les interfaces scellées et les enregistrements forment une combinaison idéale. L'interface scellée définit un ensemble fermé de cas ; chaque enregistrement représente un cas concret et immuable. Ensemble, ils permettent de modéliser des types de données algébriques.

Les enregistrements sont implicitement finaux

Un enregistrement est automatiquement final, ce qui respecte la règle selon laquelle les sous-types autorisés doivent être finaux, scellés ou non scellés. Aucun modificateur supplémentaire n'est nécessaire.

Une hiérarchie fermée de Shape

Modélisez les formes avec des enregistrements qui implémentent une interface scellée, chacun contenant ses propres données.

public class Main {
    sealed interface Shape permits Circle, Rectangle {}
    record Circle(double radius) implements Shape {}
    record Rectangle(double width, double height) implements Shape {}

    public static void main(String[] args) {
        Shape s = new Rectangle(3, 4);
        System.out.println(s);
    }
}

Ajouter un comportement

L'interface scellée peut déclarer des méthodes que chaque enregistrement implémente, ce qui fournit du polymorphisme sur l'ensemble fermé.

public class Main {
    sealed interface Shape permits Circle, Rectangle {
        double area();
    }
    record Circle(double radius) implements Shape {
        public double area() { return Math.PI * radius * radius; }
    }
    record Rectangle(double width, double height) implements Shape {
        public double area() { return width * height; }
    }

    public static void main(String[] args) {
        Shape s = new Circle(2);
        System.out.printf("Area: %.2f%n", s.area());
    }
}

Égalité et toString offertes

Les enregistrements génèrent automatiquement equals, hashCode et toString. Deux enregistrements ayant les mêmes composants sont égaux, ce qui convient parfaitement à la modélisation de valeurs.

public class Main {
    sealed interface Shape permits Circle {}
    record Circle(double radius) implements Shape {}

    public static void main(String[] args) {
        Circle a = new Circle(5);
        Circle b = new Circle(5);
        System.out.println(a.equals(b));
        System.out.println(a);
    }
}

Modéliser des résultats

Un modèle courant consiste à utiliser un type de résultat scellé avec un enregistrement de réussite et un enregistrement d'échec, afin de remplacer les retours pouvant être nuls ou les exceptions pour les résultats attendus.

public class Main {
    sealed interface Result permits Ok, Err {}
    record Ok(int value) implements Result {}
    record Err(String message) implements Result {}

    static Result parse(String s) {
        try { return new Ok(Integer.parseInt(s)); }
        catch (NumberFormatException e) { return new Err("bad number: " + s); }
    }

    public static void main(String[] args) {
        System.out.println(parse("42"));
        System.out.println(parse("oops"));
    }
}

Constructeurs compacts pour la validation

Les enregistrements peuvent valider leurs entrées dans un constructeur compact, afin de garantir la validité de chaque cas dès sa construction.

public class Main {
    sealed interface Shape permits Circle {}
    record Circle(double radius) implements Shape {
        Circle {
            if (radius < 0) throw new IllegalArgumentException("radius must be >= 0");
        }
    }

    public static void main(String[] args) {
        try { new Circle(-1); }
        catch (IllegalArgumentException e) { System.out.println(e.getMessage()); }
    }
}

Modèles de données récursifs

Comme un enregistrement peut référencer l'interface scellée, vous pouvez construire des structures récursives telles que des arbres d'expressions ou des listes chaînées.

public class Main {
    sealed interface Expr permits Num, Add {}
    record Num(int value) implements Expr {}
    record Add(Expr left, Expr right) implements Expr {}

    public static void main(String[] args) {
        Expr e = new Add(new Num(1), new Add(new Num(2), new Num(3)));
        System.out.println(e);
    }
}

Avantages de l'immuabilité

Les enregistrements sont immuables de manière superficielle ; une hiérarchie d'enregistrements scellés est donc facile à comprendre, sûre à partager et adaptée à la concurrence. Il n'est pas nécessaire de réaliser une copie défensive des enregistrements eux-mêmes.

Associer les enregistrements à une sélection

Les enregistrements scellés sont particulièrement adaptés à une switch utilisant la correspondance de motifs : chaque cas peut décomposer un enregistrement et le compilateur vérifie que tous les cas sont traités. Ce sujet est étudié dans le cours consacré aux motifs.

Un calcul sur le modèle

Vous pouvez écrire un interpréteur sous la forme d'une méthode qui parcourt l'arbre récursif d'enregistrements.

public class Main {
    sealed interface Expr permits Num, Add {}
    record Num(int value) implements Expr {}
    record Add(Expr left, Expr right) implements Expr {}

    static int eval(Expr e) {
        if (e instanceof Num n) return n.value();
        Add a = (Add) e;
        return eval(a.left()) + eval(a.right());
    }

    public static void main(String[] args) {
        Expr e = new Add(new Num(4), new Add(new Num(5), new Num(6)));
        System.out.println(eval(e));
    }
}

Vérification rapide

Vérifiez votre compréhension des enregistrements scellés.

Récapitulatif

Vous avez appris à combiner les types scellés avec les enregistrements.

Les enregistrements sont implicitement finaux et peuvent donc être utilisés comme sous-types autorisés.
L'interface scellée peut déclarer des méthodes partagées.
Les enregistrements fournissent automatiquement l'égalité, le hachage et toString.
Ensemble, ils permettent de modéliser des données fermées, immuables et éventuellement récursives.

Questions Fréquemment Posées

La leçon « Types scellés avec des enregistrements » est-elle gratuite ?

Oui — le texte complet de « Types scellés avec des enregistrements » est gratuit à lire ici sur le web. Pour la pratiquer de manière interactive (un éditeur de code intégré et un tuteur IA 24/7) et déverrouiller le reste du cours Java Academy, passe à CoddyKit PRO. Le cours Java Academy comprend 4 leçons au total.

Qu'est-ce que j'apprendrai dans « Types scellés avec des enregistrements » ?

Modélisez des hiérarchies fermées Tu pratiques Java Academy avec du code pratique que tu exécutes directement dans le navigateur, et un tuteur IA 24/7 répond à tes questions au fur et à mesure que tu avances dans la leçon.

Dois-je avoir de l'expérience pour commencer Java Academy ?

Aucune expérience préalable n'est requise. Java Academy sur CoddyKit est structuré pour les débutants jusqu'aux apprenants avancés, donc tu peux commencer ici ou depuis le début et avancer à ton rythme. Ceci est la leçon 3 sur 4.

Combien de temps prend la leçon « Types scellés avec des enregistrements » ?

La plupart des leçons CoddyKit prennent environ 5–10 minutes. Chacune est courte et interactive, tu progresses régulièrement et tu repiques exactement où tu t'es arrêté sur le web et l'app.

Peux-tu écrire et exécuter du code dans cette leçon Java Academy ?

Oui. Chaque leçon Java Academy inclut un éditeur de code intégré, tu écris et exécutes du vrai code directement dans ton navigateur et tu reçois des retours IA instantanés — aucune configuration locale requise.

Toutes les leçons de ce cours

← Retour à Java Academy