Gleichheitscheck

Gleichheitscheck ist ein Begriff, der die Überprüfung beschreibt, ob zwei Werte, Ausdrücke oder Objekte gemäß einer definierten Gleichheitsrelation gleich sind. In Mathematik und Logik bedeutet Gleichheit, dass zwei Ausdrücke denselben Wert bezeichnen; das übliche Zeichen ist "=". Die Gleichheitsrelation ist reflexiv, symmetrisch und transitiv.

In der Informatik bezeichnet ein Gleichheitscheck einen Vergleichsoperator oder eine Vergleichsfunktion, die prüft, ob zwei Operanden gleich sind. Abhängig von der Sprache kann man von Wertgleichheit oder Identität sprechen: Wertgleichheit bedeutet, dass die Werte denselben Sinn ergeben, Identität bedeutet, dass es sich um dasselbe Objekt im Speicher handelt. Viele Sprachen unterscheiden zwischen lockerer Gleichheit (mit Typkonversion) und strenger Gleichheit (ohne unerwünschte Typkonversion). Dadurch können bei Vergleichen Überraschungen auftreten, insbesondere bei Zahlen, Zeichenketten und unterschiedlichen Datentypen.

Typische Fallstricke betreffen NaN (eine Zahl ist niemals gleich zu sich selbst), das Verhalten bei Null, insbesondere das Vorzeichen bei Null (±0) in Gleitkommazahlen, sowie Typkonversionen. In sicherheitsrelevanten Kontexten sollte ein Gleichheitscheck die möglichen Timing-Informationen nicht offenzulassen; hierfür werden oft konstante Zeitvergleiche verwendet.

Gleichheitschecks finden breite Anwendung in der Validierung von Eingaben, in bedingter Logik, beim Filtern oder Sortieren von Daten, beim Entfernen doppelter Einträge und im Testen. Sie sind ein fundamentales Bauelement in Programmiersprachen, Datenbanken und mathematischen Beweisen, wobei die genauen Regeln vom Kontext abhängen.

Etymologie: Der Begriff verbindet Gleichheit mit Check und spiegelt seine Verwendung über verschiedene Fachgebiete hinweg wider.