对象池通过预分配固定大小对象内存块并复用，避免堆分配锁竞争、空闲链表遍历和碎片整理，以空间换时间提升性能；需保证类型单一、生命周期可控，且注意对齐、异常安全与析构正确性。
对象池为什么能加速内存分配
堆分配（new / malloc）在频繁创建销毁小对象时开销大，主要卡在内存管理器的锁竞争、空闲链表遍历和碎片整理上。对象池把一批同类型对象预先分配好，复用内存块，绕过运行时分配器——本质是用空间换时间，且避免了构造/析构反复调用（如果对象有非平凡生命周期，这点要额外处理）。
关键前提：对象大小固定、类型单一、生命周期可控（比如网络连接句柄、游戏实体组件）。不适用于 std::vector 这类变长容器或继承体系复杂的多态对象。
用 std::vector + std::stack 实现线程不安全的基础池
最简实现不需要自定义分配器，靠预分配内存块 + 空闲索引栈管理：
template<typename T>
class SimpleObjectPool {
std::vector<char> memory_;
std::stack<size_t> free_list_;
size_t obj_size_;
<p>public:
explicit SimpleObjectPool(size<em>t capacity)
: memory</em>(capacity * sizeof(T)), obj<em>size</em>(sizeof(T)) {
// 预留所有对象位置，压入空闲索引（从后往前，便于对齐）
for (size_t i = capacity; i-- > 0; ) {
free<em>list</em>.push(i);
}
}</p><pre class="brush:php;toolbar:false;">T* acquire() {
if (free_list_.empty()) return nullptr;
size_t idx = free_list_.top();
free_list_.pop();
return new (memory_.data() + idx * obj_size_) T(); // 定位构造
}
void release(T* ptr) {
ptr->~T(); // 显式析构
size_t idx = (static_cast<char*>(static_cast<void*>(ptr)) - memory_.data()) / obj_size_;
free_list_.push(idx);
}};
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
注意点：
-
acquire()返回的是 placement-new 构造后的指针，不是原始内存地址 -
release()必须显式调用析构函数，否则下次acquire()会跳过构造，导致未定义行为 - 索引计算依赖
ptr确实来自本池，没做校验——生产环境需加地址范围检查 - 不支持多线程：
free_list_和memory_都是非原子访问
加 std::atomic 和 std::mutex 支持多线程
并发安全不能只锁一个地方。常见错误是只锁 free_list_，却忽略 memory_ 的写竞争（多个线程同时 new 同一块内存）。正确做法：
- 用
std::mutex保护整个acquire()/release()流程（最简单可靠） - 若追求极致性能，改用无锁栈（如
boost::lockfree::stack），但必须确保 placement-new 和析构不重叠——这要求对象构造/析构本身无共享状态，且内存对齐严格 - 避免在池内对象的构造函数里申请其他堆内存，否则会绕过池的优化效果
线程安全版只需包裹临界区：
std::mutex mtx_;
// ...
T* acquire() {
std::lock_guard<std::mutex> lk(mtx_);
if (free_list_.empty()) return nullptr;
size_t idx = free_list_.top();
free_list_.pop();
return new (memory_.data() + idx * obj_size_) T();
}容易被忽略的陷阱：对齐、异常与内存释放时机
真实项目里最容易翻车的不是逻辑，而是细节：
-
std::vector<char></char>不保证对齐到alignof(T)，需用std::aligned_storage_t或operator new手动分配（C++17 起推荐std::aligned_alloc） -
acquire()中 placement-new 可能抛异常（比如T的构造函数 throw），此时必须把索引归还给free_list_，否则内存泄漏 - 池对象析构时，必须逐个调用已分配对象的析构函数，再释放底层内存；否则资源泄漏（如文件句柄、GPU buffer）
- 不要把池内对象的指针存到
std::shared_ptr里——默认删除器会调用delete，而非release()
对齐问题最稳妥解法：memory_ 改用 std::unique_ptr<:aligned_storage_t alignof>[]></:aligned_storage_t>，再用 reinterpret_cast<t></t> 访问。
