Top Qs
Chronologie
Chat
Contexte
Invariant de classe
De Wikipédia, l'encyclopédie libre
Remove ads
En programmation informatique, un invariant de classe est un invariant utilisé pour contraindre des objets d'une classe. Pour chaque instanciation, l'invariant est préservé avant et après l'appel des méthodes de la classe.
Cet article est une ébauche concernant l’informatique.
Liens externes
- (en) The benefits of object-oriented programming using class invariants, Philip Guo (Stanford University), 2008.
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads