在 PHP 中比较数组 - 有趣的行为

Question

第一个示例：

$x = array("a" => 1, "b" => 2); 
$y = array("b" => 1, "a" => 2);
$xLessY = ($x < $y);
$xGreaterY = ($x > $y);
var_dump($xLessY, $xGreaterY);

结果：$xLessY = true，$xGreaterY = true

第二个示例：

$x = array("a" => 2, "b" => 1); 
$y = array("b" => 2, "a" => 1);
$xLessY = ($x < $y);
$xGreaterY = ($x > $y);
var_dump($xLessY, $xGreaterY);

结果：$ xLessY = false, $xGreaterY = false

根据 http://docs.php.net/manual/en/language.operators.comparison.php：

如果操作数 1 中的键未在以下位置找到 操作数 2 那么数组是 无法比较，否则 - 比较 按价值计算

存在于数组 $y 中，因此 $x 和 $y 是可比较的。 另请参阅文档中的示例：

// Arrays are compared like this with standard comparison operators
function standard_array_compare($op1, $op2)
{
    if (count($op1) < count($op2)) {
        return -1; // $op1 < $op2
    } elseif (count($op1) > count($op2)) {
        return 1; // $op1 > $op2
    }
    foreach ($op1 as $key => $val) {
        if (!array_key_exists($key, $op2)) {
            return null; // uncomparable
        } elseif ($val < $op2[$key]) {
            return -1;
        } elseif ($val > $op2[$key]) {
            return 1;
        }
    }
    return 0; // $op1 == $op2
}

这种行为确实很奇怪：$x 小于 $y，同时 $x 大于 $y（第一个示例），并且两个数组是可比较的。

我认为这是因为 php 总是从符号“<”的一侧开始进行比较。我的意思是： for ($x < $y) php 将 $x 作为操作数 1，对于 ($x > $y) 它将 $y 作为操作数 1。尽管我在文档中没有找到有关此行为的任何内容。
您对此有何看法？

Answer 1

你的假设是正确的。 > 运算符被解析为

|   expr '>' expr { zend_do_binary_op(ZEND_IS_SMALLER, &$, &$3, &$1 TSRMLS_CC); }

这基本上是说，X > Y 相当于 not X Y，当比较不可交换时，这当然是错误的。考虑在 bugs.php.net 上报告此问题。

Answer 2

我不会说这个错误是在 $x > 中。 $y 被替换为 $y $x。

当然，如果你实现了 $x > $y 以参数在传递给比较函数时不交换位置的方式，您将解决这个特定问题。但你会得到另一个回报。

现在你有：

$x < $y <=> cmp($x, $y) == -1
$x > $y <=> cmp($y, $x) == -1

因为第一个参数的第一个键总是首先比较，所以如果 reset($x) reset($x) reset($x) reset($x) reset($x) reset($x) reset($x) $y[key($x)] 和 reset($y) $x[键($y)]。

但考虑另一种实现，它可以解决这个问题：

$x < $y <=> cmp($x, $y) == -1
$x > $y <=> cmp($x, $y) == +1

现在，当操作数的顺序固定时， < 和 > 是一致的，但是当我们交换操作数，因为我们仍然可以有 cmp($x, $y) == -1 和 cmp($y, $x) == -1，这将意思是 $x < $y 和 $y < $x 都是 true。

总之，唯一的解决方案是修复比较函数，使其行为是反对称的，即 cmp($x, $y) == - cmp($y, $x)，至少在一组声称具有可比性的元素中。

Answer 3

我可能是错的，但我认为你不能那样比较数组。我总是假设人们可以检查相等或不相等，但不能将数量与 << 进行比较。和>。

数组运算符的手册页似乎证实了这一点。