Gleichheitsoperatoren

Gleichheitsoperatoren sind Operatoren, die zwei Operanden auf Gleichheit prüfen und ein Wahrheitswert zurückgeben. Sie bilden eine grundlegende Grammatikboth in Mathematik, Logik und Programmierung und unterscheiden sich je nach Kontext in der Art der festgestellten Gleichheit.

In der Mathematik bezeichnet das Gleichheitszeichen "=" eine eigentliche Gleichheit zwischen zwei Ausdrücken, d. h. beide Seiten stellen dieselbe Größe oder dieselbe Bedeutung dar. Die Gleichheitsrelation hat die Eigenschaften Reflexivität, Symmetrie und Transitivität. Neben der direkten Gleichheit gibt es auch verwandte Konzepte wie Äquivalenzrelationen oder Identität, die je nach Kontext anders definiert werden.

In der Informatik unterscheiden Gleichheitsoperatoren oft zwischen Wertgleichheit und Referenzgleichheit. Außerdem gibt es je nach Sprache Unterschiede beim Verhalten gegenüber Typen und Nullwerten. Typische Operatoren sind:

- Wertgleichheit: Beispiele wie == oder === in verschiedenen Sprachen; je nach Sprache kann === zusätzlich Typgleichheit prüfen.

- Ungleichheit: != oder <>.

- Referenz- bzw. Identitätsvergleich: in einigen Sprachen getrennt von der Wertgleichheit.

Wichtige praxisbezogene Punkte: in SQL prüft "=" die Gleichheit von Werten in Abfragen; bei NULL ergibt jeder Vergleich NULL (dreiwertiges Logiksystem). In JavaScript prüft == oft Typumwandlungen, während === strikte Gleichheit ohne Typkonversion sichert. Bei Gleitkommazahlen empfiehlt sich häufig eine Toleranz statt exakter Gleichheit.

Siehe auch: Equals-Methoden, Operatorüberladung, three-valued logic.