Softwareentwicklung in C++ - ASC

114 6. Pointer und References
gestattet, wenn sich aus der äußeren Sicht am Inhalt eines als const
deklarierten Objekts nichts verändert!
Eine typische Anwendung für eine versteckte Veränderung, die “außenstehende”
Entwickler nicht bemerken, ist z.B. das Caching von Daten hinter
den Kulissen. Je nachdem, was man genau bezwecken will, gibt es auch noch
die alternative Möglichkeit, einzelne Variablen als mutable zu deklarieren.
Dies wird in Abschnitt 15.1 noch genauer behandelt.
Vorsicht Falle: Wo auch immer sich aufgrund der Semantik einer Funktion
an einem Parameter nach außen hin nichts ändern soll, aber aus technischen
Gründen die Verwendung einer Reference wünschenswert oder notwendig ist
(z.B. bei einer Structure als Parameter), soll man diesen Parameter immer als
const deklarieren. Damit signalisiert man nach außen, dass man nicht beabsichtigt,
etwas zu verändern. Deklariert man einen solchen Parameter nicht
als const, so werden sich alle Entwickler, die diese Funktion verwenden, auf
eine mögliche Änderung einstellen und auf diese Art unnötig komplizierten
Code erzeugen.
Es gibt den noch schlimmeren Fall, dass man eine Funktion, die einen Parameter
irrtümlich nicht als const deklariert hat, gar nicht verwenden kann,
weil man selbst nur eine const Reference in Händen hält. Das Schlimmste,
was dann herauskommen kann, ist die notgedrungene Verwendung eines
const_cast, um den Aufruf überhaupt tätigen zu können. Haben allerdings
einmal solche bösen Hacks in den Code Eingang gefunden, dann bahnen sich
viele unabwendbare Katastrophen an, denn wer soll sich noch auskennen,
welches const ernst gemeint ist und welches nicht?
6.2 Pointer
Nach der Diskussion über References sind wir nun endgültig bei der Hardcore
Variante des Hantierens mit Adressen angekommen, nämlich bei den Pointern.
Pointer sind im Prinzip etwas unheimlich Einfaches: Es sind Variablen,
deren Inhalt eine Adresse ist. Genau diese Einfachheit macht sie auch so
mächtig, man kann nämlich damit auf quasi beliebige Inhalte im Speicher
zeigen. Diese Inhalte können verschiedenster Natur sein, nämlich sowohl
Speicherstellen für Daten als auch Einsprungadressen von Funktionen bzw.
Methoden. Natürlich kann man mit Adressen auch beliebig rechnen und auf
diese Art Blöcke verwalten.
Dieselbe Einfachheit, die Pointer so mächtig macht, macht sie gleichzeitig
auch so gefährlich in den Händen ungeübter und/oder unvorsichtiger Entwickler.
Wie bereits bei den Datentypen diskutiert wurde, ist intern in einem
Computer praktisch alles einfach nur Interpretationssache. Im Fall von
Pointern wird die Interpretation dessen, worauf die Adresse zeigt, noch bei