为何使用array_walk()调用原生排序函数需传显式参数？排序异常解析

测试背景与问题发现 #

对二维数组测试后发现：当子数组长度为12时，使用array_walk()调用原生排序函数会出现意外排序结果，涉及键2、5、10、13的场景。

测试代码 #

$expected = range(0, 11);
$array = array_fill(0, 50, $expected);  // 创建包含50行、每行12个整数的二维数组

array_walk($array, 'sort');  // 对每行的12个整数进行排序

var_export(
    array_filter(
        $array,
        fn($row) => $row !== $expected  // 筛选出排序错误的行
    )
);

测试结果 #

• ❌ sort() 处理二级整数值测试失败
• ❌ sort() 处理二级浮点数值测试失败
• ❌ sort() 处理二级数字字符串值测试失败
• ✅ sort() 处理二级非数字字符串值测试成功
• ❌ krsort() 处理二级数字字符串值测试失败
• ❌ krsort() 处理二级整数值测试失败
• ✅ krsort() 处理二级非数字字符串值测试成功
• ❌ 对字母数字字符串行排序会产生大量无法枚举的意外结果

疑问 #

1. 为何会出现这些排序不一致的情况？
2. 为何使用array_walk()调用原生排序函数时需要传入显式的排序函数参数？

问题解答 #

一、排序不一致的核心原因 #

问题根源在于数组引用共享和排序函数的修改特性：

1. array_fill()创建的二维数组中，所有子数组都是对同一个$expected数组的引用，而非独立副本。第一次调用sort()就会直接修改原始的$expected数组，后续所有子数组的排序操作都是基于这个已经被修改过的数组进行，自然会出现混乱的结果。
2. 子数组长度为12时，刚好触发了排序算法的边界逻辑（比如快速排序的分区规则），导致重复排序引用数组时出现不稳定的结果。而非数字字符串排序不受影响，是因为这类排序完成后数组已处于稳定有序状态，后续重复排序不会改变结果。

二、为何需要显式传递排序逻辑 #

PHP原生排序函数（如sort()）是按引用修改数组，但array_walk()默认传递的是数组元素的值（非引用），且直接传递'sort'作为回调时，参数传递不符合预期：array_walk()会将子数组和键名作为两个参数传给回调，但sort()只接受一个数组参数（且需要是引用）。

正确的做法是使用匿名函数显式传递引用，确保排序函数能正确操作每个子数组，示例代码：

array_walk($array, function(&$row) {
    sort($row);
});

这样每个子数组都会被独立地按引用传递给sort()，避免因引用共享或参数传递错误导致的排序异常。

内容的提问来源于stack exchange，提问作者mickmackusa