std::pmr::polymorphic_allocator是c++17引入的多态分配器适配器,通过类型擦除绑定memory_resource实现运行时内存策略切换,支持容器透明使用池/栈/共享内存等自定义分配方案。

std::pmr::polymorphic_allocator 是 C++17 引入的、用于统一访问不同内存资源(memory_resource)的**多态分配器适配器**。它本身不管理内存,而是“委托”给底层绑定的 std::pmr::memory_resource* 实例来完成实际的内存分配与释放。它的核心价值在于:**让容器和算法能透明地使用自定义内存策略(如池分配、栈分配、共享内存等),而无需修改模板参数或重写代码**。
为什么需要 polymorphic_allocator?
传统模板分配器(如 std::allocator<t></t>)是类型绑定的:容器 std::vector<int myallocator>></int> 的类型依赖于具体分配器类型,无法在运行时切换策略;而 std::pmr::polymorphic_allocator<t></t> 是类型擦除的——它对所有 T 都是同一个类型,仅通过内部持有的 memory_resource* 指针动态决定行为。
这解决了两个关键问题:
- 避免为每种分配策略重复实例化相同容器模板(减少编译膨胀)
- 支持运行时选择内存资源(例如:调试用 debug_resource,发布用 monotonic_pool_resource)
它怎么工作?基本用法示例
它本质是一个轻量包装器,构造时绑定一个 memory_resource,后续所有 allocate/deallocate 调用都转发过去:
立即学习“C++免费学习笔记(深入)”;
(注意:需包含
#include <memory_resource>
#include <vector>
#include <iostream>
int main() {
// 创建一个池式资源(典型高性能场景)
std::pmr::monotonic_buffer_resource pool{1024}; // 1KB 缓冲区
// 绑定到 polymorphic_allocator
std::pmr::polymorphic_allocator<int> alloc{&pool};
// 使用该分配器构造容器 —— 类型仍是 std::pmr::vector,不是 std::vector<..., MyAlloc>
std::pmr::vector<int> vec{alloc};
vec.push_back(1); vec.push_back(2); vec.push_back(3);
// 所有内存来自 pool,析构时自动归还(monotonic 模式下通常随 pool 生命周期管理)
}
关键特性与注意事项
-
类型擦除但非开销无关:每次分配都通过虚函数调用(
do_allocate),有轻微间接跳转成本;适合关注可维护性/灵活性 > 极致性能的场景 -
传播语义明确:拷贝/移动分配器时,只复制指针(即共享同一 resource);容器间传递分配器(如
vec2 = std::move(vec1))默认保持 resource 关联 -
不是万能胶水:不能直接替代
std::allocator用于标准容器(如std::vector<int std::pmr::polymorphic_allocator>></int>合法但非常规);推荐使用std::pmr::vector等别名(它们已预设为polymorphic_allocator) -
资源生命周期必须长于使用它的分配器:若
memory_resource提前销毁,再调用分配器会触发未定义行为
常用 memory_resource 配合方案
真正发挥 polymorphic_allocator 价值,取决于你选用的底层资源:
-
std::pmr::new_delete_resource():默认全局 new/delete,行为同std::allocator -
std::pmr::null_memory_resource():故意崩溃,用于检测未初始化的 resource -
std::pmr::monotonic_buffer_resource:单向增长缓冲区,极低分配开销,适合短生命周期批量对象(如一帧渲染数据) -
std::pmr::synchronized_pool_resource:线程安全的内存池,适用于多线程高频小对象分配 - 自定义派生类:继承
std::pmr::memory_resource,实现自己的do_allocate/do_deallocate,比如绑定到 mmap 区域或 GPU 显存











