会，global 和 static 都会污染递归状态：global 导致所有层级共享变量且并发不安全，static 无法为每层递归提供独立副本；唯一安全方式是将状态作为参数显式传递。
递归函数里用 global 会污染状态吗？
会，而且污染得非常隐蔽。比如你在递归函数里写 global $counter，然后每次调用都 $counter++，那所有递归层级共享同一个 $counter，根本分不清是哪一层改的。更糟的是，如果这个函数被并发调用（比如 Web 请求并行进来），$counter 的值会彻底错乱——它不是线程安全的，PHP 的 FPM worker 之间也不隔离。
为什么不能靠 static 变量隔离递归状态？
static 变量在函数首次执行时初始化，之后每次调用都复用同一份内存，它解决的是「跨多次函数调用保持值」的问题，不是「单次递归调用链内各层独立状态」的问题。也就是说：static $depth = 0 在整个递归过程中只会有一个 $depth，你无法让第 3 层递归有自己的 $depth 副本。
- 适合场景：计数器、缓存单例、初始化一次的配置
- 不适合场景：需要每层递归各自维护边界（如
start/end）、深度标记、路径栈
真正安全的递归状态传递方式
把状态作为参数显式传入，而不是依赖任何外部变量。这是唯一能保证每次递归调用完全独立的方式。
- 主函数只负责初始参数，例如
reverseArray($arr) - 实际递归逻辑放在私有辅助方法中，签名类似
reverseArrayHelper($arr, $start, $end) - 每次递归调用都传新值：
reverseArrayHelper($arr, $start + 1, $end - 1) - 绝不读写
$GLOBALS、不声明global、不依赖static变量存递归上下文
示例片段：
立即学习“PHP免费学习笔记（深入）”；
function reverseArray($arr) {
if (empty($arr)) return $arr;
return reverseArrayHelper($arr, 0, count($arr) - 1);
}
<p>function reverseArrayHelper($arr, $start, $end) {
if ($start >= $end) return $arr;
$arr[$start] = $arr[$end];
$arr[$end] = $arr[$start];
return reverseArrayHelper($arr, $start + 1, $end - 1);
}测试时尤其要注意全局状态残留
如果你在 PHPUnit 测试里用了 global 或 static 来辅助递归逻辑，哪怕只是临时调试，也会导致测试污染——前一个 testReverse() 改了 $global_step，后一个 testSort() 就可能意外读到非零值。这时候 sebastian/global-state 的 Snapshot 类就不是“可选”，而是必需：它能在每个测试前后自动捕获并恢复 $GLOBALS 和静态属性状态。
真正容易被忽略的点是：递归函数本身不“看起来”像会污染，但只要它依赖任何跨调用生命周期的变量，就天然和测试隔离相冲突。
