内存池通过预分配大块内存并用链表管理空闲块,避免malloc/new的频繁系统调用、锁竞争和元数据开销;FixedBlockPool以固定大小块+单链表实现O(1)分配/释放,需注意对象大小一致、生命周期可控及分配器成对使用。
为什么 malloc 和 new 在高频小对象场景下会拖慢性能
频繁调用 malloc 或 new 分配小块内存(比如几十字节的节点),会导致堆管理器反复拆分/合并空闲块、维护元数据、加锁(多线程下),甚至触发系统调用。实际测下来,分配一个 32 字节对象可能比构造对象本身还慢 5–10 倍。
内存池的核心思路是:一次性向系统申请一大块内存(比如 64KB),内部用链表或位图管理空闲块,allocate() 只做指针偏移 + 链表摘除,deallocate() 只做链表插入 —— 全部在用户态完成,无锁(单线程)或轻量锁(多线程)。
- 适用场景:
std::list节点、事件循环中的task结构、游戏里大量particle对象 - 不适用场景:对象大小差异大(如同时有 16B 和 2KB 对象)、生命周期不规则(无法批量回收)
- 关键约束:必须成对使用自定义分配器,不能混用
new/delete和池内指针
如何写一个线程安全的固定大小内存池(FixedBlockPool)
固定块池最简单也最常用。假设你要为 struct Node { int x; Node* next; }; 提供分配器,大小固定为 16 字节(含对齐)。
核心结构体只需三个成员:m_block_size(块大小)、m_free_list(指向空闲块的 char* 单链表)、m_blocks(原始大内存块首地址)。所有操作围绕链表头进行:
立即学习“C++免费学习笔记(深入)”;