直接new/delete不适合高频小对象分配，因其引发锁竞争、内存碎片和元数据开销；内存池通过预分配大块内存+自由链表管理实现无系统调用、低开销的线程安全分配。
为什么直接 new/delete 不适合高频小对象分配
频繁调用
和
会触发系统堆管理器介入，带来锁竞争（多线程下）、内存碎片、以及每次分配的元数据开销（通常 8–16 字节额外消耗）。尤其当对象大小固定且生命周期短（比如网络包解析中的
、游戏中的
），这些开销占比极高。
内存池的核心思路是：一次性向系统申请一大块连续内存（如 64KB），内部按固定块大小（如 32 字节）切分，用自由链表管理空闲块，
只是取链表头、
只是插回链表头——全程无系统调用、无锁（单线程）或细粒度锁（多线程）。
如何手写一个线程安全的固定块内存池
关键不是“完全自定义”，而是复用 C++ 已有机制控制行为。下面是最简可行实现的关键点：
确保内存对齐（避免
后 placement-new 构造时崩溃）
用
管理自由链表头指针（避免锁，但注意 ABA 问题在简单场景可忽略）
构造/析构必须显式调用：
和
不重载全局
，只提供独立的
类，避免污染其他代码
示例核心结构：
立即学习
“
C++免费学习笔记（深入）
”；
};
C知道
CSDN推出的一款AI技术问答工具
下载
std::pmr::polymorphic_allocator 怎么用才不踩坑
这是 C++17 引入的标准化内存资源接口，比手写更安全、可组合，但容易误用：
别直接传
到函数——它底层依赖当前
，跨作用域可能失效
是线程安全的内置池，但默认块大小策略较保守；若明确知道对象尺寸，用
（单次分配、不可回收）更轻量
自定义
必须重写
/
，且
中不能假设
和
与之前
完全一致（标准允许合并释放）
典型用法：
调试时怎么确认内存池真正在起作用
最直接方式是拦截系统调用并统计：
替换
/
（Linux）或用 Visual Studio 的
（Windows），打印调用栈和 size。
更轻量的方法是在自定义池中加计数器：
记录
/
次数，对比程序启动前后差值是否符合预期（比如每帧创建 100 个粒子，运行 100 帧后应 alloc 10000 次）
在
返回前检查地址是否落在预分配的
区间内，否则说明泄漏到系统堆
用 AddressSanitizer 编译时加
，它能捕获池内越界访问，但不会误报“未初始化内存使用”——这点比 Valgrind 更准
真正难的是混合使用场景：比如池分配对象里又含
，后者默认仍走系统堆。这时必须让嵌套容器也使用同一
，否则内存池只管了第一层。
newdeletePacketParticlealloc()free()std::aligned_storage_tnewstd::atomicnew (ptr) T(args...)static_cast(ptr)->~T() operator newPoolAllocator
template
class FixedBlockPool {
alignas(BlockSize) char memory_[BlockSize * PoolSize];
std::atomic free_list_{memory_};
public:
void alloc() {
char expected = freelist.load();
do {
if (!expected) return nullptr;
char next = reinterpret_cast(expected);
if (freelist.compare_exchange_weak(expected, next)) {
return expected;
}
} while (true);
}
void free(void* ptr) {
char* expected = free_list_.load();
do {
*reinterpret_cast(ptr) = expected;
} while (!free_list_.compare_exchange_weak(expected, static_cast(ptr)));
} std::pmr::vectorstd::pmr::memory_resource*std::pmr::synchronized_pool_resourcestd::pmr::monotonic_buffer_resourcememory_resourcedo_allocatedo_deallocatedo_deallocatebytesalignmentdo_allocate
std::pmr::monotonic_buffer_resource pool{64_KB};
std::pmr::vector v{&pool};
v.reserve(1000); // 所有内存从 pool 分配
// pool 析构时自动释放全部内存，无需逐个 delete
LD_PRELOADmallocfree_CrtSetAllocHookalloc()free()alloc()memory_-fsanitize=addressstd::stringstd::pmr::polymorphic_allocator