递归函数在C++中需明确终止条件,否则易致栈溢出崩溃;base case必须覆盖所有输入路径,尤其边界值,且条件与递归调用顺序不可颠倒。

递归函数在 C++ 中不是语法糖,而是靠函数自己调用自己 + 明确的终止条件来工作的;没写好终止条件或递归深度失控,程序会直接栈溢出崩溃。
递归必须有明确的 base case(终止条件)
这是最容易出错的地方:忘记写、写错逻辑、或把 if 条件和递归调用顺序弄反。一旦进入无限递归,stack overflow 错误不会报具体行号,只会在运行时崩溃。
- 终止条件必须覆盖所有可能的输入路径,尤其注意边界值(比如
n == 0、n 、空指针等) - 不要在终止条件前做可能抛异常或改变状态的操作
- 调试时可在入口加
std::cout 观察调用链
递归调用要向 base case 靠拢
每次递归调用传入的参数,必须比上一层更接近终止条件,否则逻辑无效。常见错误是参数不变、甚至越变越大(如误写 factorial(n) 而非 factorial(n-1))。
- 整数类递归:检查是否每次都在缩小问题规模(
n-1、n/2等) - 指针/引用类递归(如树遍历):确保下层调用的是子节点,且子节点不等于当前节点(避免循环引用)
- 浮点数慎用递归:因精度问题可能导致永远达不到终止条件
理解调用栈与性能代价
C++ 不优化尾递归(即使写成尾递归形式),每次调用都会压栈,空间复杂度是 O(n)。深递归(如 n > 10000)极易触发栈溢出,尤其在默认栈大小的 Windows 或嵌入式环境。
立即学习“C++免费学习笔记(深入)”;
- 可通过
ulimit -s(Linux)或链接器选项(如/STACK)临时调大栈,但治标不治本 - 递归版斐波那契
fib(n)时间复杂度是O(2^n),远不如迭代或记忆化版本 - 若逻辑天然适合递归(如 DFS、表达式解析、归并排序),优先保证正确性;性能瓶颈出现后再考虑转迭代或加缓存
int factorial(int n) {
if (n < 0) return -1; // 错误输入防护
if (n == 0 || n == 1) // base case 必须清晰、独立
return 1;
return n * factorial(n - 1); // 每次 n 减小,向 base case 靠拢
}递归本身很简单,难的是判断「这个问题到底适不适合递归」,以及「我的终止条件是否真的能拦住所有非法路径」——这两点漏掉一个,函数就不可靠。










