内存空闲位置记录：编译器如何识别空闲内存及所用数据结构？

一、编译器不负责跟踪空闲内存 #

编译器只负责把代码翻译成可执行文件，完全不关心运行时的内存状态。真正管这事的是运行时内存分配器（比如C里malloc/free的底层实现）或者操作系统的内存管理模块。程序跑起来后，分配器会向操作系统申请大块内存，再自己拆分、分配、回收这些内存块。

二、空闲池的信息靠元数据记录 #

分配器会在每个内存块里嵌入元数据，用来记录空闲池的状态，常见的元数据内容包括：

• 当前块的总大小
• 标记位：标记该块是空闲还是已被分配
• 指针：指向其他空闲块（如果用链表结构的话）

这些元数据一般放在内存块的头部，比如一个空闲块的结构大概是这样：

[块大小][状态标记][下一块指针][实际可用内存区域]

当内存被分配出去时，分配器会修改状态标记，或者把这块从空闲列表里拿掉；释放内存时，会把状态改回空闲，还会检查相邻的块是不是也空闲，把它们合并成大块，减少内存碎片。

三、空闲链表是最常用的管理结构之一 #

没错，**空闲链表（Free List）**就是专门用来存空闲内存地址的经典结构：

• 每个空闲块的元数据里都带着指向下一个空闲块的指针，把所有空闲块串成链表
• 分配内存时，分配器会遍历链表，找符合大小要求的块（常用策略有首次适配、最佳适配、最坏适配）
• 释放内存时，把块重新插回链表，顺便合并相邻的空闲块，避免碎片化

除了链表，还有位图、伙伴系统这些方案，但空闲链表因为实现简单、灵活，被很多内存分配器采用。

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