Wie unterscheiden sich die PHP-Vergleichsoperatoren für Gleichheit (== double equals) und Identität (=== triple equals)?

Question

Was ist der Unterschied zwischen == y === ?

• Wie genau funktioniert die lockere == Vergleich funktionieren?
• Wie genau funktioniert die strenge === Vergleich funktionieren?

Was wären einige nützliche Beispiele?

Answer 1

Der Unterschied zwischen == y ===

Der Unterschied zwischen der lockeren == Gleichheitsoperator und der strenge === identische Operator ist genau erklärt in der Handbuch :

Vergleichsoperatoren

 Example   Name       Result                                                    

$a ==  $b  Equal      TRUE if $a is equal to $b after type juggling.            
$a === $b  Identical  TRUE if $a is equal to $b, and they are of the same type. 

---

Lose == gleicher Vergleich

Wenn Sie die == Operator oder jeder andere Vergleichsoperator, der einen losen Vergleich verwendet, wie z.B. != , <> ou == müssen Sie immer auf die Kontext um zu sehen, was, wo und warum etwas umgewandelt wird, um zu verstehen, was vor sich geht.

Umrechnungsregeln

• Umwandlung in boolesche Werte
• Umwandlung in Ganzzahl
• Umrechnung in Float
• Umwandlung in eine Zeichenkette
• Konvertierung in Array
• Umwandlung in ein Objekt
• Umwandlung in eine Ressource
• Umwandlung in NULL

Typenvergleichstabelle

Als Referenz und Beispiel können Sie die Vergleichstabelle in der Handbuch :

Lose Vergleiche mit ==

          TRUE   FALSE    1      0     -1     "1"    "0"   "-1"   NULL   array()  "php"   ""   

 TRUE     TRUE   FALSE  TRUE   FALSE  TRUE   TRUE   FALSE  TRUE   FALSE  FALSE    TRUE   FALSE 
 FALSE    FALSE  TRUE   FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  TRUE   TRUE     FALSE  TRUE  
 1        TRUE   FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 0        FALSE  TRUE   FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  TRUE   FALSE    TRUE   TRUE  
 -1       TRUE   FALSE  FALSE  FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  FALSE    FALSE  FALSE 
 "1"      TRUE   FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 "0"      FALSE  TRUE   FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  FALSE  FALSE    FALSE  FALSE 
 "-1"     TRUE   FALSE  FALSE  FALSE  TRUE   FALSE  FALSE  TRUE   FALSE  FALSE    FALSE  FALSE 
 NULL     FALSE  TRUE   FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  TRUE   TRUE     FALSE  TRUE  
 array()  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  TRUE   TRUE     FALSE  FALSE 
 "php"    TRUE   FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    TRUE   FALSE 
 ""       FALSE  TRUE   FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  TRUE   FALSE    FALSE  TRUE  

Streng === gleicher Vergleich

Wenn Sie die === Operator oder jeder andere Vergleichsoperator, der einen strengen Vergleich verwendet, wie z. B. !== ou === dann können Sie immer sicher sein, dass die Typen nicht magisch ändern, denn es wird keine Umwandlung stattfinden. Bei einem strengen Vergleich müssen also Typ und Wert gleich sein, nicht nur der Wert.

Typenvergleichstabelle

Als Referenz und Beispiel können Sie die Vergleichstabelle in der Handbuch :

Strenge Vergleiche mit ===

          TRUE   FALSE    1      0     -1     "1"    "0"   "-1"   NULL   array()  "php"   ""   

 TRUE     TRUE   FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 FALSE    FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 1        FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 0        FALSE  FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 -1       FALSE  FALSE  FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 "1"      FALSE  FALSE  FALSE  FALSE  FALSE  TRUE   FALSE  FALSE  FALSE  FALSE    FALSE  FALSE 
 "0"      FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  TRUE   FALSE  FALSE  FALSE    FALSE  FALSE 
 "-1"     FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  TRUE   FALSE  FALSE    FALSE  FALSE 
 NULL     FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  TRUE   FALSE    FALSE  FALSE 
 array()  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  TRUE     FALSE  FALSE 
 "php"    FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    TRUE   FALSE 
 ""       FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE  FALSE    FALSE  TRUE  

Answer 2

Mit dem Operator == wird zwischen zwei verschiedenen Typen gecastet, wenn sie unterschiedlich sind, während der Operator === einen "typensicheren Vergleich" durchführt. Das bedeutet, dass er nur dann true zurückgibt, wenn beide Operanden denselben Typ und denselben Wert haben.

Beispiele:

1 === 1: true
1 == 1: true
1 === "1": false // 1 is an integer, "1" is a string
1 == "1": true // "1" gets casted to an integer, which is 1
"foo" === "foo": true // both operands are strings and have the same value

