递归终止条件需确保每条路径必达base case、参数持续收敛、空值优先判断、设深度防护并验证触发。例如阶乘中n逐次减1逼近0，树遍历中子节点深度减1，须手动模拟边界输入并打印确认base case执行。
加终止条件不是“补个 if”，而是让每次递归都明确知道：什么时候该停、为什么能停、停了返回什么。核心是让函数在有限步内必然抵达一个无需再调用自己的状态。
确保每个分支都有可到达的出口
递归函数常有多个调用路径（比如树的左右子节点、分治的左右区间），必须检查每一条路径最终是否都会落到 base case 上。
- 写完递归后，手动模拟两三个典型输入：比如空节点、单层结构、边界值（n=0、n=-1、list=[]）
- 特别注意“漏判”情况：例如用
if n == 1作终止，但传入n = -5时条件不满足，直接进递归，越走越远 - 对指针/引用类型，先判空再操作：如
if node is None: return必须出现在process(node.left)之前
让参数朝终止条件稳定收敛
终止条件本身没用，除非每次递归调用都在缩小问题规模。
- 阶乘中
factorial(n-1)让n每次减 1，逼近n == 0 - 二叉树遍历中，
node.left和node.right的深度天然比当前层小 1 - 避免“原地打转”：比如误写成
search(arr, target, index)（没变 index），或递归调用传入相同参数
配合深度防护，防极端输入绕过逻辑
即使逻辑正确，恶意或异常数据（如 10 万层嵌套 JSON、环状链表）仍可能触发深层递归。加一层主动守卫更稳妥。
- 给函数加
depth参数，初始调用传0，每次递归 +1 - 开头加判断：
if depth > 500: raise RuntimeError("Too deep") - 阈值按场景设：普通业务建议 ≤500；已知最大深度为 200 的树，设 250 更安全
验证终止条件是否真被触发
别只靠脑子想，用打印或调试确认它确实执行了。
- 在 base case 分支加
print(f"base case hit: n={n}") - 运行小规模测试用例，看输出里有没有这行；没有，说明根本没走到终止逻辑
- 也可用断点调试，观察调用栈最后一层是不是停在了你写的 return 行
