Softwareentwicklung in C++ - ASC

3.6 Datentypabfragen und explizite Typecasts 69
man, dass -1 interpretiert als unsigned nicht wirklich so toll ist! Und hier
kann auch der beste Compiler nichts machen, denn wie schon erwähnt, wird
der Code zur Umwandlung zur Compiletime eingesetzt. Zu dieser Zeit ist
allerdings im Normalfall nicht bekannt, dass vielleicht später zur Laufzeit
ein negativer Wert in einen unsigned Wert verwandelt werden soll.
Vorsicht Falle: Auch ein static_cast bewahrt nicht vor den schweren Fehlern,
die beim Mischen von signed und unsigned Typen passieren können,
denn zur Compiletime, zu der der entsprechende Umwandlungscode eingesetzt
wird, ist der umzuwandelnde Wert ja noch nicht überprüfbar! Aus
diesem Grund muss ich zum wiederholten Mal darauf hinweisen, dass unvorsichtiges
Mischen von Datentypen katastrophale Folgen haben kann und
tunlichst unterlassen werden soll!
3.6.4 Runtime-checked Cast
Es gibt beim Arbeiten mit Klassen und Objekten in C ++ Fälle, die wir im OO-
Teil noch kennen lernen werden, bei denen der Compiler bei der Übersetzung
des Programms nicht wissen kann, mit welchem Typ man es zur Laufzeit in
einem Ausdruck zu tun haben wird. In diesem Fall ist ein static_cast nicht
verwendbar, da für einen static_cast vom Compiler Code eingesetzt wird,
der die tatsächliche Umwandlung vornimmt. Wenn aber der Typ zu dieser
Zeit noch unbekannt ist, welchen Code soll der Compiler dann einsetzen?
Der Fall, dass man erst zur Laufzeit entscheiden kann, welchen Typ ein
Objekt nun wirklich hat, kommt in der OO-Programmierung relativ oft vor,
also darf man nicht verhindern, dass eine eventuell zur Laufzeit korrekte
Umwandlung bereits im Vorfeld vom Compiler abgelehnt wird, bloß weil er
nicht feststellen kann, ob hier später korrekt oder inkorrekt umgewandelt
würde und welchen Code er einsetzen soll. Damit würde man die Flexibilität
von C ++ stark einschränken. Schlimmer noch, man würde sogar saubere
Programmierung zugunsten von brute-force Ansätzen verhindern!
Aus diesem Grund wurde in C ++ der dynamic_cast eingeführt. Dieser
sagt dem Compiler, dass er Code einsetzen soll, der erst zur Laufzeit entscheidet,
ob eine Umwandlung nun zulässig ist oder nicht. Sollte sie zur Laufzeit
als zulässig erkannt werden, so wird sie entsprechend durchgeführt, wenn
nicht, wird zur Laufzeit ein Fehler generiert. Die Syntax und Semantik eines
Aufrufs von dynamic_cast sind dieselbe wie wir sie schon von static_cast
kennen.
Leser, die nun hoffen, dass ein dynamic_cast vor den schweren Fehlern
bewahren würde, die man beim Mischen von signed und unsigned Typen
machen kann, die muss ich leider enttäuschen. Der dynamic_cast kümmert
sich nur um Dinge, die bei Klassenhierarchien bei der OO-Programmierung
interessant sind und zu denen wir noch kommen werden. Er ist leider auf