递归终止条件须明确、可靠、前置且全覆盖，应先校验再递归；需覆盖所有边界与异常路径，慎用浮点数等值判断；配合深度限制与日志监控，防止栈溢出。
设计递归方法的终止条件，核心是让它明确、可靠、前置且全覆盖。栈溢出往往不是因为“没写终止条件”，而是条件写得不严谨——看似有出口，实际无法触发。
终止条件必须放在递归调用之前
错误写法：先递归再判断，可能已压入无效栈帧。
- ❌ 错误示例：
traverse(node.left); if (node == null) return;—— node 已为 null，却仍尝试访问 left，甚至可能抛 NPE 后才走到判断 - ✅ 正确顺序：
if (node == null) return; traverse(node.left); traverse(node.right);—— 入口即校验，杜绝无效递归启动
覆盖所有输入边界和异常路径
只处理 n == 0，但传入负数？只检查 list != null，但 list 为空后仍继续递归？这些都会跳过终止逻辑。
- 阶乘中应同时处理
n ，防止负数输入无限减下去 - 树遍历中需同时判断
node == null和node.left == null等子节点状态，尤其在自定义结构中 - 浮点数递归慎用
==判断（如value == 0.0），改用区间判断（Math.abs(value) ）
配合深度防护形成双重保险
即使终止条件正确，恶意或异常数据（如百万层嵌套 JSON、超深链表）也可能绕过逻辑，导致数千层调用。此时仅靠 base case 不够。
- 在参数中显式传入当前深度
depth，并在入口处加硬限制：if (depth > 1000) throw new IllegalArgumentException("Max recursion depth exceeded"); - 对 XML 解析、模板渲染、图搜索等场景，把深度上限设为可配置项，便于灰度和监控
- 日志记录接近阈值的调用（如 depth > 900），用于识别数据异常或算法缺陷
避免隐式绕过终止条件的写法
有些逻辑看似安全，实则让终止条件失效。
- 整数溢出：递归参数做减法（
n - 1），n 为Integer.MIN_VALUE时会变正，永远达不到 0 - 类型转换丢失精度：
long转int后值翻转，使判断失准 - 空集合未提前返回：如
if (list.isEmpty()) return;忘写，后续取list.get(0)抛异常前已递归下一层
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
