递归的核心是将大问题拆解为同构子问题直至基准情形，须满足有明确终止条件、每次递归逼近终止、子问题与原问题同构三要素。
递归是 PHP 面试中高频考点，核心不在“会不会写 factorial”，而在于能否识别适用场景、控制边界、避免栈溢出，并写出健壮、可读、可扩展的递归逻辑。
递归的本质与三要素
递归不是“函数调用自己”这个表象，而是将大问题拆解为相同结构的更小子问题，直到达到可直接求解的基准情形（base case）。必须同时满足三个条件：
- 有明确的终止条件：防止无限调用导致 fatal error: Maximum function nesting level reached；
- 每次递归向终止条件靠近：参数需变化（如 $n-1、array_slice($arr, 1)），否则逻辑僵死；
- 子问题与原问题同构：比如“反转数组”中，反转 [a,b,c,d] 可拆为 d + 反转 [a,b,c]，结构一致。
经典题型及递归写法（带防错）
面试官常给变形题，考察是否真懂而非背模板。以下是几个典型例子，均含边界处理和注释说明：
1. 安全计算阶乘（支持 0 和负数校验）
立即学习“PHP免费学习笔记（深入）”；
永利在线企业网站管理系统(CMS)1.0 Build 20100612
下载
修正说明：1，实现真正的软件开源。2，安装界面的美化3，真正实现栏目的递归无限极分类。4，后台添加幻灯片图片的管理，包括添加，修改，删除等。5，修正添加新闻的报错信息6，修正网站参数的logo上传问题7，修正产品图片的栏目无限极分类8，修正投票系统的只能单选问题9，添加生成静态页功能10，添加缓存功能特点和优势1. 基于B/S架构，通过本地电脑、局域网、互联网皆可使用，使得企业的管理与业务不受地域
function factorial($n) {
if (!is_int($n)) {
throw new InvalidArgumentException('Input must be integer');
}
if ($n < 0) return 0; // 或抛异常，按题意定
if ($n === 0 || $n === 1) return 1; // 终止条件
return $n * factorial($n - 1);
}2. 数组多维转一维（不依赖 array_merge_recursive）
function flattenArray($arr) {
if (!is_array($arr)) return [$arr];
$result = [];
foreach ($arr as $item) {
$result = array_merge($result, flattenArray($item));
}
return $result;
}注意：大嵌套深度时可能超内存，实际项目建议迭代+栈模拟3. 二叉树节点数量统计（体现树结构天然适合递归）
class TreeNode {
public $val;
public $left;
public $right;
public function __construct($val = 0, $left = null, $right = null) {
$this->val = $val;
$this->left = $left;
$this->right = $right;
}
}
<p>function countNodes($root) {
if ($root === null) return 0; // 终止：空节点计 0
return 1 + countNodes($root->left) + countNodes($root->right);
}递归常见陷阱与优化方向
写出能跑的递归只是第一步，面试加分项在识别并规避以下问题：
- 重复计算未缓存：如斐波那契 naive 递归时间复杂度 O(2^n)，应改用记忆化（memoization）或动态规划；
- 未校验输入类型/范围：PHP 弱类型易传入字符串 "5" 导致 $n-1 变成 4.0 或警告，需显式类型判断；
- 忽略尾递归优化限制：PHP 不支持尾递归自动优化（TCO），即使写成尾递归形式也无法避免栈增长；
- 误用递归替代简单循环：如遍历索引数组求和，用 for 更清晰高效，递归反而增加开销。
如何向面试官展示思考深度？
不要只交代码。可以主动补充：
- “这里我加了 is_int 判断，因为线上环境可能传入 $_GET 参数，避免 Notice 级错误影响监控”；
- “如果数据层级超过 1000，我会改用 stack 模拟递归，防止 max_execution_time 或 memory_limit 触发”；
- “这个解法空间复杂度是 O(d)，d 是最大深度，对应调用栈高度——这也是我们测压时重点看的指标之一”。
