Typumwandlung

Eine Typumwandlung wandelt den statischen und nicht den dynamischen Typ einer Variablen oder eines Ausdrucks um. Der dynamische Typ ist der tatsächliche Typ, den ein Objekt zur Laufzeit besitzt. Dieser Typ kann sich nie ändern, da sonst die Identität des Objekts verloren ginge. Der statische Typ hingegen ist der Typ unter dem der Compiler ein Objekt sieht und mit dem er seine Typprüfungen vornimmt. Der statische Typ ist entweder gleich wie der dynamische Typ eines Objekts oder er ist ein Basistyp davon (d.h. der Compiler sieht von einem Objekt u.U. weniger Felder und Methoden, als es tatsächlich hat). Die Typumwandlung wird also dazu benutzt, den statischen Typ näher an den dynamischen Typ eines Objekts heranzubringen oder ihn überhaupt in den dynamischen Typ des Objekts umzuwandeln.