C++怎么实现一个固定大小的高性能内存池-C++-PHP中文网

因为std::vector/new[]频繁分配小内存会导致堆碎片、锁竞争和元数据开销；固定大小内存池通过预分配+自由链表实现o(1)分配，但要求对象大小严格一致、容量固定、不自动扩容，以性能换灵活性。

c++怎么实现一个固定大小的高性能内存池

为什么不用 `std::vector` 或 `new[]` 直接分配？

因为频繁申请释放小块内存（比如每次 64 字节的对象）会导致堆碎片、锁竞争（malloc 多线程下有全局锁）、以及额外的元数据开销。固定大小内存池绕过堆管理器，用预分配大块内存 + 自由链表管理，把 alloc/free 降为 O(1) 指针操作。

关键约束：所有对象大小必须严格一致，且池容量在构造时确定。不支持变长分配，也不自动扩容——这是性能换灵活性的明确取舍。

怎么组织自由链表和内存布局？

最简但高效的方式是把大块内存（char*）划分为等长槽位（slot），每个槽位头部或单独维护一个指向下个空闲槽的指针（即“union free list node”）。推荐把指针直接存在槽位开头，复用对象空间，避免额外数组开销。

预分配一块 char* m_pool，大小 = slot_size * capacity
初始化时遍历所有 slot，将每个 slot 的前 sizeof(void*) 字节设为指向下一个空闲 slot 的指针
用 void* m_free_list 指向第一个空闲 slot；alloc() 取头、更新指针；free(ptr) 插到头
注意对齐：确保 slot_size >= sizeof(void*)，且最好按 alignof(std::max_align_t) 对齐（可用 alignas 或 std::aligned_alloc）

如何避免多线程下的 ABA 和竞争？

单自由链表在并发 alloc/free 下会出错——两个线程同时读到同一 m_free_list，一个 free 后另一个仍用旧值。不能只加互斥锁（会抵消性能优势），应改用无锁结构。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

标准做法是用 std::atomic<void> m_free_list</void> + CAS 循环：

void* alloc() {
    void* old = m_free_list.load();
    do {
        if (!old) return nullptr;
        void* next = *static_cast<void>(old);
    } while (!m_free_list.compare_exchange_weak(old, next));
    return old;
}</void>

注意：CAS 失败后必须重新读 next（因 old 可能已被其他线程修改），且 *static_cast<void>(old)</void> 要求 old 地址可写、对齐正确——这意味着你不能把自由链表指针存在只读内存里，也不能让对象构造函数覆盖它。