第4章：堆与栈的区别——内存管理的两个世界

说实话，我见过太多C语言新手在堆和栈上栽跟头了。我自己刚入行那会儿，也曾经因为搞混这两者，在嵌入式项目里折腾了整整两天才找到bug。今天咱们就来彻底掰扯清楚，堆和栈到底有什么区别。

4.1 栈内存管理机制

栈，说白了就是系统自动管理的一块内存区域。你想想看，每次调用函数时，局部变量、函数参数、返回地址这些东西往哪儿放？就是栈。

栈的管理特别简单粗暴——后进先出。就像一摞盘子，你放上去一个，再放上去一个，取的时候只能从最上面取。系统会自动帮你完成压栈和出栈的操作，你根本不用操心。

栈的特点：

分配速度极快——只需要移动栈指针
自动管理——函数返回时自动释放
容量有限——通常只有几MB
连续内存——地址从高到低增长

// 栈上的变量
void func() {
    int a = 10;        // 栈上分配
    char buf[64];      // 栈上分配
    // 函数结束自动释放
}

我在项目中遇到过一个问题：一个同事在中断服务函数里定义了一个大数组，结果栈溢出了，系统直接跑飞。嗯，这就是没搞清楚栈容量限制的典型例子。

4.2 堆内存管理机制

堆就不一样了。堆是程序员自己管理的内存区域，你想什么时候分配就什么时候分配，想什么时候释放就什么时候释放。听起来很自由对吧？但自由是有代价的。

堆的管理机制要复杂得多。系统需要维护一个空闲链表，记录哪些内存块是可用的。当你调用malloc时，系统会去遍历这个链表，找到一块足够大的空闲内存给你。释放时，free会把这块内存重新标记为空闲。

堆的陷阱：

分配速度慢——需要查找空闲块
容易产生碎片——频繁分配释放会导致内存碎片
必须手动释放——忘记free就是内存泄漏
容量较大——取决于系统可用内存

// 堆上的变量
void func() {
    int *p = (int*)malloc(sizeof(int) * 100);
    if (p == NULL) {
        // 处理分配失败
        return;
    }
    // 使用p...
    free(p);  // 必须手动释放
}

我曾经接手过一个老项目，里面有个模块每隔几秒就malloc一次，但从来不忘free。跑了三天后，系统内存耗尽，直接死机。这就是典型的堆内存泄漏。

4.3 生命周期对比

生命周期这块，我建议你用一张图来理解：

从这张图你能看出来，栈的生命周期是固定的——跟着函数走。函数一结束，栈上的东西就全没了。但堆不一样，你可以在函数A里malloc，在函数B里free，甚至在整个程序运行期间都不释放。

我的经验之谈：

在嵌入式开发中，我一般遵循这样的原则：能用栈就别用堆。栈的分配和释放都是确定性的，不会产生碎片，也不会泄漏。只有以下几种情况我才会考虑用堆：

数据大小在编译时无法确定
数据需要在多个函数间共享
数据量太大，栈放不下

4.4 核心区别一览

对比项	栈	堆
管理方式	系统自动管理	程序员手动管理
分配速度	极快（移动指针）	较慢（查找空闲块）
释放方式	函数返回自动释放	必须调用free
容量	通常1-8MB	取决于系统内存
碎片问题	无碎片	容易产生碎片
生命周期	与函数绑定	由程序员控制
典型错误	栈溢出	内存泄漏、野指针

为什么会这样？说白了就是设计理念不同。栈追求的是效率和确定性，堆追求的是灵活性和大容量。你想想看，如果所有数据都放栈上，那程序根本跑不了复杂的任务。但如果所有数据都放堆上，性能又跟不上。

避坑指南：

我曾经在调试一个网络协议栈时，发现程序运行一段时间后就会莫名其妙地卡死。查了两天，最后发现是一个回调函数里malloc了内存，但忘记在另一个分支里free。嗯，从那以后我养成了一个习惯：每次malloc之后，立刻写上对应的free，哪怕还没写中间的代码。

记住一句话：栈是系统帮你管，堆是你自己管。管不好堆，内存泄漏就找上门了。下一节咱们就聊聊，怎么用工具把这些泄漏揪出来。