内存池分配器的核心设计原则是避免系统调用开销、消除碎片、保证构造/析构语义正确：必须用placement new分配并显式调用析构，按固定大小对齐划分内存块，用头插单链表管理空闲块，且禁止绕过类型安全。
内存池分配器的核心设计原则是什么
内存池不是简单地预分配一大块内存然后按字节切分，关键在于避免 new/delete 的系统调用开销 + 消除碎片 + 保证对象构造/析构语义正确。直接 malloc 一块连续内存再裸指针偏移分配，会跳过 operator new 的 placement new 调用，导致构造函数不执行；同样，裸指针 delete 会跳过析构函数。所以必须把对象生命周期管理嵌入分配逻辑。
- 分配时必须调用 placement new：
new (ptr) T(args...) - 回收时必须显式调用析构函数：
obj->~T()，再把内存归还给池 - 池内内存块应按固定大小（如对齐到
alignof(T)）划分，避免跨对象边界访问 - 不要试图用 union 或 char 数组绕过类型安全——C++20 要求对象必须通过其实际类型或可兼容类型访问，否则触发未定义行为
如何用链表管理空闲块（Free List）
最常用且低开销的方式是把每个空闲内存块的前 sizeof(void*) 字节当作指针，指向下一个空闲块，形成单链表。分配时取头，回收时插头，O(1) 时间。
- 空闲块头部需预留
sizeof(void*)字节（通常 8 字节），用于存 next 指针 - 分配时返回的是该块「数据起始地址」，即
block_ptr + sizeof(void*) - 回收时，把对象指针减去
sizeof(void*)得到 block_ptr，再写入当前 free_list 头，更新头指针 - 注意：所有对象类型必须满足
sizeof(T) >= sizeof(void*)，否则无法容纳 next 指针；小对象（如 int）需单独处理或合并进小块池
class FixedPool {
char* memory_;
size_t block_size_;
void* free_list_ = nullptr;
size_t capacity_;
<p>public:
FixedPool(size_t n, size_t sz) : block<em>size</em>(sz), capacity_(n) {
// 对齐 block<em>size</em> 到 alignof(std::max_align_t)
block<em>size</em> = (block<em>size</em> + alignof(std::max_align_t) - 1)
& ~(alignof(std::max_align<em>t) - 1);
memory</em> = static_cast<char>>(std::aligned_alloc(alignof(std::max_align_t), n block<em>size</em>));
// 构建初始空闲链表
for (size<em>t i = n; i-- > 0; ) {
auto block = memory</em> + i <em> block<em>size</em>;
</em>static_cast<void>(block) = free<em>list</em>;
free<em>list</em> = block;
}
}</void></char></p><pre class="brush:php;toolbar:false;">template<typename t typename... args>
T* allocate(Args&&... args) {
if (!free_list_) return nullptr;
auto block = free_list_;
free_list_ = *static_cast<void>(block);
return new (block) T(std::forward<args>(args)...); // placement new
}
template<typename t>
void deallocate(T* obj) {
if (!obj) return;
obj->~T(); // 显式析构
auto block = static_cast<char>(static_cast<void>(obj)) - sizeof(void*);
*static_cast<void>(block) = free_list_;
free_list_ = block;
}</void></void></char></typename></args></void></typename>
};
为什么不能直接重载全局 operator new/delete
全局重载（void* operator new(size_t)）会影响整个程序，而内存池通常是按类定制的（比如只给 Packet 或 Node 用）。盲目替换全局分配器会导致：
- STL 容器（
std::vector、std::string）也走你的池，但它们内部可能申请任意大小内存，而固定块池无法支持 - 多线程下全局 new/delete 需加锁，严重拖慢性能；而 per-class 池可配合 TLS 或无锁队列做隔离
- 第三方库（如 Boost、Eigen）可能依赖特定分配行为，全局劫持易出兼容问题
更稳妥的做法是：
- 为具体类特化
operator new和operator delete成员函数 - 在类内声明静态
FixedPool实例，分配/回收委托给它 - 注意：成员 operator new/delete 必须是 static，且签名严格匹配（含 nothrow 版本）
对齐与跨平台兼容性容易被忽略的点
x86-64 下 alignof(std::max_align_t) 通常是 16，但 ARM64 可能是 16 或 32（取决于 ABI），而 AVX-512 类型要求 64 字节对齐。如果池中对象含 __m512 成员，但分配器只按 16 字节对齐，运行时会崩溃。
- 不要用
malloc，它只保证alignof(std::max_align_t)对齐；改用std::aligned_alloc（C++17）或_aligned_malloc（Windows） - 块大小必须是 2 的幂，且 ≥ 所有目标类型的
alignof(T) - 在模板中获取对齐：用
alignof(T)而非硬编码数字；若 T 是模板参数，确保实例化时对齐已知（即不能是 unsized 或 forward-declared 类型）
真正麻烦的不是写出来，而是让不同生命周期、不同大小、不同对齐需求的对象，在同一个池策略下不互相踩内存，也不漏调构造/析构——这需要在分配器接口层就强制约束类型信息，而不是靠文档提醒。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
