Bonjour,
A quoi correspond les invariants au niveau d'une classe java?
Merci
Version imprimable
Bonjour,
A quoi correspond les invariants au niveau d'une classe java?
Merci
A une assertion vérifiée quelque soit l'état de l'objet.
Est ce un check qui est fait sur les champs de la classe pour vérifié la validité?
C'est cela oui. Cela sert à s'assurer de la cohérence d'un état (état = l'ensemble des valeurs des propriétés d'un objet à un instant).
Mais en général ce n'est fait qu'en phase de mise au point. Les vérifs sont ensuite débrayées en production.
En fait j'ai vu ce termes dans le cadre de la serialisation des objets java.
Dans ce cas ca sert à s'assurer que l'objet désérialisé est dans un état cohérent.