Softwareentwicklung in C++ - ASC

2.4 Zusammengesetzte Datentypen 41
undefinierte Werte. Woher sollte auch bei einem Keyboard Event eine Koordinate
kommen? Der Computer weiß ja doch nicht, wo am Schreibtisch
nun das Keyboard steht und ob das linke obere oder das linke untere Eck des
Schreibtischs die Nullposition markiert :-).
Was also benötigt wird, ist die Möglichkeit, sogenannte Varianten zu
implementieren. In unserem Fall der Events würde eine solche Variante bei
einem Keyboard-Event nur die Daten besitzen, die für das Keyboard-Handling
interessant sind, bei einem Mouse-Event nur die, die für das Mouse-Handling
interessant sind, etc.
Wie auch C stellt uns C ++ ein solches Konstrukt zur Verfügung: die
union. Auch hier muss ich, wie schon bei den Structures, vorausschicken,
dass Unions in C ++ durch die Objektorientierung der Sprache umfassender
definiert sind, als in C. Auf die Besonderheiten, die sich daraus ergeben,
komme ich Abschnitt 15.2 zu sprechen.
Bleiben wir hier aber im Augenblick beim Wesentlichen. Per Definition
lässt sich eine union folgendermaßen charakterisieren:
Eine union entspricht einer struct mit dem essentiellen Unterschied,
dass sich die Members denselben Speicherplatz teilen! Dadurch wird
Folgendes impliziert:
• Der Speicherbedarf einer union ist immer genau so hoch, wie der Speicherbedarf
für den größten darin enthaltenen Member. Dies kommt genau daher,
dass ja Members in einer union nur alternativ Gültigkeit besitzen
(anstatt gleichzeitig, wie bei einer struct).
• Gerade erwähnt, aber weil es so wichtig ist, noch einmal: Es besitzt zu
einem gewissen Zeitpunkt immer nur ein einziger Member Gültigkeit!
Die restlichen Members enthalten keine sinnvollen Werte.
• Die Deklaration einer union erfolgt äquivalent zur Deklaration einer struct,
nur wird statt des Keywords struct das Keyword union verwendet.
• Der Zugriff auf Members einer union erfolgt analog zum Zugriff auf Members
einer struct. Es wird ebenfalls einem Variablennamen ein Punkt
gefolgt vom Namen des gewünschten Members nachgestellt.
• Es gibt keine von der Sprache direkt unterstützte Möglichkeit, zur Laufzeit
herauszufinden, welcher der Members einer union gerade Gültigkeit
besitzt!
Vorsicht Falle: Wie schon erwähnt, stellt C ++ keine direkte Möglichkeit
zur Verfügung, mittels der man den zu einem bestimmten Zeitpunkt gültigen
Member einer union herausfinden kann. Genau dieser Umstand macht eine
union zu einem potentiellen Kandidaten für Softwarefehler. In Programmen
finden sich leider immer wieder die abstrusesten Konstrukte, die entweder
davon ausgehen, dass “jetzt sowieso nur dieser Member gültig sein kann”
oder in denen sonstige wilde Annahmen und Schätzungen stattfinden.
Vor solchen Vorgehensweisen möchte ich unbedingt abraten, denn diese
führen unweigerlich früher oder später durch Fehlzugriffe zu den unglaub-