使用 array_diff_uassoc() 时，原始数组的键顺序是否会被保留？

M66 2025-06-06

在 PHP 中，array_diff_uassoc() 是一个非常有用的数组函数，它可以计算两个数组的差集，同时还允许用户使用自定义的比较函数来比较数组的键。很多开发者在使用该函数时常常有一个疑问：

为了回答这个问题，我们首先需要了解 array_diff_uassoc() 的基本使用方法以及它的行为。

array_diff_uassoc() 函数简介

array_diff_uassoc() 函数用于计算两个数组之间的差集，类似于 array_diff()，但与之不同的是，array_diff_uassoc() 会同时比较数组的键和值。它的函数原型如下：

array array_diff_uassoc ( array $array1 , array $array2 , callable $key_compare_func )

$array1: 这是第一个数组，将与其他数组进行比较。
$array2: 这是需要比较的数组，通常是一个或多个数组。
$key_compare_func: 这是一个自定义的回调函数，用于比较两个数组元素的键。该函数应该接受两个键作为参数并返回一个比较结果。

保留键顺序吗？

回到问题的核心，使用 array_diff_uassoc() 时，原始数组的键顺序会被保留吗？

答案是：是的，array_diff_uassoc() 会保留原始数组的键顺序。当执行数组差集操作时，array_diff_uassoc() 会遍历第一个数组（$array1），并按原始的键顺序返回那些在第二个数组中不存在的元素。也就是说，$array1 中的键顺序不会被打乱。

示例

我们可以通过以下示例来演示这一点：

<?php
$array1 = [
    0 => 'a',
    1 => 'b',
    2 => 'c',
    3 => 'd'
];

$array2 = [
    0 => 'a',
    2 => 'c'
];

$result = array_diff_uassoc($array1, $array2, 'strcasecmp');

print_r($result);
?>

输出：

Array
(
    [1] => b
    [3] => d
)

如上所示，array_diff_uassoc() 函数成功保留了 $array1 数组中键 1 和 3 的顺序，并且返回了那些在 $array2 中不存在的元素。这表明，原始数组的键顺序并没有改变。

为什么会保留键顺序？

这是因为 array_diff_uassoc() 的实现方式是基于 PHP 的 array_diff() 函数。array_diff() 函数返回的数组是按第一个数组（即 $array1）的顺序排列的，而 array_diff_uassoc() 在此基础上添加了键的比较功能。因此，它自然会保留原始数组的键顺序。

注意事项

虽然 array_diff_uassoc() 保留了原始数组的键顺序，但我们仍然需要注意以下几点：

如果第二个数组（$array2）中的元素包含与第一个数组中相同的键，那么这些元素会被从差集结果中移除，不管它们在第二个数组中的位置如何。
如果你需要对结果数组进行排序，PHP 提供了多个函数，如 ksort() 或 asort()，可以根据需求对结果进行排序。

结论

在使用 array_diff_uassoc() 时，原始数组的键顺序是会被保留的。这对于需要确保键顺序不被打乱的情况非常有用，特别是在处理需要维持某种顺序的多维数组或关联数组时。