本文介绍一种不依赖类成员变量的纯递归实现方案,用于将嵌套的父子结构(如 breadcrumb 链)展开为正序数组,通过引用传参或返回值累积结果,避免状态污染,提升函数可测试性与线程安全性。
在处理深度嵌套的树形结构(例如带 all_parents 递归引用的面包屑数据)时,常见的陷阱是借助类属性(如 $this->breadcrumb)作为全局累加器。这种方式虽简洁,但会破坏函数的纯度:它引入了外部可变状态,导致方法不可重入、难以单元测试,且在并发或递归调用场景下易出错。
更优解是采用无副作用的递归设计——即所有中间状态均通过参数传递或返回值承载。以下是两种推荐实现方式:
✅ 方案一:引用传参(推荐用于性能敏感场景)
private function generateBreadcrumb($structure, &$output = []): array
{
if ($structure && is_array($structure)) {
$output[] = [
'id' => $structure['id'] ?? null,
'name' => $structure['name'] ?? ''
];
// 递归处理父级,复用同一数组引用
$this->generateBreadcrumb($structure['all_parents'] ?? null, $output);
}
// 仅在顶层调用时反转(避免每层递归都执行)
return $structure === null || !is_array($structure) ? array_reverse($output) : $output;
}
⚠️ 注意:array_reverse() 必须只在首次进入函数时(即根节点)执行一次。上述写法中,我们通过判断 $structure 是否为有效数组来区分递归层级——但更健壮的做法是拆分为两个方法,或使用默认参数标记根调用。
✅ 方案二:函数式风格(推荐用于高可读性/FP 场景)
private function generateBreadcrumb($structure): array
{
if (!$structure || !is_array($structure)) {
return [];
}
// 先递归获取所有祖先(逆序:从最顶层开始)
$ancestors = $this->generateBreadcrumb($structure['all_parents'] ?? null);
// 将当前节点追加到末尾 → 最终自然形成正序 [1,2,3,4,5]
$ancestors[] = [
'id' => $structure['id'],
'name' => $structure['name']
];
return $ancestors;
}
该版本完全无副作用:每一层递归都返回新数组,逻辑清晰、符合函数式编程范式,且天然支持调试与测试。虽然存在少量内存复制开销,但在绝大多数业务场景中可忽略不计。