|
|
Hvornår skal en invariant være opfyldt? | Vi beskrev løst ovenfor, at en invariant skal være opfyldt på ethvert stabilt tidspunkt i et objekts levetid. Vi vil nu gør dette udsagn væsentligt mere præcist |
| Vi ser, at klasseinvarianten er et 'sigtepunkt' for konstruktorerne i en klasse. Objekter skal starte livet et en sund tilstand. De sunde tilstande af et objekt beskrives af klassens klasseinvariant |
| En privat operation spiller ofte rollen som en hjælpeoperation. Udførelse af en sådan hjælpeoperation bringer ikke nødvendigvis objektet i en sund tilstand. Der skal muligvis flere påvirkninger til inden objektet havner i en tilstand, hvor klasseinvarianten gælder |