C语言中常见的内存泄漏问题有哪些排查和解决方法？

C语言中内存泄漏是指通过malloc、calloc或realloc动态分配的堆内存，在不再使用时未被free释放，导致程序可用内存持续减少。

常见内存泄漏场景

1. 分配后未释放：函数内申请了内存，但在返回前遗漏了free调用。
2. 异常分支遗漏：在包含多个提前返回（early return）的函数中，部分错误处理路径跳过了释放逻辑。
3. 指针覆盖：指向已分配内存的指针被重新赋值，导致原内存块失去引用而无法释放。
4. 结构体嵌套泄漏：释放外层结构体时，未先释放其内部指针成员所指向的动态内存。
5. 全局或静态容器累积：链表、哈希表等数据结构只增不减，且未清理废弃节点。

排查方法

使用 Valgrind (Memcheck)

编译时加上 -g 参数保留调试信息，运行 valgrind --leak-check=full ./your_program。程序退出后，Valgrind 会输出泄漏字节数、分配次数以及对应的源代码行号。

使用 AddressSanitizer (ASan)

GCC 和 Clang 均支持该特性。编译时添加 -fsanitize=address -g 选项，程序运行时若发生内存泄漏或越界访问，会在终端直接打印详细的调用栈信息。

重载或宏替换记录

在开发阶段，可通过宏将 malloc 和 free 替换为自定义包装函数，记录每次分配的指针地址、文件名和行号。程序退出时遍历记录表，未被 free 匹配的条目即为泄漏点。

解决方法与预防策略

1. 严格配对原则：确保每一个 malloc/calloc/realloc 都有且仅有一个对应的 free，且在同一抽象层级完成分配与释放。
2. 统一出口模式：在复杂函数中使用 goto cleanup 模式，将所有资源释放逻辑集中在函数末尾，避免多分支遗漏。
3. 及时置空指针：调用 free(ptr) 后立即执行 ptr = NULL;，防止产生悬空指针及重复释放（double free）问题。
4. 深拷贝与深释放：对于包含指针成员的结构体，编写专用的创建和销毁函数，确保内部成员的内存也被正确释放。

判断依据

• 程序长时间运行后，通过系统监控（如 Linux 的 top 命令）观察到 RES（常驻内存）持续增长且不回落。
• 内存检测工具报告 "definitely lost" 或 "indirectly lost" 字节数大于零。

适用条件

上述工具和方法适用于用户态堆内存泄漏的排查。栈内存由编译器自动管理，不存在泄漏问题；而共享内存或内存映射文件需依赖特定的 IPC 清理机制。

常见误区

• 认为 free(NULL) 会崩溃：C标准规定对空指针调用 free 是安全的无操作，无需额外判空。
• 混淆内存泄漏与内存越界：内存泄漏是未释放，越界是非法访问，两者虽同属内存错误但表现和排查重点不同。
• 以为进程结束时操作系统回收即可忽略泄漏：对于长期运行的服务程序，即使单次泄漏量小，累积后也会导致 OOM（Out of Memory）被系统杀死。