递归出口必须用if明确判定且向基态收敛，否则触发stackoverflowerror；关键在条件可靠、可达、全覆盖，变量须严格收敛。

在 java 中，递归函数的出口（即递归终止条件）必须由 if 语句明确判定，且该判定需随每次递归调用向基态（base case）收敛；否则会无限递归，最终触发 stackoverflowerror。关键不在于“用不用 if”，而在于 if 条件是否可靠、是否必然可达、是否覆盖所有递归路径。

出口条件必须基于可变参数且严格收敛

递归调用中，用于判断出口的变量（如整数 n、列表长度、树节点深度等）必须在每次递归时朝终止值变化，且不能跳过或绕开该值。

• ✅ 正确示例（阶乘）：
  

  if (n 

  
  return n * factorial(n - 1);
• ❌ 错误示例（未收敛）：
  

  if (n == 0) return 1;  // 若初始 n = -5，则永远不满足

  
  return n * factorial(n + 1); // n 越来越大，永不触达 0

避免浮点数或不可靠比较作为出口依据

使用 double 或 float 作递归变量时，精度误差可能导致条件永远不成立。

Java JDK 25

Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。

下载

• ❌ 危险写法：
  

  if (x == 0.0) return 1;  // x = 0.1 → 0.0999999... → 0.0999998...，可能永远≠0.0

• ✅ 改为安全范围判断：
  

  if (Math.abs(x) 

• 更推荐：改用整型计数器或预设最大深度限制（见下条）

增加显式递归深度防护（防御性编程）

即使逻辑上出口存在，异常输入（如极大初始值、链表环、图环路）仍可能引发栈溢出。可在入口处加入深度计数：

• 定义最大安全深度（如 1000），每次递归传入当前深度：
  

  int maxDepth = 1000;<br>public int compute(int n, int depth) {<br>  if (depth > maxDepth) throw new StackOverflowError("Recursion too deep: " + depth);<br>  if (n   return n * compute(n - 1, depth + 1);<br>}

• 首次调用： compute(10000, 0) —— 即使 n 很大，也能提前中断

确保所有分支都导向出口，无遗漏路径

多个 if-else 或嵌套条件时，必须确认每条执行路径最终都会抵达出口判断，尤其注意 else 分支或异常分支。

• ❌ 隐患代码：
  

  if (node == null) return 0;<br>if (node.left != null) return sum(node.left); // 忘了处理 node.right？<br>// 缺少对 node.right 的递归或返回，逻辑不完整

• ✅ 完整写法：
  

  if (node == null) return 0;<br>return node.val + sum(node.left) + sum(node.right);

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南