array_udiff通过自定义比较函数计算数组差集，支持关联数组、对象等复杂结构，保留原数组键名，仅基于值的逻辑相等性判断差异。
在PHP中，array_udiff 是一个非常实用的函数，用于计算两个或多个数组之间的差集，但它与普通的 array_diff 不同，允许你使用自定义的比较函数。这在处理复杂结构（如关联数组、对象或嵌套数据）时特别有用。
array_udiff 基本语法
函数原型如下：
array_udiff(array $array1, array $array2, ..., callable $value_compare_func): array它会返回一个数组，包含 $array1 中存在但不在其他任何数组中的元素，比较过程由你提供的回调函数决定。注意：该函数只比较值，不比较键。
自定义比较函数的逻辑
回调函数必须接收两个参数，返回整数：
立即学习“PHP免费学习笔记（深入）”；
- 返回 0 表示两个元素相等
- 返回 大于0 表示第一个大于第二个
- 返回 小于0 表示第一个小于第二个
这个行为类似于 usort 使用的比较方式。
处理复杂结构：关联数组差集
假设你有两个用户数组，每个用户是一个包含 id 和 name 的关联数组，你想根据 id 找出差集：
$users1 = [
['id' => 1, 'name' => 'Alice'],
['id' => 2, 'name' => 'Bob'],
['id' => 3, 'name' => 'Charlie']
];
$users2 = [
['id' => 2, 'name' => 'Bob'],
['id' => 4, 'name' => 'David']
];
$result = array_udiff($users1, $users2, function($a, $b) {
return $a['id'] $b['id'];
});
// 输出: [['id' => 1, 'name' => 'Alice'], ['id' => 3, 'name' => 'Charlie']]
这里使用了太空船操作符 简化比较。只有当 id 不同时才会被视为“不同”，即使 name 不同但 id 相同也会被当作重复项排除。
保留原始键值的问题
array_udiff 不会重新索引键名，它保留原数组 $array1 中的键。这一点很重要，尤其当你使用的是关联数组时。
$roles1 = ['admin' => ['id' => 1, 'level' => 10],
'mod' => ['id' => 2, 'level' => 5],
'user' => ['id' => 3, 'level' => 1]
];
$roles2 = [
['id' => 2, 'level' => 5]
];
$result = array_udiff($roles1, $roles2, function($a, $b) {
return $a['id'] $b['id'];
});
// 结果保留键名：
// [
// 'admin' => ['id' => 1, 'level' => 10],
// 'user' => ['id' => 3, 'level' => 1]
// ]
可以看到，'admin' 和 'user' 的原始键被完整保留下来了。
多维数组与对象的注意事项
如果数组中是对象，也可以用类似方式比较：
class User {public $id; public $name;
function __construct($id, $name) { $this->id = $id; $this->name = $name; }
}
$users1 = [new User(1, 'Alice'), new User(2, 'Bob')];
$users2 = [new User(2, 'Bob'), new User(3, 'Carol')];
$result = array_udiff($users1, $users2, function($a, $b) {
return $a->id $b->id;
});
// $result 包含 id=1 的 Alice，且保持原始键
与 array_diff_assoc 的区别
array_udiff 只关心值的逻辑相等性（通过你的函数定义），而忽略键是否相同。如果你还需要考虑键的一致性，应结合 array_uintersect_assoc 或手动处理。
基本上就这些。array_udiff 在需要语义化比较复杂数据时非常强大，关键是写好那个比较函数，并理解它保留原始键的特性。不复杂但容易忽略。
