PHP多数组交集：严格模式与键名保留详解

array_intersect用于找出多个数组值的交集，保留第一个数组的键名，仅比较值而不比较键。默认使用松散比较（如1=='1'），若需严格比较（值和类型均相同），可自定义函数实现。支持两个及以上数组操作，返回在所有数组中共同存在的值，键来自第一个数组。多数组场景下逻辑一致，仅当元素值在各数组均存在时才被保留。

在 PHP 中，array_intersect 函数用于找出多个数组之间的交集元素。但它的行为和你是否使用严格比较、是否关心键名有关。理解这些细节对处理复杂数据结构很重要。

基本用法：求两个数组的值交集

array_intersect 比较两个或多个数组的值，返回包含所有在其他数组中也存在的值的数组。注意：它只比较值，不比较键，并且保留第一个数组中的键名。

$arr1 = ['a' => 1, 'b' => 2, 'c' => 3];
$arr2 = ['x' => 2, 'y' => 3, 'z' => 4];

$result = array_intersect($arr1, $arr2);
// 结果: ['b' => 2, 'c' => 3]

这里虽然 $arr2 的键不同，但值 2 和 3 在两个数组中都存在，所以被保留，且使用 $arr1 中对应的原始键。

多数组交集：支持三个及以上数组

你可以传入多个数组，array_intersect 会返回在所有数组中都存在的值。

$arr1 = [1, 2, 3, 4];
$arr2 = [2, 3, 5];
$arr3 = [2, 3, 6];

$result = array_intersect($arr1, $arr2, $arr3);
// 结果: [0 => 2, 1 => 3]

只有 2 和 3 同时存在于三个数组中，因此它们被保留，键来自 $arr1。

严格模式：类型敏感的比较

默认情况下，array_intersect 使用松散比较（loose comparison），即 1 == '1' 被认为相等。如果你需要严格比较（值和类型都相同），PHP 提供了替代函数：

• array_intersect_assoc：同时比较键和值（仍为松散）
• array_intersect_uassoc：自定义键比较函数
• array_intersect_key：仅比较键

但要实现值的严格比较，没有直接的内置函数如 array_intersect_strict，你需要手动处理：

function array_intersect_strict($arr1, $arr2) {
    $result = [];
    foreach ($arr1 as $key => $value) {
        foreach ($arr2 as $val) {
            if ($value === $val) { // 严格比较
                $result[$key] = $value;
                break;
            }
        }
    }
    return $result;
}

$a = [1, '1', 2, 3];
$b = [1, 4, 5];

var_dump(array_intersect_strict($a, $b));
// 输出: [0 => 1]，但不会包含字符串 '1'

键名保留机制

array_intersect 始终保留第一个数组中的键名。即使值相同，如果键不同，结果仍使用 $arr1 的键。

$arr1 = ['first' => 'apple', 'second' => 'banana'];
$arr2 = ['any' => 'apple', 'other' => 'cherry'];

$result = array_intersect($arr1, $arr2);
// 结果: ['first' => 'apple']

尽管第二个数组也有 'apple'，但结果中保留的是 $arr1 的键 'first'。

基本上就这些。掌握 array_intersect 的值比较逻辑、键保留规则以及如何模拟严格模式，能帮你更准确地处理数组交集问题。遇到类型敏感场景时，建议封装一个严格比较函数。