函数调用栈溢出是什么？如何避免程序崩溃

函数 调用 栈溢出：程序崩溃的隐形杀手

你有没有遇到过这样的情况：写好的程序运行一会儿突然卡死，提示“程序已停止工作”？有时候连错误信息都没有，重启也没用。问题可能就藏在“函数调用栈溢出”里。

栈（Stack）是程序运行时用来管理函数调用的一块内存区域。每次调用一个函数，系统就会在栈上为它分配空间，保存局部变量、参数和返回地址。函数执行完，这块空间就被释放。这个过程像叠盘子——后进先出。

栈的空间不是无限的，通常只有几MB。当函数调用层级太深，或者递归没有终止条件，栈就会被填满，再也压不进新的函数，这时候就发生了“栈溢出”。

最常见的场景就是递归。比如你想算阶乘，写了这样一个函数：

int factorial(int n) {
    return n * factorial(n - 1);
}

看起来逻辑没问题，但忘了加终止条件。当 n 等于 5，它会调用 factorial(4)，再调用 factorial(3)……一直往下，直到栈被撑爆，程序直接崩溃。

这种情况在处理树形结构、解析嵌套 JSON 或实现深度优先搜索时特别容易出现。比如你写了个爬虫，不小心陷入了无限重定向，每次请求都调用自身，栈就会迅速耗尽。

编译器和调试工具能帮上忙。开启警告选项，比如 GCC 的 -Wall，有时会提示潜在的无限递归。用 GDB 调试时，如果程序崩溃，查看调用栈能看到一长串重复的函数名，那就是线索。

写递归函数时，第一件事就是确认退出条件是否一定能达成。比如修正上面的阶乘函数：

int factorial(int n) {
    if (n <= 1) return 1;
    return n * factorial(n - 1);
}

这样当 n 减到 1，递归就会停止，栈也能正常回收。

对于深度较大的结构，可以考虑用循环代替递归，或者使用显式栈（比如用 std::stack）来模拟调用过程。虽然代码可能复杂一点，但能避开系统栈的限制。

有些语言对递归更友好。比如函数式语言常做尾递归优化，把特定形式的递归转换成循环，避免栈增长。但 C、C++、Java 这类主流语言默认不做这种优化，得自己小心。

线上服务尤其要注意。用户输入不可控，万一传了个会导致深度递归的数据，整个服务可能就挂了。加个调用深度限制，比如最多允许 100 层嵌套，超出就报错，是一种实用的防御手段。