Comment utilisez-vous les records, les types sealed et le pattern matching en Java moderne ?

Les records sont des porteurs immuables et transparents : vous déclarez les composants et vous obtenez un constructeur canonique, des accesseurs, equals, hashCode et toString. Les interfaces sealed restreignent les types qui peuvent les implémenter, si bien qu'un switch sur ces types peut être vérifié comme exhaustif à la compilation, sans branche default. Les patterns de record permettent ensuite de déstructurer dans le switch, ce qui transforme une chaîne d'instanceof et de casts en une seule instruction lisible.

Je les utilise ensemble. Une interface sealed déclare l'ensemble fermé des cas, chaque cas est un record avec ses propres composants, puis un switch avec des patterns de record les traite. Donc un résultat de paiement devient une interface sealed avec des records Approved, Declined et Pending, et le switch déstructure chacun directement en ses champs. Le compilateur impose l'exhaustivité, et c'est le vrai bénéfice : quand quelqu'un ajoute un quatrième cas, tous les switch qui traitent ce type ne compilent plus, au lieu de tomber silencieusement dans une branche default et de faire n'importe quoi. Les records m'ont aussi donné un equals et un hashCode corrects gratuitement, et un constructeur compact est un endroit naturel pour valider, donc un montant ne peut pas être négatif sur une instance qui existe. Les réserves que je mentionne : un record n'est immuable qu'en surface, donc un record qui contient une liste peut quand même être modifié via cette liste si je ne la copie pas dans le constructeur, et ils conviennent mal aux entités JPA, qui veulent un constructeur sans argument et un état mutable.