Warnung : Zwei Instanzen derselben Klasse mit gleichwertigen Mitgliedern entsprechen NICHT dem === Betreiber. Beispiel:

$a = new stdClass();
$a->foo = "bar";
$b = clone $a;
var_dump($a === $b); // bool(false)

Answer 3

Ein Bild sagt mehr als tausend Worte:

PHP Double Equals == Gleichheitsdiagramm:

PHP Dreifach-Gleichungen === Gleichheitsdiagramm:

Quellcode zur Erstellung dieser Bilder:

https://github.com/sentientmachine/php_equality_charts

Guru-Meditation

Diejenigen, die ihren Verstand bewahren wollen, lesen nicht weiter, denn nichts davon wird einen Sinn ergeben, außer dass das Wahnsinnsfraktal von PHP so konzipiert wurde.

1. NAN != NAN sondern NAN == true .

2. == wandelt den linken und den rechten Operanden in Zahlen um, wenn links eine Zahl ist. Also 123 == "123foo" mais "123" != "123foo"

3. Eine hexadezimale Zeichenkette in Anführungszeichen ist gelegentlich ein Fließkomma und wird gegen Ihren Willen in ein Fließkomma umgewandelt, was einen Laufzeitfehler verursacht.

4. == ist nicht transitiv, weil "0"== 0 そして 0 == "" sondern "0" != ""

5. PHP-Variablen, die noch nicht deklariert wurden, sind falsch, obwohl PHP eine Möglichkeit hat, undefinierte Variablen darzustellen, wird diese Funktion mit == .

6. "6" == " 6" , "4.2" == "4.20" そして "133" == "0133" sondern 133 != 0133 . Aber "0x10" == "16" y "1e3" == "1000" dass die überraschende Konvertierung von Zeichenketten in oktale Werte sowohl ohne Ihre Anweisung als auch ohne Ihre Zustimmung erfolgt und einen Laufzeitfehler verursacht.

7. False == 0 , "" , [] y "0" .

8. Wenn Sie 1 zu einer Zahl addieren und diese bereits ihren Maximalwert hat, wird sie nicht umgeschlagen, sondern in infinity .

9. Eine neue Klasse ist == bis 1.

10. False ist der gefährlichste Wert, weil False für die meisten anderen Variablen == ist, was den Zweck der Variablen weitgehend zunichte macht.

Hoffnung:

Wenn Sie PHP verwenden, sollten Sie den Operator double equals nicht verwenden, denn wenn Sie triple equals verwenden, sind die einzigen Randfälle, über die Sie sich Sorgen machen müssen, NAN und Zahlen, die so nahe am Maximalwert ihres Datentyps liegen, dass sie ins Unendliche geworfen werden. Mit double equals kann alles eine Überraschung sein == zu irgendetwas oder, oder kann überraschend gegen Ihren Willen gecastet werden und != zu etwas, dem es offensichtlich gleich sein sollte.

Überall, wo Sie == in PHP ist ein schlechter Codegeruch wegen der 85 Fehler, die durch implizite Casting-Regeln aufgedeckt werden, die anscheinend von Millionen von Programmierern entwickelt wurden, die nach dem Prinzip der Brownschen Bewegung programmieren.

Answer 4

In Bezug auf JavaScript:

Der ===-Operator funktioniert genauso wie der ==-Operator, erfordert aber, dass seine Operanden nicht nur denselben Wert, sondern auch denselben Datentyp haben.

Das folgende Beispiel zeigt zum Beispiel "x und y sind gleich", aber nicht "x und y sind identisch".

var x = 4;
var y = '4';
if (x == y) {
    alert('x and y are equal');
}
if (x === y) {
    alert('x and y are identical');
}

Answer 5

Eine Ergänzung zu den anderen Antworten zum Objektvergleich:

\== vergleicht Objekte anhand des Namens des Objekts und seiner Werte. Wenn zwei Objekte vom gleichen Typ sind und die gleichen Mitgliedswerte haben, $a == $b ergibt wahr.

\=== Vergleicht die interne Objekt-ID der Objekte. Auch wenn die Mitglieder gleich sind, $a !== $b wenn es sich nicht um genau dasselbe Objekt handelt.

class TestClassA {
    public $a;
}

class TestClassB {
    public $a;
}

$a1 = new TestClassA();
$a2 = new TestClassA();
$b = new TestClassB();

$a1->a = 10;
$a2->a = 10;
$b->a = 10;

$a1 == $a1;
$a1 == $a2;  // Same members
$a1 != $b;   // Different classes

$a1 === $a1;
$a1 !== $a2; // Not the same object