《Crafting Interpreters》单次预分配大块内存自主管理实现问题咨询

现有代码核心问题 #

你的实现首先不符合需求要求的「启动仅分配一次大块内存」的前提，同时存在多个逻辑错误直接导致内存块丢失、覆盖：

• 未使用单块内存池：initFreeList 中循环调用系统malloc分配每个链表节点，等于完全依赖系统内存分配，没有实现自行管理单块内存的逻辑。
• 内存分配大小错误：初始化节点时写的是malloc(sizeof(freeList*))，仅分配了指针大小的内存，远小于freeList结构体本身的大小，直接导致内存越界写入，覆盖相邻节点的数据。
• 元数据被用户数据覆盖：你返回给用户的指针直接是freeList节点的地址，用户写入数据时会直接覆盖节点的free、next字段，后续内存管理的元数据全部错乱，自然出现内存丢失。
• 分配逻辑漏洞：遍历找空闲块时，只要遇到第一个非空闲块就会停止，不会跳过已分配块查找后续连续空闲空间；同时分配时直接把连续块从链表摘除，没有保留分配块的大小信息，释放时无法确定要归还多少块。
• 释放逻辑不完善：释放时仅把块挂到链表尾部，没有校验指针合法性，也没有合并相邻的空闲块，多次分配释放后会产生大量无法被利用的内存碎片，看起来就像内存丢失。
• 非法内存访问：main函数中调用free_释放内存后，仍然访问已释放的str、var1、var2，属于未定义行为。

正确实现思路 #

针对「单块内存自行管理分配释放」的需求，通用的实现逻辑如下：

1. 预分配整块内存池
   启动时仅调用一次系统malloc，申请你需要的总内存大小，比如需要支持10个8字节块，总大小可以按总块数 * (BLOCK_SIZE + 元数据大小)计算，所有后续分配都从这一块内存中拆分。
2. 设计块结构
   每个可分配块的头部预留元数据空间，存储块大小、是否空闲、前后块指针等信息，返回给用户的指针要跳过元数据区域，避免用户写入覆盖元数据，示例结构：

typedef struct Block {
    size_t size; // 当前块总大小（含元数据）
    bool is_free;
    struct Block* next;
    struct Block* prev;
} Block;
#define META_SIZE sizeof(Block)
#define BLOCK_SIZE 8

3. 初始化内存池
   把预分配的整块内存的起始位置初始化为根块节点，设置对应大小、空闲状态，后续可根据需要拆分成多个固定大小的块，串成空闲链表。
4. 分配逻辑

• 先把用户申请的内存大小向上对齐到BLOCK_SIZE的整数倍。
• 采用首次适配/最佳适配策略遍历空闲链表，找到大小足够的连续空闲块。
• 如果找到的块远大于申请的大小，可以将其拆分为已分配块和剩余空闲块，剩余空闲块重新插入空闲链表。
• 标记该块为已分配，从空闲链表移除，返回(void*)((char*)block + META_SIZE)给用户（跳过元数据）。

5. 释放逻辑

• 拿到用户传入的指针后，回退到元数据位置：Block* block = (Block*)((char*)ptr - META_SIZE)。
• 标记块为空闲，插入回空闲链表。
• 检查当前块的前一个、后一个块是否为空闲状态，如果是就合并相邻空闲块为一个大块，避免内存碎片。

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