使用引用递归填充数组与手动填充同逻辑脚本的结果差异问题

看起来你遇到的问题其实是全局变量在递归中的引用处理导致的意外行为，不过先别急，我们一步步拆解原因：

为什么手动版本能正常工作？ #

你的手动版本逻辑很清晰：

1. 初始化根节点$arr[$sKey]，然后用$ptr引用这个节点
2. 每次给当前$ptr（也就是当前层级的数组）添加子节点，再把$ptr重新引用到这个新的子节点上
3. 重复这个过程，每次操作都基于当前层级的引用，自然会生成嵌套的树形结构

整个过程中，$ptr的引用一直是连续的，每一步都明确指向当前要操作的层级，所以最终$arr的嵌套关系完全符合预期。

递归版本的问题到底出在哪？ #

你说递归版本生成了扁平数组，其实严格来说，你的递归代码逻辑本身应该能生成树形结构，但问题出在global变量的使用和递归中引用的传递方式上：

1. 全局变量的共享性：你在递归函数里使用global $ptr，这意味着函数里的$ptr和全局的$ptr是同一个变量。每次递归修改$ptr = &$ptr[$sKey]，都会直接改变全局$ptr的指向。虽然这在逻辑上和手动版本类似，但PHP的引用机制在函数作用域中可能会出现一些你没注意到的细节——比如当递归函数返回时，全局$ptr并不会自动回退到上一层级，若后续有其他操作，很容易出现引用混乱，导致结构错误（这可能就是你看到扁平数组的核心原因）。

2. 次数不一致的误解：你的手动版本手动执行了3次添加操作（加上初始的根节点，共4层），而递归版本里$i=3，会执行3次递归调用，加上初始的根节点，最终会生成5层嵌套。如果你误以为递归版本应该和手动版本层数一致，可能会误以为结构不对，但本质还是树形的。

3. 全局变量的不可控性：即使当前代码能生成树形结构，依赖全局变量的递归写法也非常脆弱——比如如果有其他代码修改这些全局变量，或者递归逻辑稍微复杂一点，很容易出现引用覆盖，导致结构完全偏离预期。

正确的递归实现方式（避免全局变量） #

更好的做法是通过参数传递引用，把当前操作的数组指针、键值和剩余次数作为参数传入递归函数，这样每个递归层级的上下文都是独立可控的：

<?php 
$sKey = "key_1"; 
$sVal = "val_1"; 
$arr = array(); 
$depth = 3; // 要生成的嵌套层数

// 初始化根节点
$arr[$sKey] = array($sKey . "_1" => $sVal . "_1");
$currentPtr = &$arr[$sKey];
print_r($currentPtr);

/**
 * 递归生成树形结构
 * @param array &$ptr 当前要操作的数组引用
 * @param string &$key 当前层级的键
 * @param string &$val 当前层级的值
 * @param int $remaining 剩余要生成的层数
 */
function buildTree(&$ptr, &$key, &$val, $remaining) {
    if ($remaining <= 0) {
        return;
    }
    
    // 更新键值
    $key .= "_1";
    $val .= "_1";
    
    // 添加当前层级的子节点
    $ptr[$key] = array($key . "_1" => $val . "_1");
    
    // 获取子节点的引用，递归调用
    $childPtr = &$ptr[$key];
    print_r($childPtr);
    
    buildTree($childPtr, $key, $val, $remaining - 1);
}

// 调用递归函数
buildTree($currentPtr, $sKey, $sVal, $depth);

echo "---------\n";
print_r($arr);
?>

这个版本的优点：

• 没有依赖全局变量，每个递归层级的状态通过参数传递，逻辑更清晰
• 引用传递明确，不会出现意外的变量覆盖
• 可以通过$depth参数灵活控制嵌套层数

总结 #

你的递归版本逻辑本身没问题，但依赖全局变量的写法容易导致引用混乱，进而出现结构错误。改用参数传递引用的方式，既能保证递归逻辑的正确性，也让代码更健壮、易维护。

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