C++实现固定步长的内存池分配器 _ 内存对齐与内存复用方案【实战】-C++-PHP中文网

固定步长内存池必须同时满足块地址对齐、对象构造/析构可控、空闲块无锁复用且不破坏对齐；缺一不可，否则导致性能归零或未定义行为。

c++实现固定步长的内存池分配器 _ 内存对齐与内存复用方案【实战】

固定步长内存池不是“配个 alignas 就完事”，它必须同时解决三件事：块起始地址对齐、块内对象构造/析构可控、空闲块复用无锁且不破坏对齐。漏掉任一环，轻则性能归零，重则触发未定义行为。

分配前必须确保 pool 起始地址按需对齐

用 operator new 直接申请的内存，只保证 std::max_align_t 对齐（通常是 8 或 16 字节），但如果你的类型需要 64 字节缓存行对齐（比如用于 SIMD 或避免伪共享），这个默认值不够。

不要用 new char[n] —— 它不接受对齐参数

改用 operator new(size_t, std::align_val_t)（C++17 起）：

char* pool = static_cast<char>(operator new(block_size * block_count, std::align_val_t{64}));</char>

若需兼容 C++14，用 aligned_alloc + free，但注意它返回的指针必须用 free 释放，不能混用 delete[]
对齐值必须是 2 的幂，且 ≥ sizeof(void*)，否则自由链表指针存不下

每个块头部必须预留空间存 next 指针，且不能破坏后续对象对齐

自由链表靠把空闲块首地址当 Block* 用，所以每块开头得放一个 void*。但若你希望块内对象（如 struct alignas(64) Vec4）严格从 64 字节边界开始，就不能让指针直接占走开头。

正确做法：分配时整体向上对齐块大小，再把指针存在“对齐前”的原始偏移处

size_t aligned_block_size = ALIGN(block_size, alignment); // 如 block_size=56 → aligned_block_size=64
char* pool = ...; // 已按 alignment 对齐
// 构建自由链表：每个块预留 sizeof(void*) 存 next，但对象起始仍对齐
for (size_t i = 0; i (block) = block + sizeof(void*); // next 指向下一块可用区
  // 实际对象地址 = block + sizeof(void*)，该地址自动满足 alignment 对齐（因 aligned_block_size 是 alignment 倍数）
}

错误做法：直接把 next 放在对象起始处——对象地址就变成未对齐了
如果 block_size ，必须提升到 sizeof(void*)，否则连链表都建不起来

对象生命周期必须由用户显式管理，池不负责构造/析构

内存池返回的是裸内存，allocate() 不调用构造函数，deallocate() 也不调用析构函数。这是最容易被忽略、也最危险的一点。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

分配后必须用定位 new：

void* mem = pool.allocate();
MyType* obj = new(mem) MyType(arg1, arg2); // 显式构造

释放前必须显式析构：

obj->~MyType(); // 必须！否则资源泄漏、析构逻辑丢失
pool.deallocate(obj); // 此时才归还内存

若封装成模板分配器（如配合 std::vector>），需在 construct/destroy 成员中补全这两步
别指望编译器或 RAII 自动帮你做——池本身不知道你放进去的是什么类型

多线程下 free_list 头指针必须原子更新，且块内 next 偏移要一致

非原子操作会导致两个线程同时修改 free_list 头部，一块内存被重复分配，或一块永远丢失。

用 std::atomic 替代裸指针：

std::atomic<void> free_list_head{nullptr};</void>

分配逻辑必须用 compare_exchange_weak 循环：

void* expected;
do {
  expected = free_list_head.load();
  if (!expected) return nullptr;
} while (!free_list_head.compare_exchange_weak(expected, *static_cast<void>(expected)));</void>