递归函数必须有可达、全覆盖、无遮挡的终止条件，否则必然栈溢出崩溃；还需增加深度限制兜底防护，防止合法逻辑下超深递归触发段错误。
递归函数必须有明确、可到达的终止条件，否则会无限调用自身，持续压入新栈帧，直到耗尽栈空间，触发段错误（Segmentation fault）。这不是“可能出错”，而是必然崩溃——只要缺少或写错终止逻辑，程序运行即失控。
终止条件必须满足三个硬性要求
很多开发者写了 if (n == 0) 就以为万事大吉，但实际运行仍溢出。关键在于：终止条件不仅要存在，还必须可达、覆盖所有分支、不被跳过。
-
可达性：递归参数每次调用后必须向终止值收敛。例如
factorial(n-1)配n == 0是安全的；但若写成factorial(n+1)却用n == 0判断，永远达不到，就是死循环压栈。 -
全覆盖：多个递归分支需各自配对终止逻辑。比如二叉树遍历中，左子树、右子树、空节点三种情况，
if (node == NULL)必须出现在所有入口路径上，不能只写在某一分支里。 -
无遮挡：终止判断语句不能被前置 return、异常抛出或逻辑短路绕过。常见错误是把
if (base)写在一堆计算之后，而前面已因非法输入提前返回，导致 base case 实际不生效。
加一层深度防护：手动限制递归层数
即使逻辑正确，超深递归（如 n > 10000 的阶乘）仍可能突破系统栈限（Windows 默认仅 1MB）。此时单靠基础情形不够，需主动设防。
- 在函数签名中增加
int depth参数，初始调用传 0；每次递归前检查if (depth > MAX_DEPTH) return ERROR; -
MAX_DEPTH建议设为 1000–5000 区间，具体根据栈大小和局部变量体积估算（每层约 64–256 字节） - 该机制不是替代基础情形，而是兜底：它让程序报错退出，而非静默崩溃，便于定位问题源头
终止条件要配合数据收缩策略
光有 if (n 不够，还要确保每次递归调用时，输入规模确实在变小。否则看似有出口，实则卡在中间态。
- 对数组/字符串操作，应传入
start, end索引，而非复制子串——避免局部变量膨胀挤占栈空间 - 对树结构，优先用指针传递节点，别把整棵树结构体按值传入（会复制整个对象到栈）
- 若参数含大型结构体，改用指针 + const 修饰，既保安全又省栈内存
用编译器辅助验证终止逻辑是否可靠
人工推演易漏边界，可用工具降低风险：
- GCC 编译时加
-Wstack-usage=，自动报告每个函数最大栈用量，识别高危递归 - 静态分析工具（如 Cppcheck）能扫描未覆盖的递归路径，提示缺失的 base case 分支
- 单元测试必须覆盖极端输入：空输入、最大合法值、负数、溢出初值——验证终止条件真能捕获所有异常流
