Softwareentwicklung in C++ - ASC

15.6 RTTI und dynamic cast im OO Kontext 481
• Die type_info Objekte unterstützen sowohl den == als auch den != Operator.
Aussagen über Typen können nur gesichert getroffen werden, wenn
diese beiden verwendet werden.
• Keinesfalls dürfen Pointer auf type_info Objekte miteinander verglichen
werden, denn es ist nicht garantiert, dass es zu einen bestimmten Typ nur
ein einziges type_info Objekt gibt.
• Bisher noch nicht erwähnt, aber trotzdem interessant ist, dass type_info
Objekte die Methode
bool before(const type_info&)
unterstützen, die eine Sortierung zwischen solchen Objekten möglich macht.
Vorsicht Falle: Was sich auch immer bei verschiedenen Implementationen
als Reihenfolge durch Verwendung von before ergibt sagt überhaupt
nichts über Ableitungshierarchien aus! Manche Entwickler treffen leider
Fehlannahmen wie z.B. “ein type_info Objekt der Basisklasse wird genau
vor dem der davon abgeleiteten Klassen gereiht”. Dies ist falsch,
auch wenn es manchmal tatsächlich so aussehen könnte, als ob es zutreffen
würde.
• Die Methode name dient dem Herausfinden des (internen!) Typnamens
eines Objekts.
• Ein Aufruf von type_info kann eine bad_typeid Exception werfen, wenn
keine Chance besteht, den gefragten Typ herauszufinden. Dies ist bei einem
dereferenzierten 0 Pointer der Fall.
So nett die Anwendungsmöglichkeiten von typeid auch sind, eines kann man
damit nicht tun, nämlich Typkompatibilitäten feststellen, die sich durch
die Ableitungshierarchie ergeben. Dazu müssen wir unseren bekannten
dynamic_cast Operator heranziehen und eine Eigenheit desselben ausnützen,
die bisher noch nicht bekannt ist: In Abschnitt 9.4.4 wurde bereits erwähnt,
dass dynamic_cast eine bad_cast Exception wirft, wenn ein Cast nicht
zulässig ist. Das ist allerdings nur die halbe Wahrheit. In Wirklichkeit ist
dynamic_cast vollständig so definiert:
• Mittels dynamic_cast können (ausschließlich) Casts zwischen Pointern auf
Objekte oder zwischen Referenzen auf Objekte durchgeführt werden.
• Wendet man dynamic_cast auf Pointer an, dann können folgende zwei
Fälle passieren:
1. Wenn der Cast zulässig ist, so wird ein Pointer auf das gewandelte Objekt
geliefert.
2. Wenn der Cast nicht zulässig ist, so wird ein 0 Pointer geliefert. Es wird
in diesem Fall keine Exception geworfen!
Dieses Verhalten ist sehr sinnvoll, denn damit kann man dynamic_cast dazu
verwenden, Kompatibilitäten festzustellen, ohne eine Exception befürchten
zu müssen, wie z.B. in Zeile 70 zu sehen ist. Für alle Leser, die mit