递归方法必须有明确返回类型和每条路径的return语句，base case返回终值，recursive case必须return加工后的递归调用结果，参数需显式传递状态，避免void、溢出、栈溢出及可变对象共享问题。
递归方法必须有明确的返回类型和 return 语句
Java 不允许 void 方法参与“返回值链式传递”，一旦递归路径中需要向上层返回计算结果，void 就直接断掉逻辑。比如写一个求阶乘的递归，如果声明成 void factorial(int n)，调用方根本拿不到 n! 的值，也没法在上层做乘法组合。
常见错误现象：missing return statement 编译报错，或运行时返回 0/ null / 随机值——往往是因为某个分支（尤其是 base case）漏了 return，或误用了 void。
- 所有递归分支（包括 base case 和 recursive case）都必须有
return，且类型一致 - base case 的
return值必须是可直接使用的终值（如1、0、new ArrayList()），不能是空操作 - recursive case 的
return必须包含对自身调用结果的加工，例如return n * factorial(n - 1)，而不是只调用不接收
递归三要素在 Java 返回值方法中的落地表现
“三要素”不是理论摆设，它直接对应 Java 方法签名和控制流设计：终止条件决定 if 分支出口值，原问题与子问题关系决定 return 表达式结构，函数参数决定状态传递方式。
使用场景：处理树遍历、链表翻转、动态规划子问题等——这些场景下，返回值往往是构造结果（如节点引用、集合、数值）的唯一途径。
立即学习“Java免费学习笔记（深入）”；
- 终止条件（base case）必须
return一个具体值，且该值能被上层表达式直接使用；例如二叉树最大深度中，叶子节点应return 1，而非return 0（否则整体少算一层） - 递归调用本身必须出现在
return右侧，并参与运算；写成factorial(n - 1); return n * result;是错的，因为result未定义，正确是return n * factorial(n - 1) - 参数不能仅靠外部变量维持状态；Java 没有闭包捕获，所有参与计算的数据必须显式传入，比如带累加器的递归要多一个
int acc参数，否则无法保持中间结果
Integer 溢出和栈溢出是两个独立但常被混淆的问题
前者是逻辑错误，后者是运行时崩溃；它们都可能在递归返回值方法中突然出现，但触发条件和排查路径完全不同。
性能 / 兼容性影响：普通递归在 Java 中无尾调用优化，深度超过 10000 左右就大概率 StackOverflowError；而 int 阶乘到 13 就溢出，long 到 21 也溢出——类型选错比算法慢更早让你得到错误答案。
- 数值类递归优先用
BigInteger，尤其涉及阶乘、斐波那契大数、组合数；不要依赖long“差不多够” - 避免在递归中做字符串拼接或新建大对象（如每次
new int[1000]），容易快速耗尽堆内存，报OutOfMemoryError，这和栈溢出无关但现象类似 - 真要深递归（如解析嵌套 JSON），改用显式栈 + 循环，或增加 JVM 参数
-Xss（治标不治本）
为什么有时候递归返回值方法比迭代还难调试
因为返回值依赖整个调用链的逐层折叠，而 IDE 的“step into”会反复跳转，中间态不可见；你看到的只是最终 return，看不到某一层实际返回了什么。
最容易被忽略的是：base case 的返回值是否真的适配了上层表达式的预期类型和语义。比如写一个查找链表倒数第 k 个节点，有人让 base case 返回 null，但上层却写了 return node.next，结果 null.next 空指针——这不是递归写错了，是返回值契约没对齐。
- 在关键递归分支加日志时，别只打
System.out.println("n=" + n)，要打System.out.println("returning " + result + " for n=" + n) - 单元测试必须覆盖 base case 单独执行路径，例如
factorial(0)和factorial(1)必须有断言，不能只测factorial(5) - 如果返回的是可变对象（如
ArrayList），注意是否在多层递归中被共享修改；必要时在递归前new ArrayList(list)隔离副本
