Quelltext der Seite Typverletzung

Eine '''Typverletzung''' ([[Englische Sprache|engl]]. ''type conflict'') liegt bei der Programmierung vor, wenn [[Datentyp]]en nicht regelgemäß verwendet werden.

In der Regel wird bei einer [[Variable (Programmierung)|Variablen]] der Datentyp festgelegt, womit ihr [[Definitionsmenge|Wertebereich]], also die [[Menge (Datenstruktur)|Menge]] der zulässigen [[Belegung (Logik)|Belegungen]] der Variablen mit einem konkreten Wert, eingeschränkt wird. Weist man dann zum Beispiel einer Variablen, die eine [[Zeichenkette]] aufnehmen soll, eine ganze Zahl zu, so liegt eine Typverletzung vor. Es gibt Programmiersprachen, die hier [[implizit]] eine [[Typkonvertierung]] vornehmen würden, wie etwa [[PHP]] oder [[Python (Programmiersprache)|Python]] (siehe auch [[schwache Typisierung]]) und somit in der Folge kein [[Laufzeitfehler]] auftreten würde. Dies verringert zwar den Aufwand bei der Programmierung, erschwert allerdings (wenn die Konvertierung ungewollt ist) auch die Entdeckung von Fehlern.

Ein [[Lint (Programmierwerkzeug)|Linter]] ist in der Lage fehlerhafte Zuweisungen zu bemerken und den Programmierer zu warnen.

== Beispiel ==

Das folgende Beispiel zeigt in der [[C (Programmiersprache)|Programmiersprache C]], wie durch eine Zuweisung eines Zahlenwertes eine Typverletzung entsteht. Moderne [[Compiler]] erkennen die Zuweisung und führen die implizite [[Typumwandlung]] (auch ''cast'' genannt) durch und geben im Idealfall eine Warnung an den Nutzer aus. Führt der Compiler die implizite Typumwandlung durch, bewirkt dies einen Fehler in der nachfolgenden Zeile. Wird die Typumwandlung nicht durchgeführt, erzeugt die Zuweisung einen Fehler. 

<syntaxhighlight lang="c">
#include <stdio.h>

int main()
{
    char *TEXT = "Hello World";
    TEXT = 7;                    // implizite Typumwandlung
    printf("%s", TEXT);          // Zugriff auf Speicherposition 0x07 ungültig (segmentation fault)
    return 0;
}
</syntaxhighlight>

== Siehe auch ==
* [[Ausnahmebehandlung]]
* [[Typsicherheit]]
* [[Typumwandlung]]
* [[Zuweisungskompatibilität]]

== Weblinks ==
* [https://en.cppreference.com/w/c/language/conversion Implicit conversions (englisch)] &dash; Typumwandlung in der Programmiersprache C und die Folgen

[[Kategorie:Datentyp]]
[[Kategorie:Programmfehler]]