Invariante di classe

Da Wikipedia, l'enciclopedia libera.

L'invariante di classe, in informatica è un invariante usata per vincolare gli oggetti di una classe. I metodi della classe dovranno preservare l'invariante. L'invariante di classe vincola ad archiviare lo stato nell'oggetto.

Le invarianti di classe vengono stabilite durante la costruzione e mantenute costantemente durante le chiamate ai metodi pubblici. Sebbene non incoraggiata, una rottura temporanea dell'invarianza di classe tra le chiamate dei metodi privati è possibile.

Voci correlate[modifica | modifica wikitesto]

informatica Portale Informatica: accedi alle voci di Wikipedia che trattano di informatica