为什么array_uinterselect()比较array1&amp；array2、array1&amp；array1和array2&amp；array2之间的元素？

测试脚本

$i = 0;
array_uintersect(['foo', 'bar'], ['baz', 'qux'], function($a, $b) use (&$i) {
    print_r([$a, $b, $i++]);
});

实际结果

Array
(
    [0] => bar
    [1] => foo
    [2] => 0
)
Array
(
    [0] => qux
    [1] => baz
    [2] => 1
)
Array
(
    [0] => bar
    [1] => qux
    [2] => 2
)
Array
(
    [0] => bar
    [1] => foo
    [2] => 3
)

预期结果

Array
(
    [0] => foo
    [1] => baz
    [2] => 0
)
Array
(
    [0] => bar
    [1] => qux
    [2] => 1
)

换句话说，我希望传递给回调的是左数组的当前元素和右数组的当前元素。

此外，如果我要向array_uintersect传递额外的数组-向回调传递多一个参数(例如，$c)，我预计也会应用相同的逻辑。

有人能解释一下这种行为吗？

---

解决方案

array_uintersect docs中没有提到的是，在内部，PHP sorts all the arrays先从左到右。仅在数组排序后，PHP才遍历它们(再次从左到右)以查找交叉点。

第三个参数(比较函数)传递给内部排序算法，而不是交集算法。因此，看到的调试输出是计算排序的排序算法。

zend_sort implementation一般uses a bisecting quick sort implementation。对于示例中大小相同的数组，PHP使用插入排序。对于大型数组，PHP使用3或5点枢轴，以便improve worst-case complexity。

由于您没有从比较函数显式返回任何值，因此PHP默认返回NULL(0)，并且由于PHP使用插入排序，因此当排序遍历所有组合时，您将看到O(n*n)行为。