29. C语言内存管理最佳实践：编码规范、防御性编程、代码审查清单
内存管理这事儿，说难不难，说简单也不简单。我见过太多项目，功能跑得挺好，一上线就崩，查到最后全是内存问题。说白了，内存管理拼的不是技巧，而是习惯。今天我就把自己这些年踩过的坑、总结的规矩，一股脑儿倒出来。
29.1 编码规范：从源头堵住漏洞
我个人的习惯是，写代码之前先定规矩。团队里如果没有统一的内存管理规范，那代码审查的时候基本就是在吵架。
29.1.1 变量初始化：零容忍未初始化
嗯，这里要注意。每次声明指针变量，必须立即初始化。要么指向合法内存，要么置为NULL。没有第三条路。
// 错误示范
int *p;
*p = 10; // 野指针！谁也不知道p指向哪里
// 正确做法
int *p = NULL;
// 或者
int value = 10;
int *p = &value;
警告：我曾经在一个通信协议栈项目里，就因为一个未初始化的指针，导致整个系统在运行72小时后随机崩溃。查了整整三天，最后发现是某个结构体成员指针没赋初值。从那以后，我写代码第一件事就是初始化所有变量。
29.1.2 malloc/calloc 后的检查
你想想看，嵌入式系统内存本来就紧张。malloc返回NULL的情况，不是会不会发生，而是什么时候发生。所以每次动态分配后，必须检查返回值。
// 规范写法
int *buffer = (int *)malloc(sizeof(int) * 100);
if (NULL == buffer) {
// 错误处理：记录日志、释放已有资源、返回错误码
log_error("内存分配失败，请求大小: %zu", sizeof(int) * 100);
return -1;
}
小技巧：我习惯在malloc后面直接写if判断，中间不留空行。这样代码审查的时候一眼就能看到有没有做检查。
29.2 防御性编程：别信任何人，包括你自己
防御性编程的核心思想就一句话：假设所有输入都是恶意的，所有指针都可能为NULL，所有内存操作都可能越界。
29.2.1 函数参数校验
每个接收指针参数的函数，入口处必须做有效性检查。这不是啰嗦，是保命。
int process_data(uint8_t *data, size_t len) {
// 防御性检查
if (NULL == data) {
return -EINVAL;
}
if (0 == len || len > MAX_DATA_SIZE) {
return -EINVAL;
}
// 正常处理逻辑
// ...
return 0;
}29.2.2 释放后的指针置空
free之后不置空，这是新手最容易犯的错误。你以为内存释放了就安全了？其实悬空指针比野指针更可怕。
void safe_free(void **ptr) {
if (NULL != ptr && NULL != *ptr) {
free(*ptr);
*ptr = NULL; // 关键一步
}
}
// 使用示例
int *data = (int *)malloc(sizeof(int) * 50);
// ... 使用 data ...
safe_free((void **)&data);
核心原则：谁分配，谁释放；谁释放，谁置空。这个规矩不能破。
29.3 代码审查清单：照着查，不出事
我整理了一份内存管理代码审查清单，每次代码审查都拿着它一条条过。你直接拿去用就行。
| 检查项 | 检查内容 | 严重程度 |
|---|---|---|
| 1. 指针初始化 | 所有指针变量是否在声明时初始化？ | 致命 |
| 2. 分配检查 | malloc/calloc/realloc后是否检查NULL？ | 致命 |
| 3. 释放匹配 | free次数是否与malloc次数一致？ | 致命 |
| 4. 释放后置空 | free后指针是否置为NULL？ | 严重 |
| 5. 越界访问 | 数组/缓冲区操作是否检查边界？ | 致命 |
| 6. 内存泄漏 | 所有分支路径是否都有对应的释放？ | 严重 |
| 7. 重复释放 | 是否存在多个路径可能释放同一指针？ | 致命 |
| 8. 类型匹配 | free时指针类型是否与分配时一致？ | 一般 |
29.4 知识体系：内存管理最佳实践全景图
下面这张图，是我自己总结的内存管理最佳实践框架。每次带新人，我都先让他们看这张图。
29.5 实际项目中的血泪教训
我记得有一次，一个同事写的网络协议栈，上线后每三天重启一次。查了日志发现是内存碎片导致malloc失败。问题出在哪？他频繁分配和释放小内存块，而且没有做内存池管理。
后来我们改了方案：
- 预分配固定大小的内存池
- 用位图管理空闲块
- 禁止运行时动态分配大块内存
改完之后，系统连续跑了200天没重启。你看，规矩定好了，问题就少了。
我的建议：嵌入式系统里，能不动态分配就别动态分配。静态数组、内存池、环形缓冲区，这些都比malloc/free靠谱得多。
29.6 总结：记住这三条
说了这么多，其实核心就三条：
- 写代码时守规矩——初始化、检查、配对，一步都不能少
- 运行时多检查——别信任何指针，别信任何长度
- 审查时用清单——一条条过，别凭感觉
做到这三点，内存问题至少能减少80%。剩下的20%，靠工具和测试去抓。嗯，今天就聊到这儿，这些规矩你拿去用，肯定能少踩不少坑。
公众号:蓝海资料掘金营，微信deep3321