Softwareentwicklung in C++ - ASC

106 6. Pointer und References
einer Variable beim Aufrufenden zu erreichen. Wie man in Zeile 33 sieht,
funktioniert dies auch wie erwartet. Dass man auch eine Reference einem
call-by-reference übergeben kann und dass dabei nicht plötzlich eine Doppel-
Reference mit schlimmen Folgen daraus wird, sieht man in Zeile 38.
Obwohl es aus der Besprechung des Beispielprogramms eigentlich klar
sein sollte, möchte ich es hier trotzdem explizit erwähnen, um keine Missverständnisse
aufkommen zu lassen: Kein einziger Operator wirkt auf
eine Reference selbst! Egal, welche Operatoren man auf eine Reference
Variable anwendet, sie wirken immer ausschließlich auf den
Inhalt, der sich hinter der Reference verbirgt! Es gibt also keine
Möglichkeit, z.B. so etwas wie Pointerarithmetik (wird später noch genau
erklärt) mit References durchzuführen.
In der Natur von References liegt auch, dass man sie nicht einfach z.B.
mit einem Zahlenwert initialisieren kann. References sind ja quasi versteckte
Zeiger auf einen Speicherplatz. Aus diesem Grund muss die Initialisierung
immer mit einem sogenannten lvalue erfolgen, denn nur dieser garantiert
ja, dass dahinter auch Speicherplatz existiert, der beschrieben werden kann.
Und genau diese Eigenschaft führt uns zu einem weiteren Punkt: References
müssen unbedingt immer bei ihrer Definition explizit initialisiert
werden!. Der Grund ist einfach: Es wurde bereits erwähnt, dass kein einziger
Operator auf die Reference wirkt, sondern alle nur auf den Inhalt. Das
bedeutet auch, dass es ja gar keine Möglichkeit gibt, das Ziel der Referenz
nachträglich zu verändern, denn eine Zuweisung will ja den Inhalt und nicht
die Referenz zuweisen! Also kommt der expliziten Initialisierung einer Referenz
eine besondere Rolle zu: Sie ist der einzige Zeitpunkt, zu dem man in
der Lage ist, ihr Ziel zu setzen.
Ein kleines Detail am Rande: Es war bereits davon die Rede, dass unter
dem Begriff der expliziten Initialisierung das Setzen eines Wertes bei der
Definition gemeint ist und nicht das Zuweisen eines Wertes irgendwann nach
der Definition. Am Verhalten der Initialisierung von References sieht man
eindeutig, dass auch der Compiler intern eine explizite Initialisierung ganz
anders interpretiert als eine Zuweisung. Ansonsten wäre es nämlich nicht
möglich, eine Referenz überhaupt auf eine Speicherstelle zeigen zu lassen,
denn die Zuweisung bewirkt ja etwas gänzlich Anderes!
Vorsicht Falle: Leider sieht man immer wieder, dass durch Unwissenheit
oder Schlamperei besonders tolle Zeitbomben wie die folgende implementiert
werden (reference_problems_demo.cpp):
1 // reference problems demo . cpp − p o s s i b l e problems with r e f e r e n c e s
2
3 #include
4 #include ” u s e r t y p e s . h”
5
6 int32 &returnDeadVariable ( ) ;
7
8 //−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−−
9 int main ( int argc , char ∗ argv [ ] )