C++如何实现简单的内存池-C++-PHP中文网

应使用内存池而非new/delete，因其预分配大块内存并用自由链表管理固定大小对象，避免系统调用开销与碎片化；需对齐、防止越界、手动调用构造/析构函数。

c++如何实现简单的内存池

为什么不用 new/delete 而要自己写内存池

频繁调用 new 和 delete 会触发系统堆分配器（如 malloc/free）的锁竞争和碎片化，尤其在高频小对象（如网络包头、事件节点）场景下，性能下降明显。内存池本质是预分配一块大内存，再按固定大小切块管理，绕过系统调用——但要注意：它只适合生命周期相近、大小固定的对象。

如何用 char 数组 + 自由链表实现最简内存池

核心思路是用一个 char* 指向大块内存，用单向链表把空闲块串起来。每次分配就取链表头，释放就插回链表头，O(1) 完成。

常见错误现象：malloc(): corrupted top size 或野指针，多因未对齐、越界写或重复释放自由链表节点。

块大小必须 ≥ sizeof(void*)（至少能存下一个指针）
所有分配地址需按 alignof(std::max_align_t) 对齐（通常 16 字节），否则 new 构造对象会崩
初始化时，把整块内存切成等长块，每个块开头存下一个空闲块地址（即“指针域”）
不保存已分配块数量，也不做线程安全——若需并发，加 std::atomic<void></void> 头指针或用 std::mutex

示例关键片段：

class SimplePool {
    char* mem_;
    void* free_list_;
    size_t block_size_;
    size_t total_blocks_;
<p>public:
SimplePool(size_t block_size, size_t n_blocks)
: block<em>size</em>(block_size), total<em>blocks</em>(n<em>blocks) {
mem</em> = new char[block_size <em> n_blocks];
free<em>list</em> = mem_;
// 链接所有块：每个块前 sizeof(void</em>) 存 next 地址
for (size_t i = 0; i blocks - 1; ++i) {
void* block = mem + i <em> block<em>size</em>;
</em>(static_cast<void>>(block)) = static_cast<char>>(block) + block<em>size</em>;
}
(static_cast<void>>(mem_ + (n_blocks-1)*block<em>size</em>)) = nullptr;
}</void></char></void></p><pre class="brush:php;toolbar:false;">void* allocate() {
    if (!free_list_) return nullptr;
    void* p = free_list_;
    free_list_ = *(static_cast<void>(p));
    return p;
}

void deallocate(void* p) {
    if (!p) return;
    *(static_cast<void>(p)) = free_list_;
    free_list_ = p;
}</void></void>

};

如何在类中配合 placement new 使用内存池

内存池只管内存，不调构造/析构函数。要用 new (ptr) T(args...) 手动构造，obj->~T() 手动析构——漏掉析构会导致资源泄漏（如 std::string 内部堆内存没释放）。

C++14

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

下载

使用场景：对象类型固定、无虚函数、无复杂继承（否则 vptr 初始化可能出问题）。

分配后必须检查返回指针是否非空，再调 placement new
释放前必须先显式调用析构函数，再交还内存给池
若类有自定义 operator new，需重载为调用池的 allocate()，否则仍走系统堆

示例：

struct Packet {
    int id;
    char data[64];
    Packet(int i) : id(i) {}
};
<p>SimplePool pool(sizeof(Packet), 100);
Packet* p = new (pool.allocate()) Packet(42); // 构造
p->~Packet(); // 必须显式析构
pool.deallocate(p);</p>