C++轻量级内存池分配器有四种实现方法：一、单链表管理空闲块，O(1)分配回收；二、位图标记法，适合中等规模；三、两级索引数组，兼顾实时性与速度；四、TLS隔离路径，提升多线程吞吐量。
如果您希望在 C++ 中实现一个轻量级内存池分配器，以避免频繁调用 new/delete 带来的系统开销与碎片问题，则需要构建基于预分配固定大小块的管理逻辑。以下是实现该内存池分配器的具体方法：
一、基于单链表的空闲块管理
该方法使用一个指针链表维护所有已分配但当前未被使用的内存块，每个块头部存储指向下一个空闲块的指针，形成单向链表结构，便于 O(1) 时间完成分配与回收。
1、定义内存块头部结构体，包含 next 指针，大小为 sizeof(void*)，位于每块起始位置。
2、初始化时申请一大块原始内存（如 64KB），将其按固定块大小（如 128 字节）切分为若干块，并将每块头部的 next 指向下一空闲块。
3、设置 free_list 头指针指向首个空闲块地址。
4、分配时返回 free_list 所指地址，并将 free_list 更新为该块头部记录的 next 地址。
5、回收时将待释放块的 next 字段设为当前 free_list 值，再将 free_list 指向该块首地址。
二、位图标记法管理预分配块
该方法将整块预分配内存划分为等长子块后，使用一个 bit 数组记录各块是否已被占用，支持快速扫描与批量查找，适合中等规模块数（如 ≤ 65536）场景。
1、计算所需位图字节数：ceil(总块数 / 8)，并动态分配该字节数的 bitmap 缓冲区。
2、初始化时将 bitmap 全置为 0，表示所有块空闲。
3、分配时从低位开始扫描 bitmap，找到第一个值为 0 的 bit，将其置为 1，并返回对应块的起始地址。
4、回收时根据传入指针反向计算块索引，将对应 bit 置为 0。
5、块索引计算公式为：(ptr - pool_start) / block_size，其中 ptr 为待回收地址，pool_start 为内存池起始地址。
三、两级索引数组管理
该方法通过一个布尔数组直接映射每块状态，并辅以一个整数数组记录首个空闲块索引，兼顾随机访问效率与分配速度，适用于对分配延迟敏感的实时场景。
1、声明两个数组：bool* used_flags 和 size_t* first_free，长度均为总块数。
2、初始化时将 used_flags 全设为 false，first_free[0] 设为 0，其余项设为 SIZE_MAX。
3、分配时读取 first_free[0] 获取可用块号，将其对应 used_flags 置为 true，并更新 first_free[0] 为下一个连续空闲块号或 SIZE_MAX。
4、回收时将对应 used_flags 置为 false，并检查前后块是否空闲，合并连续空闲段后更新 first_free[0] 为最小空闲号。
5、块地址计算方式为：pool_start + block_index * block_size。
四、线程局部存储（TLS）隔离分配路径
该方法为每个线程维护独立的空闲块列表，避免多线程下锁竞争，提升高并发分配吞吐量，适用于多核环境下的高频小对象分配。
1、使用 thread_local 关键字声明 static free_list_head 指针变量，确保每个线程拥有私有副本。
2、首次调用分配函数时，若本线程 free_list_head 为空，则从全局共享池中批量获取 N 个块（如 16 个），构成本地链表。
3、后续分配仅操作本地 free_list_head，无需加锁。
4、当本地链表耗尽时，再次向全局池申请新批次；若全局池也空，则回退至 malloc 分配。
5、回收时，若本地链表长度低于阈值（如 4），则将块归还至全局池；否则保留在本地链表中。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
