Softwareentwicklung in C++ - ASC

46 2. Datentypen und Variablen
nicht wissen! Aus diesem Grund darf man sich niemals auf die implizite
Initialisierung von Unions verlassen.
Der Vollständigkeit halber möchte ich hier zum Thema union noch den Querverweis
auf Kapitel 19 aus Softwareentwicklung in C anführen, in dem dieses
Thema ausführlich behandelt wird.
2.5 Scope und Lifetime
Zwei wichtige Kenngrößen begegnen uns im Life-Cycle von Variablen: Scope
und Lifetime. Dabei bezeichnet der Begriff Scope (auch: Sichtbarkeit), wo
im Programm eine Variable unter dem Namen ansprechbar ist, unter dem
sie definiert wurde. Der Begriff Lifetime (auch: Lebenszeit) bezeichnet, wie
lange der Speicher, der beim Definieren einer Variable angelegt wurde, erhalten
bleibt. Diese zwei Größen sind keineswegs äquivalent, wie von manchen
Entwicklern fälschlicherweise angenommen wird!
Abgesehen von einigen Besonderheiten, die uns im Lauf der Zeit in diesem
Buch noch begegnen werden, gelten für C ++ dieselben Regeln für Scope und
Lifetime, wie sie auch in C Gültigkeit besitzen:
• Eine Variable ist immer innerhalb des Blocks sichtbar, in dem sie definiert
wurde und zwar genau ab dem Punkt, an dem sie definiert wurde
(man kann ja an jeder beliebigen Stelle im laufenden Code eine Variable
definieren).
• Die Lifetime einer Variable erstreckt sich von deren Definition bis zum
Verlassen des umschließenden Blocks. Allerdings kann man als Entwickler
explizit durch static-Definitionen darauf Einfluss nehmen.
• Bei Schachtelung von Blöcken können Definitionen auftreten, bei denen Variablen
äußerer Blöcke durch Variablen innerer Blöcke “versteckt” werden.
Dies passiert, wenn in einem inneren Block eine Variable mit demselben
Namen definiert wird, wie sie schon in einem äußeren Block definiert wurde.
Durch eine solche Definition kommt eine äußere Variable out of Scope.
• Globale Variablen werden einem fiktiven “alles umschließenden Block” zugerechnet
und dementsprechend beginnt ihre Lifetime zu dem Zeitpunkt,
zu dem ihr Initialisierungscode ausgeführt wird (noch vor Aufruf von main!)
und dauert den gesamten restlichen Programmlauf an. Ihr Scope ist ohne
explizite Deklaration aus rein compilertechnischen Gründen auf ein einziges
File beschränkt, allerdings kann man den Scope durch entsprechende
extern Deklaration auf andere Files erweitern.