固定块大小内存池是高并发、恒定大小对象场景下的唯一合理选型，需手动保证缓存行对齐、用std::atomic实现无锁空闲链表、显式调用构造/析构，否则将引发未定义行为或性能断崖。
固定块大小内存池不是“比 new 快一点”的替代品，而是当你确认对象大小恒定、分配频次高、且不能容忍锁竞争或堆碎片时，唯一合理的选型。它能实现真正 O(1) 分配/释放，但前提是：你亲手控制对齐、不跳过构造/析构、线程安全方案不拖后腿。
operator new 用错对齐就全崩
用 new char[n] 分配的内存只保证 std::max_align_t 对齐（通常是 8 或 16 字节），但你的结构体若要求 64 字节缓存行对齐（比如高频访问的节点），allocate() 返回的指针大概率不满足——除非你从源头就对齐整块池内存。
- 正确做法是：用
operator new(size_t, std::align_val_t)替代new char[]，例如：operator new(pool_size * block_size, std::align_val_t{64}) - 跨平台兼容时（如 Windows 上
VirtualAlloc默认页对齐但不保证 64 字节），得手动偏移调整：多分配至少 64 字节冗余空间，再调用std::align找第一个满足对齐的地址 - 别把
alignas(64)加在struct Block上——它只影响变量声明时的栈/全局布局，对运行时从池中切出的内存无约束
空闲链表头必须是 std::atomic<void></void>，不是 std::mutex
多线程下用互斥锁保护 free_list 指针，会立刻让 O(1) 退化为锁争用热点，尤其在高并发小对象场景下，吞吐量断崖下跌。
- 标准解法：把
free_list声明为std::atomic<void></void>，用compare_exchange_weak实现无锁栈 - 所有块内用于存
next指针的字段，必须固定在相同偏移（如统一从块首字节开始），否则不同线程读到的next地址可能指向非法区域 - 分配时：读头 → 读下一节点 → CAS 更新头为下一节点；释放时：读当前头 → 写本块
next指向当前头 → CAS 更新头为本块
对象生命周期完全不在池逻辑里，漏掉就未定义行为
内存池只管“内存”，不管“对象”。分配出来的是原始内存，必须显式调用 new(p) T(args)；释放前必须显式调用 p->~T()。漏掉任一环节，就是未定义行为或资源泄漏。
- 模板类里写
return static_cast<t>(allocate())</t>看似封装了，实则绕过了构造；应强制用户走construct()接口，或内部完成定位 new - 如果对象有非平凡析构函数，
deallocate()前必须先调p->~T()，否则 RAII 失效、文件句柄/锁/内存泄漏 - 别用
std::shared_ptr管理池本身——析构顺序不可控，极易引发 use-after-free；池对象应为静态、全局或明确生命周期长于所有使用者
最易被忽略的点：对齐不是“加个 alignas 就完事”，而是从 operator new 调用开始就要对齐整块池；而空闲链表的无锁化，也不是“套个 atomic”就行，必须确保块内指针偏移一致、CAS 逻辑完整。这两处一旦出错，问题往往延迟暴露，调试成本极高。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
