栈内存：自动管理、生命周期、栈溢出风险

聊完了堆，咱们来聊聊栈。说实话，栈这个东西，很多C++程序员天天用，但真把它当回事的人不多。我刚开始写代码那会儿，也觉得栈嘛，不就是函数调用时自动分配、自动释放的那点内存？有啥好研究的。

直到有一次，我在一个嵌入式项目里，写了个递归函数，数据量稍微大了一点，程序直接崩了。查了半天，最后发现是栈溢出了。嗯，从那以后，我再也不敢小看栈了。

栈是什么？说白了就是一块自动管理的内存

栈，全称叫"调用栈"。它的工作方式特别简单：后进先出。你调用一个函数，系统就在栈顶给你分配一块空间，用来放局部变量、函数参数、返回地址啥的。函数执行完了，这块空间自动回收。

你想想看，这多省心。不用你手动new，也不用你操心delete。栈上的变量，生命周期跟函数绑定。函数进去了，变量生；函数出来了，变量死。

栈上变量的生命周期

我习惯把栈上变量的生命周期分成三个阶段：

1. 创建：进入作用域时，变量被构造
2. 存活：在作用域内，变量有效
3. 销毁：离开作用域时，变量自动析构

看个简单的例子：

void foo() {
    int x = 42;          // x 在这里创建
    if (x > 0) {
        std::string s = "hello";  // s 在这里创建
        // 这里 x 和 s 都活着
    }  // s 在这里销毁
    // 这里只有 x 活着
}  // x 在这里销毁

这个例子很基础，但我想强调一点：离开作用域就销毁，这是栈内存最核心的规则。我在项目中见过不少bug，都是因为有人返回了栈上变量的指针或引用，结果外面一用就崩了。

栈溢出：一个容易被忽视的坑

栈不是无限的。每个线程的栈大小是固定的，通常在1MB到8MB之间，具体看操作系统和编译器设置。你想想看，如果你在栈上分配一个大数组，或者递归调用的层数太深，栈空间用完了会怎样？

程序直接崩溃。这就是栈溢出。

我曾经在一个图像处理项目里，写了个递归的像素遍历函数。图像分辨率稍微高一点，递归深度就上千层。结果呢？栈直接爆了。后来改成迭代实现，问题就解决了。

常见的栈溢出场景：

• 递归太深：每次递归调用都会消耗栈帧，深度太大就爆了
• 局部变量太大：比如在栈上声明一个10MB的数组
• 无限递归：递归没有终止条件，栈很快被耗尽

栈 vs 堆：一张表说清楚

特性	栈	堆
分配方式	自动	手动（new/delete）
分配速度	极快（移动栈顶指针）	较慢（需要查找空闲块）
生命周期	与作用域绑定	由程序员控制
大小限制	较小（MB级别）	较大（GB级别）
碎片问题	无碎片	可能产生碎片
线程安全	每个线程独立	需要同步

这张表我建议你存一下。面试的时候经常被问到，写代码的时候也很有参考价值。

栈内存的知识体系

下面这张图，是我自己整理的栈内存核心逻辑。你看一眼，基本就全明白了。

避坑指南：我踩过的几个坑

最后，分享几个我亲身踩过的坑，希望能帮你少走弯路。

• 坑一：返回栈上变量的引用。 我曾经写过一个函数，返回了一个局部变量的引用，外面用的时候数据全乱了。后来改成返回值拷贝，或者用智能指针，问题解决。
• 坑二：在栈上分配大数组。 有个项目需要处理4K图像，我直接在栈上声明了一个 char buffer[4096 * 4096]，结果程序一跑就崩。后来改成 std::vector，放到堆上，一切正常。
• 坑三：递归没有终止条件。 调试的时候忘了写递归终止条件，结果栈直接爆了，连异常都没来得及抛。嗯，从那以后我写递归都会先检查终止条件。

好了，栈内存就聊到这儿。记住一句话：栈是自动的，但不是无限的。用好它，别滥用它。