Softwareentwicklung in C++ - ASC

3.6 Datentypabfragen und explizite Typecasts 65
Von Zeile 10 bis Zeile 23 findet man die Deklaration einer Structure, einer
Union und zwei entsprechende typedef-Statements, die später zu Demonstrationszwecken
verwendet werden.
Die Variable test_var, die in Zeile 27 definiert wird, ist auch noch keine
Besonderheit, allerdings das Statement in den Zeilen 29–30 enthält eine
Neuigkeit:
• In Zeile 30 wird der typeid-Operator aufgerufen. Dieser Operator ist derjenige,
der in unserer zusammenfassenden Operatoren-Tabelle als
typeid(type) unter dem Begriff Type Identification verewigt wurde.
• Dieser typeid-Operator liefert uns interne, Compiler-implementationsspezifische
bzw., je nach Typ und System, auch OS-implementationsspezifische
Information zu einem Datentyp. Diese Information wird als
Objekt vom Typ type_info geliefert – hier sind wir plötzlich beim OO-
Teil angelangt.
• Um nun nicht OO-Features von C ++ besprechen zu müssen, stelle ich einfach
in den Raum, dass man mit einem Objekt zum Teil ähnlich umgeht,
wie man es mit einer Structure tut: Ein Objekt besitzt ebenfalls Members
und gleich wie bei einer Structure wird auf diese mittels des Punkt-
Operators zugegriffen. Members können bei einem Objekt nicht nur Variablen,
sondern auch sogenannte Methoden (im Prinzip Funktionen) sein.
Und genau um eine solche Methode handelt es sich bei name(), wie sie in
Zeile 30 aufgerufen wird.
• Die Methode name() liefert bei Aufruf einen String, der den internen,
Compiler- und plattformabhängigen Namen eines Typs repräsentiert. Dieser
muss aus Implementationsgründen nämlich nicht derselbe sein, wie der
Typname, den wir im Programm verwenden, wie man auch am Output
sieht. Es verwendet z.B. das mit g++ compilierte Programm unter Linux
für einen char intern einfach den Namen c.
Natürlich kann man typeid nicht nur einfach auf Typen anwenden, denn
dies allein wäre ziemlich sinnlos. Man kann typeid auch auf beliebige Expressions,
also z.B. auf Variablen anwenden, wie man z.B. im Statement in
den Zeilen 64–65 sieht. Und genau dabei handelt es sich, wie auch in unserer
Operatorentabelle zu sehen ist, um das so wichtige RTTI -Feature von
C ++: Mittels RTTI ist es in C ++ möglich, zur Laufzeit den Typ, zu dem eine
Expression evaluiert, abzufragen.
Und damit sieht man auch, warum es notwendig ist, typeid auf einen Typ
wie int anwenden zu können: Nachdem ja intern die Typen nicht mehr die
uns bekannten Namen haben, sondern plattformabhängige Identifications,
wäre es ansonsten unmöglich herauszufinden, ob etwas z.B. jetzt wirklich
vom Typ int ist. Bestimmte Cast-Operatoren, die wir gleich in der Folge
kennen lernen werden, verwenden die gelieferte Typinformation (zu der intern
um einiges mehr als nur der Name gehört, der hier abgefragt wird), um
die Kompatibilität von Datentypen festzustellen, bevor sie ihre Umwandlung
durchführen.