堆栈溢出（Stack Overflow）是计算机程序运行时的一种常见错误，指程序的调用栈（Call Stack） 超出了其预留的内存空间。以下是详细解释：

核心原因

1. 无限递归

   • 函数递归调用自身时，若缺少终止条件或条件错误，会持续在栈上分配内存，直至栈空间耗尽。
     示例：

     def infinite_recursion():
     infinite_recursion()  # 无限调用自身

2. 过大局部变量

   • 函数内声明超大型数组或结构体（如 int huge_array[1000000]），超出栈容量（通常栈大小仅几MB）。

3. 过深函数调用链

   • 非递归场景下，函数调用层次过深（如 A → B → C → ... → Z），每层调用都在栈中占用空间。

4. 栈空间不足

   • 系统默认栈大小有限（Windows 通常 1MB，Linux 通常 8MB），多线程环境下每个线程的栈空间更小。

后果

• 程序崩溃：操作系统强制终止进程，常见错误提示：
  • Segmentation fault（Linux）
  • Stack overflow（Windows）
• 安全漏洞：可能被恶意利用执行任意代码（如缓冲区溢出攻击）。

解决方法

1. 修复递归逻辑
   确保递归函数有正确的终止条件：

   def safe_recursion(n):
      if n == 0:  # 终止条件
          return
      safe_recursion(n-1)  # 问题规模递减

2. 减少栈内存占用

   • 避免在栈上分配大对象（如大数组），改用堆内存（通过 malloc、new 或动态容器）。

     
     // 错误：栈上分配大数组 → 可能溢出
     int stack_array[1000000]; 

   // 正确：堆上分配 int heap_array = malloc(1000000 sizeof(int));

3. 尾递归优化
   将递归改写为尾递归形式（部分编译器可优化为循环，避免栈增长）：

   def tail_recursion(n, acc=0):
      if n == 0: return acc
      return tail_recursion(n-1, acc+n)  # 尾调用

4. 增大栈空间（临时方案）

   • Linux: 使用 ulimit -s unlimited（不推荐，可能掩盖问题）。
   • 编译器选项（如 GCC 的 -Wl,--stack,10485760 设置栈为10MB）。

5. 改用迭代/循环
   将递归算法转换为迭代：

   def factorial_iterative(n):
      result = 1
      for i in range(1, n+1):
          result *= i
      return result

调试技巧

• 查看调用栈：使用调试器（如 GDB）捕获崩溃时的栈轨迹。
• 静态分析工具：Valgrind、Clang Analyzer 等检测潜在溢出风险。

堆栈溢出 vs 堆溢出

关键点：堆栈溢出是空间不足，堆溢出是内存管理错误。

通过优化代码逻辑、控制数据规模、合理分配内存，可有效避免堆栈溢出问题。