动态内存管理：malloc/calloc/realloc/free，内存泄漏、野指针、内存碎片问题

动态内存管理，说白了就是让程序在运行时按需申请和释放内存。这玩意儿是C语言的精髓，也是无数bug的温床。我刚开始做嵌入式开发那会儿，就因为一个内存泄漏问题，排查了整整三天三夜。嗯，从那以后，我对这四个函数和三个问题，就再也不敢掉以轻心了。

一、四大金刚：malloc / calloc / realloc / free

这四个函数，是C标准库给我们操作堆内存的接口。它们都在 <stdlib.h> 里声明。咱们一个一个说。

1. malloc：申请一块未初始化的内存

void *malloc(size_t size);

malloc 从堆上申请 size 字节的内存。返回的是 void* 指针，需要你自己强转。申请成功返回地址，失败返回 NULL。

我在项目中遇到过，有人 malloc 后直接当字符串用，结果打印出一堆乱码。其实就是没做 memset 清零。

2. calloc：申请并初始化为零

void *calloc(size_t nmemb, size_t size);

calloc 申请 nmemb 个元素，每个元素 size 字节。总大小 = nmemb * size。它会把这块内存全部清零。

3. realloc：调整已申请内存的大小

void *realloc(void *ptr, size_t size);

realloc 可以扩大或缩小之前 malloc/calloc 出来的内存块。注意几个坑：

• 如果 ptr 是 NULL，realloc 等价于 malloc
• 如果 size 是 0，realloc 等价于 free（但行为是未定义的，别这么用）
• realloc 可能会移动内存块，返回新的地址
• 如果 realloc 失败，原内存块不会被释放，返回 NULL

4. free：释放内存

void free(void *ptr);

free 把之前申请的内存归还给堆。注意：

• 只能 free 堆内存，不能 free 栈上的变量
• free 后要把指针置为 NULL，否则就是野指针
• 不能重复 free 同一块内存（double free）

二、三大顽疾：内存泄漏、野指针、内存碎片

这三个问题，是动态内存管理的噩梦。我见过太多项目，最后被这几个问题折磨得死去活来。

1. 内存泄漏

申请了内存，用完了没释放。程序跑着跑着，内存越吃越多，最后系统崩溃。

// 内存泄漏示例
void leak_example() {
    int *p = (int*)malloc(100 * sizeof(int));
    // 用完了，忘了 free(p);
    // p 变成悬空指针，内存泄漏
}

2. 野指针

指针指向的内存已经被释放，或者指向了非法地址。野指针的访问，轻则数据错乱，重则段错误。

// 野指针示例
int *p = (int*)malloc(sizeof(int));
free(p);
// p 现在是野指针
*p = 10;  // 危险！访问已释放的内存

3. 内存碎片

频繁地申请和释放小块内存，会导致堆上出现大量不连续的小空闲块。虽然总空闲内存够用，但找不到一块连续的大内存来满足申请。

内存碎片分两种：

• 外部碎片：空闲块分散在各处，无法合并成大块
• 内部碎片：申请的内存比实际需要的大，浪费了一部分

三、知识体系图

下面这张图，把动态内存管理的核心知识点串起来了。你看一眼，心里就有谱了。

四、最佳实践总结

说了这么多问题，咱们得有点干货。下面是我这些年总结出来的几条铁律：

原则	说明	我的经验
谁申请谁释放	malloc 和 free 在同一个模块/函数中成对出现	我习惯在写 malloc 的下一行就写 free 的注释
free 后置 NULL	释放后立即将指针赋值为 NULL	这招救过我至少三次
检查返回值	每次 malloc/calloc/realloc 后都检查是否为 NULL	嵌入式环境内存紧张，不检查就是找死
避免频繁小块分配	用内存池或对象池代替频繁 malloc/free	我在一个 RTOS 项目里用内存池，碎片率从 40% 降到 5%
使用静态分析工具	用 Valgrind、Coverity 等工具检测内存问题	Valgrind 是我调试内存泄漏的救命稻草

嗯，今天就聊到这儿。记住这些原则，你的代码会少很多头疼的问题。

---

公众号:蓝海资料掘金营，微信deep3321