当回调仅返回 0 或 1 时，array_uintersect() 会给出意外结果

Question

我在array_uintersect() 调用中有一个自定义回调，因为我需要区分大小写比较两个元素中的字符串，同时比较两个多维数组之间的行。

function filterIdenticalEntriesCallback($a, $b) {
    echo "<tr><td>{$a['file']}</td><td>{$b['file']}</td><td>{$a['md5']}</td><td>{$b['md5']}</td></tr>";
    if ( (strcmp($a['file'], $b['file']) == 0 ) && ( strcmp($a['md5'],$b['md5']) == 0)){ 
        return 0;
    }
    return 1;
}

$vieja = array(
        array('file' => 'a', 'md5' => '1'),     //cambia
        array('file' => 'b', 'md5' => '2'),     //igual
        array('file' => 'c', 'md5' => '3'),     //igual
        array('file' => 'd', 'md5' => '4'),     //igual
);

$nueva = array(
        array('file' => 'a', 'md5' => '2'),     //cambia
        array('file' => 'b', 'md5' => '2'),     //igual
        array('file' => 'c', 'md5' => '3'),     //igual
        array('file' => 'd', 'md5' => '4'),     //igual
);

echo "<table>";
$ignorar = array_uintersect($nueva, $vieja, 'filterIdenticalEntriesCallback');
echo "</table>";

echo "<pre>";
print_r($ignorar);
echo "</pre>";
?>

输出

b   a   2   2
b   c   2   3
d   b   4   2
a   c   2   3
b   a   2   1
b   c   2   3
d   b   4   2
a   c   1   3
c   c   3   3
c   a   3   2
a   a   2   1
a   b   2   2
a   d   2   4
Array
(
    [2] => Array
        (
            [file] => c
            [md5] => 3
        )

)

我不明白为什么这段代码没有产生正确的输出，它应该是一个包含“B”、“C”和“D”元素的数组，因为只有“A”元素从 $vieja 到 $新...

如果我让两个“A”元素都等于输出就可以了......

编辑：

function filterIdenticalEntriesCallback($a, $b) {
    echo "<tr><td>{$a['file']}</td><td>{$b['file']}</td><td>{$a['md5']}</td><td>{$b['md5']}</td></tr>";
    if (strcmp($a['file'], $b['file']) == 0 ){ 
        if ( strcmp($a['md5'],$b['md5']) == 0)
            return 0;
        else return 1;
    } else return -1;
}

使用此回调可以正常工作，但我仍然不明白为什么... -1 和 1 回调结果对函数意味着什么？我的意思是，我只需要相等的值...当回调返回 0...我不需要其他情况...

Answer 1

适合我的过滤器：

function filterIdenticalEntriesCallback($a, $b) {
        $cmp = strcmp($a['file'], $b['file']);
        if($cmp==0) {
                return strcmp($a['md5'], $b['md5']);
        } else {
                return $cmp;
        }
}

由于 intersect 内部的工作方式，如果第一个小于第二个，则必须返回负数，如果相同则返回 0，如果第一个大于第二个，则返回正数。 This has been observed before by nate.

---

更简洁的过滤功能：

function filterIdenticalEntriesCallback($a, $b) {
        if ($a==$b) {
                return 0;
        } else {
                return $a<$b ? -1 : 1;
        }
}

这是因为 PHP 进行比较的方式。理论上，此比较功能适用于任何两个相同类型的对象，您希望确保所有属性及其值都相同。

或者和一个班轮一样的东西：

function filterIdenticalEntriesCallback($a, $b) {
        return $a == $b ? 0 : ($a < $b ? -1 : 1);
}

Answer 2

PHP documentation 中的一条评论说你不能只返回 0 和 1，但你还必须有在适当的时候返回 -1 的情况。如果你也有一个返回 -1 的案例，你可能会有更好的运气。

Answer 3

是的，array_uintersect() 要求回调返回 3 路比较，因为它的性能优化依赖于它。

因为您要按照子数组元素在所有子数组中出现的顺序对子数组元素执行区分大小写的比较，并且因为所有子数组都具有完全相同的键，所以您可以使用“宇宙飞船运算符”进行无功能的 3 向评估”。

代码：(Demo)

var_export(
    array_uintersect(
        $nueva,
        $vieja,
        fn($a, $b) => $a <=> $b
    )
);

如果行中元素的顺序不一致，你可以依靠：

fn($a, $b) => [$a['file'], $a['md5']] <=> [$b['file'], $b['md5']]
//             ^^rule 1^^  ^^rule 2^       ^^rule 1^^  ^^rule 2^

或

fn($a, $b) => $a['file'] <=> $b['file'] ?: $a['md5'] <=> $b['md5']
//            ^^^^rule 1 comparison^^^^    ^^tie breaking rule 2^^

但如果我在随后的决胜局中使用函数调用（作为性能优化），我通常只使用多个宇宙飞船运算符。