比较 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 那么数组是 无法比较，否则 - 比较 按价值计算

在我们的例子中，数组 $x 中的每个键都存在于数组 $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 总是从符号 ' $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) < $y[key($x)] 和reset($y) < $x[key($y)] 两个条件都为真。

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

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

现在< 和> 在操作数的顺序固定时是一致的，但是当我们交换操作数时我们现在会出现奇怪的行为，因为我们仍然可以有cmp($x, $y) == -1 和cmp($y, $x) == -1，这意味着@ 987654332@ 和 $y < $x 都是真的。

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

Answer 3

我可能错了，但我认为你不能这样比较数组。我一直认为可以检查相等或不等，但不能用 比较数量。

man page on array operators 似乎证实了这一点。