基准情形是递归函数中不调用自身的终止分支，用于防止无限递归和栈溢出；它必须基于当前调用上下文直接、确定地判断终止条件，覆盖所有输入路径，且不可依赖隐式状态或后续调用兜底。
什么是基准情形（base case）
基准情形是递归函数里那个“不再调用自己”的分支，它让递归停下来。没有它，函数每次调用都生成新调用，栈帧不断压入，最终触发 StackOverflowError 或 RecursionError。
为什么 OOP 中递归容易漏掉基准情形
在类方法中写递归时，状态常隐含在 this / self 或成员变量里，不像纯函数那样参数显式传递变化。人容易误以为“对象变了，递归自然会停”，结果忘了显式判断终止条件。
- 常见错误：在
TreeNode的traverse()方法里只检查node.left是否为空，却没检查当前node本身是否为null或None - 更隐蔽的坑：基准情形依赖外部可变状态（比如某个
counter字段），而该字段在多线程或重入场景下被意外修改 - Java/Kotlin 中若用
Optional包装节点，容易把if (node.isPresent())当成足够判断，其实还要再拆包后判子树
怎么写安全的基准情形（以 Python 和 Java 为例）
基准情形必须满足两个条件：一、能被当前调用上下文直接判定；二、覆盖所有可能的初始输入路径。别指望“后面某次调用会兜底”。
Python 示例（二叉树高度）：
def height(self, node):
if node is None: # ✅ 基准情形：最简、无副作用、必触发
return -1
return 1 + max(self.height(node.left), self.height(node.right))
Java 示例（链表反转）：
Node reverse(Node current, Node prev) {
if (current == null) { // ✅ 基准情形：不依赖 prev 状态，仅看 current
return prev;
}
Node next = current.next;
current.next = prev;
return reverse(next, current);
}
- 避免写成
if (prev != null && current.next == null)—— 条件耦合、难覆盖空链表输入 - 构造函数或初始化方法里调用递归？先确保所有字段已赋值，否则
this.field可能为默认值（如0、null），导致基准判断失效
调试时怎么快速定位基准缺失
不是等报错才查。只要递归调用深度明显超过预期（比如处理 5 层树却看到 1000+ 次调用日志），就说明基准逻辑没生效。
- 加一行日志：
System.out.println("height(" + node + ")");或print(f"traverse({id(node)})")，观察是否重复打印同一地址/值 - 在 IDE 里打条件断点：比如
node == null不成立时强制暂停，看实际传入的是什么 - JavaScript 中注意
==和===差异：用node === null，别用!node——空对象、0、false都会误触发
递归的基准情形不是“差不多能停就行”的逻辑补丁，它是每次调用前必须回答的确定性问题：此刻，我还能继续往下走吗？答案必须是“不能”，而且这个“不能”得靠当前这一层的数据当场给出。
