C++中能否为多个vector使用同一个allocator实例？

核心原理说明 #

你提到的「vector仅接收allocator类型而非实例、每个vector都会创建独立allocator实例」的认知仅适用于C03及更早的标准，C11之后的标准已经通过allocator_traits完整支持有状态分配器，vector的构造函数支持传入已实例化的分配器对象，完全可以实现多个vector共享同一个底层内存池。

基于Boost Pool的实现方案 #

Boost自带的boost::pool_allocator本身就是符合C++标准的有状态分配器，天然支持多实例共享底层内存池，实现步骤如下：

• 定义带池化分配器的vector别名，简化后续调用：

  template <typename T>
  using PooledVector = std::vector<T, boost::pool_allocator<T>>;
  

• 同类型的boost::pool_allocator默认共享全局单例的内存池，你直接声明多个PooledVector实例即可，所有实例的内存分配都会走同一个内存池，不需要额外配置
• 如果需要多组独立内存池做资源隔离，也可以显式实例化boost::pool对象，绑定到自定义的分配器实例后传入vector构造函数即可

性能优化注意事项 #

• 低容量小vector的场景下，Boost Pool的固定大小块分配特性可以把内存分配开销降到*O(1)*级别，远高于默认new/delete的分配性能
• 对于元素大小固定的场景，可以预先给内存池分配足够的初始内存块，避免运行时动态扩容的额外开销
• 无需手动管理内存池生命周期，当所有关联的vector和分配器实例销毁后，Boost Pool会自动回收所有底层内存，不会出现内存泄漏

无Boost依赖的替代方案 #

如果你不想引入Boost库，也可以自行实现符合allocator_traits要求的自定义分配器，只要在分配器内部持有共享内存池的指针、满足标准要求的分配器拷贝、等价性判断规则，即可正常被std::vector使用。

内容的提问来源于stack exchange，提问作者moamen