内存管理基础：堆与栈的区别、静态内存与动态内存分配

内存管理，说白了就是嵌入式软件开发的"地基"。我见过太多项目，功能逻辑写得漂漂亮亮，一上电跑几个小时就崩了——查到最后，全是内存问题。这一章，咱们就把堆、栈、静态内存、动态分配这些基础概念彻底捋清楚。

堆与栈：两个完全不同的世界

很多初学者会把堆和栈搞混。其实它们就像两个性格迥异的管家，管理着不同性质的内存资源。

对比维度	栈（Stack）	堆（Heap）
分配方式	自动分配/释放（编译器管）	手动分配/释放（程序员管）
速度	极快（仅移动栈指针）	较慢（需要查找空闲块）
大小	固定（通常几KB~几MB）	较大（受限于RAM总量）
碎片问题	无碎片（LIFO顺序）	容易产生外部碎片
生命周期	随函数调用结束而释放	由程序员控制，直到free/delete
典型用途	局部变量、函数参数、返回地址	大块数据、动态结构（链表、树）

我在项目中遇到过最典型的栈溢出案例：一个中断服务函数里声明了一个 2KB 的局部数组，而系统栈总共才 4KB。嵌套几层调用后，栈指针直接冲到了未映射区域——系统硬 fault。嗯，从那以后我养成了一个习惯：中断里绝不用大数组，必须用的话就声明成 static 或者从堆分配。

静态内存与动态内存分配

静态内存分配，说白了就是"编译时就定死了"。全局变量、static 局部变量、常量字符串，这些都在编译链接阶段就确定了地址和大小。好处是确定性强、没有运行时开销；坏处是不够灵活。

动态内存分配则是在程序运行时才向系统申请内存。C 里用 malloc/free，C++ 里用 new/delete。我个人的经验是：在裸机或 RTOS 环境下，动态分配要慎之又慎——不是不能用，而是要用对地方。

malloc/free 与 new/delete 的底层机制

很多人以为 malloc 就是"从堆里划一块内存出来"。其实它的底层实现远比这复杂。我拆开讲过几个主流 C 库的实现，核心机制大同小异。

malloc 的典型工作流程

1. 检查空闲链表：遍历维护的空闲内存块链表，寻找大小合适的块。
2. 分割块：如果找到的块比请求的大，就切出一块返回，剩下的放回空闲链表。
3. 合并相邻空闲块：释放时检查前后块是否空闲，是则合并，减少碎片。
4. 向操作系统申请：如果空闲链表里没有合适的块，通过 sbrk/brk 或 mmap 向 OS 要更多内存。

new 和 delete 在 C++ 里其实是对 malloc/free 的封装。但有一个关键区别：new 除了分配内存，还会调用构造函数；delete 在释放前会调用析构函数。

// C 风格
int* p = (int*)malloc(sizeof(int) * 10);
if (p != NULL) {
    // 使用 p
    free(p);
}

// C++ 风格
int* p = new int[10];
// 使用 p
delete[] p;  // 注意是 delete[]，不是 delete

内存对齐与填充

内存对齐，说白了就是"数据存放的地址要符合某种规则"。比如一个 4 字节的 int，它的地址最好是 4 的倍数。为什么？因为 CPU 从内存读数据是一次读一个字（比如 4 字节），如果 int 没有对齐，CPU 可能需要读两次才能拿到完整数据——性能直接腰斩。

我调试过一个音频处理项目，同样的算法，在不同平台上性能差了 30%。查到最后，就是因为结构体成员没对齐，导致 CPU 频繁做非对齐访问。加上 __attribute__((aligned(4))) 后，性能立刻上来了。

结构体对齐的典型例子

struct Example {
    char  a;   // 1 字节
    int   b;   // 4 字节
    short c;   // 2 字节
};
// 你以为大小是 1+4+2=7 字节？
// 实际上编译器会填充，大小是 12 字节

为什么会这样？因为编译器会在 a 后面填充 3 个字节，让 b 对齐到 4 字节边界；在 c 后面填充 2 个字节，让整个结构体大小是 4 的倍数。这就是"内存填充"。

数据类型	自然对齐边界	典型大小
char	1 字节	1
short	2 字节	2
int / float	4 字节	4
double	8 字节	8
指针（32位）	4 字节	4
指针（64位）	8 字节	8

知识体系总览

下面这张图把本章的核心知识点串了起来。你可以把它当作内存管理的"导航图"。

这张图把栈、堆、静态内存三者的关系，以及 malloc/free、new/delete、内存对齐这些知识点串在了一起。你可以把它当作本章的"思维导图"，每次写代码前扫一眼，能帮你避开不少坑。