polymorphic_allocator 的内存池共享本质是 memory_resource 共享；它本身无状态，真正决定内存归属的是所持 memory_resource*，多个 allocator 只要绑定同一 resource 实例（如 pool_resource），即共享底层内存池。
polymorphic_allocator 的内存池共享本质是 resource 共享
你不能直接“共享”一个 polymorphic_allocator 实例，因为它本身是轻量、无状态的包装器；真正决定内存归属的是它持有的 memory_resource*。只要多个 polymorphic_allocator 构造时传入**同一个** memory_resource（比如 pool_resource 或自定义派生类），它们就天然共享底层内存池。
用 std::pmr::pool_resource 实现跨容器共享
std::pmr::pool_resource 是 PMR 提供的开箱即用内存池，支持多线程安全（默认启用 mutex）、自动按块增长、按大小分类管理子池。关键在于：所有需要共享池的 allocator 必须绑定到同一个 pool_resource 对象实例。
- 定义一个全局或静态生命周期的
pool_resource，避免栈分配导致提前析构 - 用该 resource 构造不同容器的
polymorphic_allocator，例如：std::pmr::pool_resource pool; std::pmr::vector<int> v1(&pool); std::pmr::string s1(&pool); std::pmr::unordered_map<int, int> m1(&pool);
- 注意：不要写成
std::pmr::vector<int> v1{std::pmr::polymorphic_allocator<int>{&pool}};</int></int>—— 虽然等价，但冗余且易误写成临时对象
手动管理 pool_resource 生命周期时的常见坑
如果你把 pool_resource 放在局部作用域或作为成员变量但未控制析构顺序，会导致后续使用 allocator 时访问已销毁的 resource，触发 undefined behavior（典型表现是 malloc(): unaligned pointer 或 segfault）。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 避免在函数内创建并传递指针：
void f() { std::pmr::pool_resource p; use_with(&p); }——p返回后即销毁 - 若作为类成员，确保其生命周期 ≥ 所有依赖它的容器；推荐用
std::unique_ptr<:pmr::pool_resource></:pmr::pool_resource>延迟构造 + 显式释放 - 多线程下不加锁访问同一
pool_resource是未定义行为；默认构造的pool_resource内置 mutex，但自定义构造时传入nullptr就会禁用同步
自定义 memory_resource 实现细粒度共享策略
当 pool_resource 的固定块策略不满足需求（比如想按对象类型隔离池、或复用已有 slab 分配器），可继承 std::pmr::memory_resource 并重写 do_allocate/do_deallocate。此时共享逻辑完全由你控制：
立即学习“C++免费学习笔记（深入）”；
- 在自定义 resource 中维护共享的底层内存块（如 mmap 区域、预分配大 buffer）
- 多个 allocator 持有该 resource 的指针，自然共享同一片物理内存
- 务必保证
is_equal正确返回true当且仅当两个 resource 实际指向同一逻辑池（否则polymorphic_allocator可能拒绝 move 或 swap） - 示例判断逻辑：
bool is_equal(const memory_resource& other) const noexcept override { return this == &other || dynamic_cast<const MyPoolResource*>(&other) != nullptr; }（更严谨应比较内部 state 地址）
最常被忽略的一点：polymorphic_allocator 不参与内存释放时机决策——它只转发调用。资源是否真正释放、何时释放，完全取决于你持有的 memory_resource 实例的生存期和实现逻辑。别指望 allocator 自己“清理池”。
