📚 课程目录第1章内存分配机制

内存分配机制：栈与堆的区别与工作原理

各位同学，我们直接开讲。聊内存泄漏，绕不开最基础也最关键的一个问题：程序里的内存到底是怎么分配的？说白了，就是搞清楚栈（Stack）和堆（Heap）这两个家伙到底在干什么。很多内存泄漏的根源，就是开发者没搞明白“该放哪里”以及“什么时候收回”。

栈：自动化的“临时工”

我们先看栈。我习惯把它想象成一个自动整理的文件柜。你每调用一个函数，系统就会往这个柜子里抽出一个“抽屉”（也就是栈帧），把这个函数里的局部变量、参数、返回地址一股脑塞进去。函数一执行完，这个“抽屉”连同里面的东西，瞬间被系统收回。

你想想看，这个过程完全自动。不需要你手动去释放，系统全包了。所以栈上的内存分配，速度极快——就是一个指针移动的动作。

核心特征：后进先出（LIFO）。爆栈就是因为递归太深或者局部变量太大，把“抽屉”塞爆了。

我在项目中遇到过几次爆栈。有一次是在一个嵌入式系统里，一个递归函数没写终止条件，跑了几千层。系统直接死机。当时调了一天，最后发现栈顶指针飞出去了。嗯，那之后我写递归，必定先估算调用深度。

栈的工作原理

函数调用时：CPU自动将当前执行位置（返回地址）压栈，然后跳转到新函数。
分配局部变量：直接向下移动栈指针（SP），预留出变量大小。
函数返回时：栈指针向上移动，释放所有变量。返回地址弹出，恢复执行。

// 这个局部变量就在栈上
void func() {
    int a = 10;   // 栈：自动分配，自动释放
    char buf[64]; // 栈：也是自动的
    // 函数结束，a 和 buf 自动消失
}

堆：需要“管家”的长期仓库

说完了栈，再看堆。堆就不一样了。它像一个大仓库，你可以在程序运行的任何时候，向仓库管理员要一块空间。用完了，必须你自己告诉管理员“这块空间我不要了”。

写 C 语言的朋友对 malloc()/free()、C++ 的对 new/delete 肯定不陌生。这就是堆操作的典型例子。

避坑指南：我曾经在一个大型服务端项目里，因为忘记释放一个 map 里存储的指针，导致内存持续增长。跑了三天，内存占用飙升到几十个 GB。后来用 Valgrind（valgrind 是一种内存检测工具）一查，全是堆泄漏。所以，谁分配，谁释放，这六个字一定要刻在脑子里。

堆的工作原理

分配：通过系统调用（如 brk() 或 mmap()）从操作系统“批发”一大块内存，然后由运行时库（如 glibc）切分成小块给程序用。
管理：堆管理器维护一个空闲链表（free list）。分配时查找合适大小的空闲块，释放时把块塞回链表。
碎片化：频繁分配和释放会导致内存碎片。空闲内存很多，但没有一块足够大，导致分配失败。我在做游戏引擎时深有体会。

// 这个指针指向的空间在堆上
void func() {
    int* p = (int*)malloc(sizeof(int) * 100); // 堆：手动分配
    if (p) {
        // 使用 p
        // ...
        free(p);  // 堆：必须手动释放！否则泄漏
        p = NULL;
    }
}

栈 vs 堆：一张表说清楚

对比维度	栈（Stack）	堆（Heap）
分配方式	自动分配，自动释放	手动分配（malloc/new），手动释放（free/delete）
管理方式	编译器 + CPU 硬件指令	运行时库（如 glibc） + 内核
速度	极快（几条指令）	较慢（需要查找空闲块）
生命周期	函数执行期间	从分配到释放，可由程序员控制
大小限制	较小（KB 到 MB 级，可配置）	较大（受虚拟地址空间限制）
内存碎片	无（完美连续）	容易产生外部碎片
线程安全	每个线程独享	所有线程共享，需要加锁或无锁算法
典型错误	栈溢出（爆栈）	内存泄漏、野指针、重复释放

为什么堆泄漏比栈溢出更可怕？

栈溢出一发生，程序通常会立刻崩溃，你能立刻知道。但堆泄漏不同。它像一个缓慢滴水的水龙头，不会马上出事。等到服务器运行一个月后，内存耗尽，系统 OOM（Out Of Memory，内存耗尽）被 kill 掉，你才意识到出问题了。而这种问题最难复现，也最难定位。

我的调试技巧：在开发阶段，建议在代码中嵌入内存分配统计。每次 malloc/new 时记录分配位置和大小，每次 free/delete 时移除记录。这样程序退出时，如果还有未释放的记录，直接打印出来。这就是最简单的“内存泄漏检测”。

SVG 图：栈与堆的内存分配结构

下面我用一张图把刚才说的关系梳理一下。你可以把它当作一张“内存地图”，每次写代码前在脑子里过一遍。

看这张图，栈这边层次分明，帧与帧之间通过SP指针自动切换。堆这边则是一个“大杂烩”，有空闲块，有已分配块，还有碎片。每次 malloc 都要在空闲链上找一块大小合适的，这个过程比栈的指针移动慢不少。

特别注意：图中有一个小碎片（紫色块）。当堆上频繁分配小对象又释放时，就会出现这种无法使用的碎片。虽然总空闲内存不少，但 malloc(1024) 可能因为找不到一块连续的1024字节而失败。这就是“内存碎片”问题。我在做网络服务器时，对这个问题深恶痛绝。

实际编码中的选择原则

那么问题来了：什么时候用栈，什么时候用堆？我总结了三条简单规则：

能用栈就用栈：比如固定大小的数组、小型结构体、函数内部的临时变量。又快又安全。
必须用堆的场景：数据大小在运行时才能确定、数据需要在多个函数之间共享、数据体积很大（比如几十MB的缓冲区）。
避免在栈上放“大象”：在栈上分配一个大数组（比如几百KB）很容易爆栈。我在一个RTOS项目里见过有人把1MB的日志缓冲放在栈上，结果一直死机。

好了，栈和堆的区别说清楚了。这是内存管理最基础的一课，也是后面分析内存泄漏的基石。你只有知道东西是放在栈上自动回收的，还是放在堆上需要手动释放的，才能理解 “泄漏” 到底漏的是什么。