¿Todas las comparaciones de igualdad de PHP son simétricas?

Question

¿Es $a == $b siempre equivalente a $b == $a?

Creo que en JavaScript hay algunos casos extraños donde eso no es cierto, debido a la fundición.

Creo que ide es correcto. Preguntaré otro question.

Answer 1

Depende de lo que ocurra entre esas dos llamadas. De lo contrario, sí, esos son lo mismo. La orden no hace diferencia. El uso de 2 es igual a == Una cadena de 1 y un entero de 1, devolverá verdadero en comparación. El tipo se ignora, solo se compara el valor. Entonces no hay maldad.

http://php.net/manual/en/language.operators.comparison.php

<? 

$a=(string) 1; 
$b=(int) 1; 

var_dump($a); 
var_dump($b); 


echo $a==$b; 

Salidas: 1

http://www.ideone.com/JLJWQ

EDIT

Para aclarar, no hay absolutamente nada que nunca se puede poner en $ ao $ b para obtener una salida diferente en la comparación, simplemente poniéndolo del otro lado del operador.

$a="1234"; 
$b="1234"; 

echo $a==$b; 
echo $b==$a; 

La salida del que, para cualquier $ ao $ b valores, siempre y sin lugar a dudas ser verdad verdadera, falsa o falsa.

Answer 2

En resumen, sí. $a == $b siempre será el equivalente a $b == $a. Hay algunas deficiencias, como flotadores. Por supuesto, no deberías anidar dos flotadores para la igualdad de todos modos.

EDITAR
flotadores que afectan a: Si tuviera dos flotador y los compararon, que técnicamente deben ser los mismos. Sin embargo, los valores de punto flotante que parecen tener el mismo valor no necesitan ser realmente idénticos. Entonces, si $a es un literal .69 y $b es el resultado de un cálculo, pueden ser muy diferentes, pero ambos muestran el mismo valor. Esta es la razón por la que nunca debe comparar los valores de punto flotante usando ==.

Si necesita comparar valores de coma flotante, realmente necesita usar la diferencia aceptable más pequeña en su caso específico. Algo como esto funcionaría para la comparación de los flotadores (ajuste de nuestra diferencia aceptable más pequeño en 0.000001):

if(abs($a-$b) < 0.000001) { 
    //Same 
} 

PHP: abs - Absolute Value

Answer 3

http://php.net/manual/en/language.operators.comparison.php

Hay operadores diffrent puede utilizar si usted desea considerar la conversión de tipos de la comparación. == se evalúa como verdadero en un valor igual, pero no compara el tipo de datos. === se evalúa como verdadero cuando los valores son iguales al igual que los tipos de datos. El uso de este último considera la conversión de tipo donde normalmente se ignoraría (por ejemplo: cadena que representa un entero y un entero que se está comparando).

El orden de la lógica en el condicional no debe marcar la diferencia.

Answer 4

me han tratado una serie de variaciones y no se puede encontrar un caso en el que ($a == $b) !== ($b == $a) pero ninguno hasta ahora han trabajado:

<?php 

$a = 0; 
$b = "0"; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = 0; 
$b = NULL; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = 0; 
$b = false; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = false; 
$b = NULL; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = ""; 
$b = NULL; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = "NULL"; 
$b = NULL; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = 0.000000000000000000000000001; 
$b = 0; 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

$a = array(); 
$b = array(); 

echo (($a == $b) == ($b == $a)) ? "OK\n" : "FAIL\n"; 

Por lo tanto, renunciar a este punto. Ideas bienvenidas!

Answer 5

El único tipo que podía ver ser diferente es algo así como:

$foo = 1; 
$bar = 1; 

($foo = $foo + $bar) == ($bar = $foo); 

Para ver por qué, mirarlo

A -> ($foo = $foo + $bar) 
B -> ($bar = $foo); 

Si A se ejecuta en primer lugar, el resultado será 2 y el resultado de B será 2, por lo que son iguales y la prueba será true.

Si B se ejecuta en primer lugar, el resultado será 1, y el resultado de B habrá 2, por lo que no son iguales y la prueba habrá false.

Pero para cualquier comparación de un solo tipo (Donde A es una variable y no una expresión) siempre será reflexivo.

Por lo tanto, en el sentido general, A == B no siempre es 100% garantizado que es equivalente a B == A. Para las variables, siempre será equivalente. Pero para expresiones complejas que implican asignación o modificación de variables, puede no serlo.