1.3 Schutz von Größen
Beispiel: es werde ein Keller mit RV init, push, pop, top verwendet.
- Realisierung: Paar aus Feld und int-Variable (Pegel), die das aktuelle Kellerende angibt.
- Die RV müssen auf diesen Variablen arbeiten.
- In ihrem Geltungsbereich sind diese aber öffentlich bekannt und somit beliebig unsicher veränderbar (z.B. direkte Zuweisung an den Pegel mit ungültigem Wert).
Solche Größen müssen durch Einkapselung vor beliebigem Zugriff geschützt werden. RV allein reichen dazu nicht.