Typverletzung

Eine Typverletzung (engl. type conflict) liegt vor, wenn Datentypen zum Beispiel aufgrund fehlender Zuweisungskompatibilität nicht regelgemäß verwendet werden.

Zum Beispiel werden Variablen Datentypen zugeordnet, womit ihr Wertebereich, also die Menge der zulässigen Belegungen der Variable 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 (siehe auch schwache Typisierung) und somit in der Folge kein Laufzeitfehler auftreten würde. Dies ist bequem, erschwert allerdings (wenn die Konvertierung ungewollt ist) auch die Entdeckung von Fehlern.

Siehe auch

• Typsicherheit