固定大小内存池可实现O(1)分配/释放，但需对象大小固定、生命周期可预测；operator new(size_t)安全预分配原始内存，须手动placement new构造和显式析构，配合原子空闲链表实现无锁多线程管理。
直接上固定大小内存池能压到 O(1) 分配/释放，但前提是对象大小真固定、生命周期模式可预测；否则收益可能被维护成本吃掉。
operator new 预分配比 new char[] 更安全
预分配底层内存时，必须绕过构造调用，否则会触发未定义行为。用 operator new(size_t) 是正确姿势，它只申请原始内存；而 new char[N] 虽然也能用，但语义上属于“创建字符数组”，在极端优化或自定义全局 operator new 场景下可能被拦截或重定向。
- 块大小必须 ≥
sizeof(void*)，否则无法存自由链表指针 - 建议对齐到 8 或 16 字节（
alignof(std::max_align_t)），避免 x86 性能惩罚或 ARM 硬件异常 - 预分配后别直接 cast 成目标类型指针——先留出头部空间存 next 指针
空闲链表头用 std::atomic<void></void> 实现无锁栈
多线程下加互斥锁会扼杀内存池的性能优势。用原子指针模拟单向栈是最小开销方案：分配是 CAS 读头→更新头为 next，释放是写本块 next→CAS 更新头为本块。
- 所有线程必须使用相同内存偏移存 next 指针（比如统一从块起始地址 + 0 开始），否则 CAS 会看到错乱地址
- 别用
std::shared_ptr管理池本身——析构顺序不可控，极易引发 use-after-free - 如果线程数 > 4 且竞争激烈，考虑 per-thread cache 层，避免所有线程争抢同一链表头
对象构造和析构必须手动配对 new(p) T() / p->~T()
内存池不管对象生命周期，只管内存。漏掉任意一环，轻则资源泄漏，重则未定义行为（比如析构没调用，智能指针控制块残留）。
- 构造前确保内存已对齐：
alignas(T) char buf[sizeof(T)]或用std::aligned_storage_t - 析构必须在
deallocate之前完成，否则deallocate可能复用该内存，导致新对象覆盖未析构旧对象的内部状态 - 若对象含虚函数或继承关系，析构顺序仍需符合 C++ 对象模型——池不改变这一规则
最难缠的不是写错链表逻辑，而是忘记 placement new 和手动析构这两步；它们不在编译器检查范围内，出问题时往往表现为偶发崩溃或数据错乱，调试成本远高于实现本身。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
