PHP递归中用static变量共享状态危险，因其跨调用层级持久存在，导致并发调用污染、递归层间值覆盖、多入口互相干扰、协程中不可靠；应改用参数显式传递状态。
PHP递归中用static变量共享状态为什么危险？static 变量在递归函数里会跨调用层级持续存在，看似方便存深度或计数，实则极易污染——同一函数的多次并发调用（比如 Web 请求并行处理）会共用同一个 static 变量，导致路径错乱、计数跳变、甚至返回错误结果。更隐蔽的问题是：递归未结束前，static 值被下一层覆盖，上层返回时已不是原值。
-
static 变量生命周期绑定函数定义，不随调用栈隔离
- 多次递归入口（如不同树根节点）调用同一函数时，
static 状态互相干扰
- 协程或异步上下文（如 Swoole task）中完全不可靠，无作用域边界
用参数传递代替全局/静态状态最稳妥
所有需要延续的状态——路径数组、当前深度、已访问集合、过滤条件——必须作为函数参数显式传入，每次递归都生成新副本。PHP 不支持尾递归优化，但参数传递能保证每层独立、可预测。
- 初始调用写成
traverse($node, [], 0, new SplObjectStorage())，而非 traverse($node)
- 路径拼接用
array_merge($path, [$node['id']]) 或 [$node['id'], ...$path]，避免 array_push() 原地修改
- 已访问标记用
SplObjectStorage 或 hash($node['id'] . $depth)，不用普通数组键名防冲突
- 深度控制放在递归开头：
if ($depth > 100) return [];，比结尾检查更早止损
嵌套递归时如何隔离内外层状态？
外层遍历树结构、内层计算子树统计，两套逻辑不能共用 static 或全局变量。各自维护独立参数流，通过返回值桥接，而非共享中间状态。
- 外层函数
buildMenuTree() 调用内层 countActiveChildren($node) 时，只接收返回数字，不传入任何引用或 static 变量
- 内层函数若需自身递归，也必须用参数传
$acc、$visited 等，禁止读取外层函数的局部变量
- 若状态复杂（如同时要路径+计数+标记），封装为
readonly class TraverseState，构造即冻结，杜绝误改
contextvars 在 PHP 中不可用，替代方案是什么？
PHP 没有 contextvars，无法像 Python 那样动态绑定调用链上下文。此时唯一可靠路径是彻底放弃隐式状态，把所有上下文“摊平”为参数。哪怕多传两个参数，也比用 global、static 或闭包捕获强。
-
global $step_counter 在 FastCGI 或 PHP-FPM 下会跨请求残留，极难 debug
- 闭包捕获变量（如
use ($path)）在递归中实际是引用传递，array_push() 后不 array_pop() 就污染下层
- 真正安全的做法：每层递归返回完整子树结果，由父层合并；状态只存在于参数和返回值之间，不留任何“活”的中间变量
static 变量生命周期绑定函数定义，不随调用栈隔离 static 状态互相干扰 - 初始调用写成
traverse($node, [], 0, new SplObjectStorage())，而非traverse($node) - 路径拼接用
array_merge($path, [$node['id']])或[$node['id'], ...$path]，避免array_push()原地修改 - 已访问标记用
SplObjectStorage或hash($node['id'] . $depth)，不用普通数组键名防冲突 - 深度控制放在递归开头：
if ($depth > 100) return [];，比结尾检查更早止损
嵌套递归时如何隔离内外层状态？
外层遍历树结构、内层计算子树统计，两套逻辑不能共用 static 或全局变量。各自维护独立参数流，通过返回值桥接，而非共享中间状态。
- 外层函数
buildMenuTree() 调用内层 countActiveChildren($node) 时，只接收返回数字，不传入任何引用或 static 变量
- 内层函数若需自身递归，也必须用参数传
$acc、$visited 等，禁止读取外层函数的局部变量
- 若状态复杂（如同时要路径+计数+标记），封装为
readonly class TraverseState，构造即冻结，杜绝误改
contextvars 在 PHP 中不可用，替代方案是什么？
PHP 没有 contextvars，无法像 Python 那样动态绑定调用链上下文。此时唯一可靠路径是彻底放弃隐式状态，把所有上下文“摊平”为参数。哪怕多传两个参数，也比用 global、static 或闭包捕获强。
-
global $step_counter 在 FastCGI 或 PHP-FPM 下会跨请求残留，极难 debug
- 闭包捕获变量（如
use ($path)）在递归中实际是引用传递，array_push() 后不 array_pop() 就污染下层
- 真正安全的做法：每层递归返回完整子树结果，由父层合并；状态只存在于参数和返回值之间，不留任何“活”的中间变量
buildMenuTree() 调用内层 countActiveChildren($node) 时，只接收返回数字，不传入任何引用或 static 变量 $acc、$visited 等，禁止读取外层函数的局部变量 readonly class TraverseState，构造即冻结，杜绝误改 contextvars，无法像 Python 那样动态绑定调用链上下文。此时唯一可靠路径是彻底放弃隐式状态，把所有上下文“摊平”为参数。哪怕多传两个参数，也比用 global、static 或闭包捕获强。
-
global $step_counter在 FastCGI 或 PHP-FPM 下会跨请求残留，极难 debug - 闭包捕获变量（如
use ($path)）在递归中实际是引用传递，array_push()后不array_pop()就污染下层 - 真正安全的做法：每层递归返回完整子树结果，由父层合并；状态只存在于参数和返回值之间，不留任何“活”的中间变量
递归中的状态隔离不是技巧问题，是设计前提——只要出现 static、global 或闭包捕获，就说明函数职责已超载，该拆或该换迭代了。
