固定步长内存池必须同时满足块地址对齐、对象构造/析构可控、空闲块无锁复用且不破坏对齐；缺一不可，否则导致性能归零或未定义行为。
固定步长内存池不是“配个 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})); - 若需兼容 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_count; ++i) { char* block = pool + i * aligned_block_size; *reinterpret_cast<void**>(block) = block + sizeof(void*); // next 指向下一块可用区 // 实际对象地址 = block + sizeof(void*)，该地址自动满足 alignment 对齐（因 aligned_block_size 是 alignment 倍数） } - 错误做法：直接把
next放在对象起始处——对象地址就变成未对齐了 - 如果
block_size ，必须提升到 <code>sizeof(void*)，否则连链表都建不起来
对象生命周期必须由用户显式管理，池不负责构造/析构
内存池返回的是裸内存，allocate() 不调用构造函数，deallocate() 也不调用析构函数。这是最容易被忽略、也最危险的一点。
立即学习“C++免费学习笔记（深入）”；
- 分配后必须用定位
new：void* mem = pool.allocate(); MyType* obj = new(mem) MyType(arg1, arg2); // 显式构造
- 释放前必须显式析构：
obj->~MyType(); // 必须！否则资源泄漏、析构逻辑丢失 pool.deallocate(obj); // 此时才归还内存
- 若封装成模板分配器（如配合
std::vector<t memorypoolallocator>></t>），需在construct/destroy成员中补全这两步 - 别指望编译器或 RAII 自动帮你做——池本身不知道你放进去的是什么类型
多线程下 free_list 头指针必须原子更新，且块内 next 偏移要一致
非原子操作会导致两个线程同时修改 free_list 头部，一块内存被重复分配，或一块永远丢失。
- 用
std::atomic<void></void>替代裸指针：std::atomic<void*> free_list_head{nullptr}; - 分配逻辑必须用
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))); - 关键约束：所有块的
next字段必须位于相同偏移（如统一在 offset=0），否则线程 A 写入的地址，线程 B 读出来可能指向非法位置 - 别用
std::shared_ptr包裹池本身——析构顺序不可控，极易引发 use-after-free
真正难的不是写出让内存对齐的代码，而是让对齐、复用、线程安全、对象生命周期这四条线始终不打架。每次修改块大小、对齐值或并发模型，都要重新验证这四点是否依然成立——尤其是那个藏在 offset=0 的 next 指针，它既是自由链表的命脉，也是对齐和并发里最脆弱的支点。
