C语言链表使用append添加节点后无法完全释放内存问题求助

问题根因说明 #

你的代码逻辑不存在内存泄漏，观测到的内存占用差异是C运行时库（CRT）的堆内存管理策略和系统内存统计规则导致的，和代码本身的释放逻辑无关。

1. 先确认代码逻辑正确性 #

不管使用push还是append插入节点，destroy_list都会遍历完整的链表释放所有节点，添加计数打印后输出的i值固定为20001（1个初始头节点 + 20000次插入的节点），所有malloc申请的内存都对应调用了free，不存在节点脱离链表无法释放的问题。

2. 任务管理器的内存统计不代表未释放内存 #

Windows任务管理器默认显示的内存数值一般是进程工作集或提交大小，这两个指标都不等同于程序实际未释放的堆内存：

• free的本质是把内存块归还给CRT的堆管理器，不是直接还给操作系统。CRT会默认缓存空闲内存块，留给后续malloc直接复用，避免频繁向操作系统申请/释放内存的性能开销，这部分缓存的空闲内存仍然会被统计到进程的内存占用中。

3. push和append的内存表现差异原因 #

两种插入方式的内存访问模式不同，导致CRT堆的缓存策略不同：

• push是头插，每次新节点直接插在链表头部，分配过程不需要遍历已有节点，内存页的访问频率低，释放后CRT更容易把连续的空闲块合并后归还给操作系统，所以看起来内存占用更低。
• append是尾插，每次插入都要遍历完整的链表，会把所有节点所在的内存页都加载到物理内存中，释放后这些内存页因为被频繁访问过，CRT会优先保留作为缓存，不会立刻归还给操作系统，所以观测到的内存占用更高。

4. 新增打印后内存占用下降的原因 #

printf是重量级IO操作，内部会申请、释放大量临时缓冲区，同时会触发CRT堆管理器执行堆整理逻辑，把之前零散的空闲内存块合并成大块，不需要的大块内存会被归还给操作系统，因此观测到内存占用下降。

准确检测内存泄漏的方法 #

不要依赖任务管理器这类系统级的内存统计工具，使用专门的内存泄漏检测工具即可验证无泄漏：

• Windows平台可以使用Visual Studio自带的CRT内存检测功能，或者WinDbg的堆检测命令
• 跨平台可以使用Valgrind工具（支持Linux、macOS）

内容的提问来源于stack exchange，提问作者subski