本文详解如何使用自定义递归函数合并两个关联数组，确保键名不丢失、嵌套数组被正确合并，并解释 === 与 == 在数组比较中的关键差异及实际影响。
本文详解如何使用自定义递归函数合并两个关联数组，确保键名不丢失、嵌套数组被正确合并，并解释 `===` 与 `==` 在数组比较中的关键差异及实际影响。
在 PHP 中，array_merge() 会重置数字键且对字符串键采用“后覆盖前”的简单策略，无法满足“保留原始键 + 深度优先继承默认值”的需求。而 array_merge_recursive() 虽支持递归，但会对同名键的值自动封装为数组（如 'some_one' => ['some_text', 'some_text_2']），违背预期逻辑。
因此，需实现一个键优先、非覆盖式递归合并函数：以 $array_1（主配置）为基准，仅从 $array_2（默认配置）中补全 $array_1 中不存在的键；若键已存在且双方均为数组，则递归合并其子项；其余情况（如字符串/数字）完全保留 $array_1 的值。
以下是优化后的标准实现：
function array_merge_preserve_keys(array $primary, array $defaults): array
{
$result = $primary;
foreach ($defaults as $key => $value) {
// 若主数组中无此键，直接注入
if (!array_key_exists($key, $primary)) {
$result[$key] = $value;
}
// 若键存在且双方均为数组，递归合并
elseif (is_array($value) && is_array($primary[$key])) {
$result[$key] = array_merge_preserve_keys($primary[$key], $value);
}
// 其他情况（标量、null、对象等）不覆盖，保持 $primary 原值
}
return $result;
}✅ 使用示例：
立即学习“PHP免费学习笔记（深入）”；
$array_1 = [
'some_one' => 'some_text',
'array_1' => ['value_1_1', 'value_1_2'],
];
$array_2 = [
'some_one' => 'some_text_2', // 将被忽略（$array_1 已存在）
'array_0' => ['value_0_1', 'value_0_2'],
'array_1' => ['value_defaults_1_1', 'value_defaults_1_2'], // 递归合并 → 仍为 $array_1 值
'array_2' => ['value_defaults_2_1', 'value_defaults_2_2'],
];
$merged = array_merge_preserve_keys($array_1, $array_2);
// 结果完全匹配 $array_true：'some_one' 和 'array_1' 来自 $array_1，'array_0'/'array_2' 来自 $array_2⚠️ 关键注意事项：
-
数组顺序不影响功能：PHP 关联数组的键值对顺序在语义上无关紧要（
===严格比较顺序，==不比较顺序）。若需var_dump()输出顺序一致，可按需对$result键排序（如ksort($result)），但生产环境无需为此牺牲性能。 -
避免
===比较数组：$a === $b要求键值对完全相同且顺序一致，而 PHP 数组遍历顺序依赖插入顺序，不同合并路径可能导致顺序差异。应使用$a == $b进行逻辑相等判断（验证键值对是否一致）。 -
类型安全建议：若业务强依赖类型（如
null与''区分），可在递归前增加类型校验，但本函数默认遵循“主配置优先”原则，不强制转换类型。 -
循环引用防护：该函数未内置循环引用检测。若配置数组可能存在自我嵌套（极少见），需额外添加
spl_object_hash()或引用追踪机制。
? 总结：array_merge_preserve_keys() 是处理“主配置 + 默认配置”场景的理想工具——它尊重主数组的完整性，精准补充缺失结构，同时通过递归保障嵌套层级的一致性。搭配 == 进行结果验证，即可稳健支撑配置管理、模板数据合并等核心业务逻辑。
