PHP递归中static变量与引用传递的常见陷阱及调试

这个例子只依赖 $n，所以键够用；但在真实业务中，递归函数可能同时依赖节点、权限、语言或过滤条件。缓存只记一个编号，往往会把上一种条件下的答案拿给下一种条件。

调试缓存递归时，可以临时打印输入参数、缓存命中与返回值，不要只打印最终结果：

echo sprintf(
    'n=%d, hit=%s, value=%d' . PHP_EOL,
    $n,
    isset($memo[$n]) ? 'yes' : 'no',
    $value
);

确认逻辑后再删除调试输出。static 缓存也会让同一请求内的后续调用受到前一次调用影响；需要可控生命周期时，显式传入缓存数组通常更容易测试和清空。

引用传递会把返回值变成共享状态

引用参数用 & 标记。递归函数接收引用后，任何一层对参数的修改都会影响调用者看到的变量；如果把数组元素或循环变量再绑定成引用，影响范围还会扩大。

通过引用传递数组，递归各层共同修改同一内存空间的数据

 0) {
        collect($n - 1, $result);
    }
}

$values = [];
collect(3, $values);
print_r($values); // 3, 2, 1, 0

这里引用是有意的：每一层都向同一个数组追加内容，调用结束后 $values 能看到全部结果。如果把 $result 误写成普通值传递，PHP 会按值语义处理，结果和性能表现就不同；如果不需要共享可变状态，直接返回数组往往更容易理解。

一个常见陷阱是 foreach 的引用变量：

foreach ($items as &$item) {
    $item = trim($item);
}
unset($item);

循环结束后应 unset($item)，否则 $item 仍然保持对数组最后一个元素的引用。后续代码如果再次给 $item 赋值，可能悄悄改掉数组最后一项。这个问题不只发生在递归里，但递归调用中的共享数组会让它更难定位。

递归状态混乱时，按三条线打印

遇到结果重复、计数异常或数组被改写，先不要立刻重写算法。给每次调用增加临时调试信息：

1. 当前参数：这层递归处理的 n、节点或路径是什么；
2. 进入前状态：缓存是否命中、数组有多少元素、引用对象是谁；
3. 返回后状态：本层返回了什么，是否改变了共享参数。

还要单独测试第二次顶层调用。普通局部变量每次调用会重新开始，但 static 会保留状态；引用参数则会把变化带回调用者。只测第一次调用，很容易把这两种行为误判成正常。

可以先把 static 缓存改成普通参数，把引用参数改成返回值，再比较输出：如果问题消失，说明根因是隐藏状态，而不是递归关系本身。

如何选择static、引用还是返回值

static 适合小型、明确的函数级缓存，但必须定义缓存键和生命周期；引用适合需要在原数组上累积结果、并且接口明确表达会修改输入的场景；返回值适合让每一层结果独立、便于测试和组合的算法。

不要为了少写一次 return 就使用引用，也不要为了省数组参数就把业务状态塞进 static。递归最重要的是每层状态都能解释：输入如何缩小，结果在哪里汇合，什么时候停止，以及一次顶层调用结束后哪些数据仍然会留下。