C++程序运行时的栈内存用于存储函数调用栈帧、局部变量等内容，当栈内存使用超过系统分配的上限时就会触发栈溢出，其中递归调用过深和局部变量占用空间过大是最主要的诱因。
递归调用导致的栈溢出及预防
递归函数在每次调用时都会在栈上创建一个新的栈帧，存储当前函数的参数、返回地址和局部变量，如果递归没有正确的终止条件或者递归层级过深，就会快速耗尽栈空间。
问题示例
下面这段没有终止条件的递归代码，运行后会直接触发栈溢出：
#include <iostream>
// 无终止条件的递归函数
void infinite_recursion() {
// 每次调用都会在栈上新增栈帧，没有退出逻辑
infinite_recursion();
}
int main() {
infinite_recursion();
return 0;
}
预防方案
- 确保递归有明确的终止条件，避免无限递归。比如计算阶乘的递归，需要设置n等于1时返回1的终止逻辑。
- 将递归改写为迭代形式，减少栈帧的创建。比如遍历二叉树的前序遍历，既可以用递归实现，也可以用栈模拟递归过程。
- 对于必须使用的递归场景，尽量优化递归逻辑，减少不必要的参数传递和局部变量定义，降低单个栈帧的占用空间。
递归改迭代示例
以计算斐波那契数列为例，递归实现和迭代实现的对比：
#include <iostream>
// 递归实现斐波那契，n过大时容易栈溢出
int fib_recursive(int n) {
if (n <= 1) return n;
return fib_recursive(n - 1) + fib_recursive(n - 2);
}
// 迭代实现斐波那契，不会额外占用栈空间
int fib_iterative(int n) {
if (n <= 1) return n;
int prev = 0, curr = 1;
for (int i = 2; i <= n; i++) {
int temp = curr;
curr = prev + curr;
prev = temp;
}
return curr;
}
int main() {
std::cout << "递归结果(10):" << fib_recursive(10) << std::endl;
std::cout << "迭代结果(10):" << fib_iterative(10) << std::endl;
return 0;
}
局部变量导致的栈溢出及预防
函数的局部变量默认存储在栈上，如果定义了过大的局部变量，比如超大数组、大型结构体，会直接占用大量栈空间，甚至单个函数调用就触发栈溢出。
问题示例
下面这段代码在函数内定义了大小为10万的int数组，很容易导致栈溢出：
#include <iostream>
void large_local_var() {
// 10万int占约400KB，超过默认栈空间时就会溢出
int large_array[100000];
// 模拟使用数组
large_array[0] = 1;
}
int main() {
large_local_var();
return 0;
}
预防方案
- 将大局部变量改为全局变量或者静态局部变量，这类变量存储在数据段，不会占用栈空间。静态局部变量只会初始化一次，生命周期贯穿整个程序运行过程。
- 使用动态内存分配，通过
new/malloc在堆上分配大内存，使用完成后记得通过delete/free释放，避免内存泄漏。 - 如果确实需要栈上的局部变量，可以调整编译器的栈空间配置，比如GCC可以通过
-Wl,--stack,大小参数设置栈空间上限，但不建议作为首选方案，因为不同环境的栈配置可能不一致。
局部变量调整示例
将大数组改为堆分配的实现：
#include <iostream>
void large_var_heap() {
// 在堆上分配10万int的空间
int* large_array = new int[100000];
large_array[0] = 1;
// 使用完成后释放内存
delete[] large_array;
}
int main() {
large_var_heap();
return 0;
}
其他辅助预防措施
除了针对递归和局部变量的优化，还可以通过一些通用方法降低栈溢出的概率：
- 避免在函数参数中传递大型结构体或对象，尽量传递指针或引用，减少栈上参数的占用空间。
- 开启编译器的栈溢出检测选项，比如MSVC的
/GS选项，GCC的-fstack-protector选项，可以在发生栈溢出时提前给出警告。 - 编写代码时进行栈内存占用的预估，比如默认栈空间一般是1MB到8MB，计算单个栈帧的大小和最大调用深度，提前规避风险。