c++如何实现堆内存池管理_c++ 块预分配与自定义free逻辑【详解】

new/delete在高频小对象场景变慢，因频繁系统调用、堆管理器锁竞争与内存碎片；内存池通过预分配大块内存+原子空闲链表实现无锁高效分配。

为什么 new / delete 在高频小对象场景下会变慢

频繁调用 new 和 delete 本质是向操作系统申请/释放页内存（mmap/brk），再经由 libc 的堆管理器（如 ptmalloc）切分、合并、加锁。小对象（比如几十字节的节点）反复分配时，会产生大量元数据开销、锁竞争和内存碎片。实测中，一个每秒百万次的 new Node 可能比池化慢 3–10 倍，且 GC 式压力会让 malloc 内部链表遍历变长。

堆内存池的核心思路是：一次性向系统申请一大块内存（如 64KB），自己维护空闲块链表，alloc 直接取头节点，free 仅把指针插回链表——全程无系统调用、无锁（单线程）或轻量 CAS（多线程）。

如何手写一个线程安全的固定大小块内存池

以 32 字节对象为例，不依赖模板、不封装类，聚焦核心逻辑。关键点在于：块对齐、头部元信息、原子空闲链表操作。

• malloc 一次申请足够多的连续内存（如 size_t pool_size = 64 * 1024），用 aligned_alloc(alignof(std::max_align_t), pool_size) 确保地址对齐
• 每个块头部存一个 char* 指针（8 字节），指向下一个空闲块；实际可用内存从该指针后偏移开始（即 block + sizeof(char*)）
• 初始化时，把整块内存切成等长块，串成单向链表：next_ptr = (char**)block; *next_ptr = next_block;
• 分配时用 std::atomic_load 读取链表头，std::atomic_compare_exchange_weak 原子摘下；释放时同样原子插入头部

// 简化版核心分配逻辑（无错误检查）
static std::atomic free_list{nullptr};
void init_pool() {
char pool = static_cast>(aligned_alloc(alignof(std::max_align_t), 65536));
const size_t block_size = 32;
char p = pool;
for (size_t i = 0; i < 65536 / block_size - 1; ++i) {
char next = reinterpret_cast>(p);
next = p + block_size;
p += block_size;
}
char last = reinterpret_cast>(p);
*last = nullptr;
free_list.store(pool, std::memory_order_relaxed);
}
void pool_alloc() {
char head = free_list.load(std::memory_order_acquire);
char next;
while (head && !free_list.compare_exchange_weak(head, next = (char**)head,
std::memory_order_acq_rel,
std::memory_order_acquire)) {}
return head;
}
void pool_free(void ptr) {
if (!ptr) return;
char next_ptr = reinterpret_cast>(ptr);
char old_head = free_list.load(std::memory_order_acquire);
do {
next_ptr = old_head;
} while (!free_list.compare_exchange_weak(old_head, static_cast>(ptr),
std::memory_order_acq_rel,
std::memory_order_acquire));
}

如何支持多种对象大小并避免跨块访问