Typumwandlung
# Typumwandlung

Als Typumwandlung (englisch type conversion oder type casting, kurz cast) wird in der Informatik die Umwandlung eines Datums von einem Datentyp in einen anderen bezeichnet. Dadurch werden Typverletzungen vermieden, die durch mangelnde Zuweisungskompatibilität entstehen.

Hierbei unterscheidet man zwischen

* expliziter und impliziter Typumwandlung;
* werterhaltender und verlustbehafteter Typumwandlung;
* benutzerdefinierter und vordefinierter (“built-in”) Typumwandlung.

Bei der expliziten Typumwandlung wird die Typumwandlung im Programmcode ausdrücklich hingeschrieben. Je nach Typisierung der verwendeten Programmiersprache kann das Fehlen der expliziten Angabe der Typumwandlung einen Laufzeit- oder Compilezeit-Fehler zur Folge haben. Im Unterschied dazu erscheinen implizite Typumwandlungen nicht im Quelltext. Sie erfolgen entweder nach Vorschriften, die durch die Programmiersprache vorgegeben sind, oder gemäß einem vom Programmierer an einer anderen Stelle im Quelltext festgelegten Verfahren.

Eine Typumwandlung ist werterhaltend, wenn alle im Ausgangstyp darstellbaren Werte auch im Zieltyp darstellbar sind, so dass sich der Wert, also das umgewandelte Datum, auf keinen Fall ändert. Anderenfalls nennt man sie Verlustbehaftet. Implizite Typumwandlungen können eine Fehlerquelle sein, indem versehentlich eine verlustbehaftete Umwandlung verursacht wird. Deshalb erlauben viele Programmiersprachen, wie z. B. Java, eine implizite Typumwandlung nur dann, wenn sie werterhaltend ist.

## Typerweiterung und Typeinschränkung

Da unterschiedliche Datentypen oftmals unterschiedliche Wertebereiche haben, können bei der Typumwandlung Typerweiterungen, also Vergrößerungen des Wertebereichs, oder Typeinschränkung, also Verkleinerungen des Wertebereichs, vorkommen.

Wird beispielsweise ein Integer mit einer Größe von 16 Bit in einen 32 Bit großen Integer umgewandelt, handelt es sich um eine Typerweiterung. Im umgekehrten Fall wäre dies eine Typeinschränkung.

## Beispiele

### C++

Implizite Typumwandlung als Fehlerquelle:

Hier wird a implizit von int nach unsigned gewandelt, und da im Zieltyp keine negativen Zahlen darstellbar sind, ändert sich der Wert. Das Resultat ist laut den Regeln der Ganzzahlumwandlung kongruent zu -4 modulo der Zahl der im vorzeichenlosen Zieltyp darstellbaren Werte, also $2^{32}-4$, wenn unsigned 32 Bit lang ist.

