std::pmr::memory_resource 是一个抽象基类，定义了 do_allocate、do_deallocate、do_is_equal 三个纯虚函数，不可实例化，所有 std::pmr 容器通过其指针和虚函数调用内存操作；自定义实现需继承并正确实现三函数，尤其 do_is_equal 必须严格比较对象地址。
std::pmr::memory_resource 是什么，为什么不能直接 new/delete
它是一个抽象基类，定义了 do_allocate、do_deallocate、do_is_equal 三个纯虚函数。你不能实例化它，也不能靠重载 operator new 来“替换”它——std::pmr 的所有容器（如 std::pmr::vector）只认 std::pmr::memory_resource* 指针，且全程通过虚函数调用，不依赖全局或类作用域的 new。
写一个最简可用的自定义 memory_resource
核心是继承 std::pmr::memory_resource，实现三个虚函数。注意：do_is_equal 必须判断是否为同一对象（不是“等价”，而是地址相等），否则 std::pmr::polymorphic_allocator 可能跳过缓存或误判资源归属。
class SimplePoolResource : public std::pmr::memory_resource {
private:
std::vector<std::byte> pool_;
size_t offset_ = 0;
<p>protected:
void<em> do_allocate(size_t bytes, size<em>t alignment) override {
if (bytes == 0) return nullptr;
auto ptr = std::align(alignment, bytes, pool</em>.data() + offset<em>, pool</em>.size() - offset_);
if (!ptr) throw std::bad<em>alloc{};
offset</em> = static_cast<std::byte</em>>(ptr) - pool_.data() + bytes;
return ptr;
}</p><pre class='brush:php;toolbar:false;'>void do_deallocate(void* p, size_t bytes, size_t alignment) override {
// 简单池不回收，什么也不做
}
bool do_is_equal(const std::pmr::memory_resource& other) const noexcept override {
return this == &other; // 必须是同一对象
}public: explicit SimplePoolResource(sizet capacity) : pool(capacity) {} };
这个实现只支持一次性分配（类似 arena），不支持释放单块内存，但完全合法——std::pmr 不要求 deallocate 真正归还空间。
如何让 std::pmr::vector 用上你的 resource
关键不是传 resource 给 vector 构造函数，而是通过 std::pmr::polymorphic_allocator 包装后传入。vector 自身不持有 resource 指针，allocator 才持有。
立即学习“C++免费学习笔记（深入）”；
-
std::pmr::vector<int></int>是类型别名，等价于std::vector<int std::pmr::polymorphic_allocator>></int> - 构造时必须显式传入 allocator，否则默认使用
std::pmr::get_default_resource() - resource 生命周期必须长于所有使用它的容器
SimplePoolResource pool{1024 * 1024};
std::pmr::polymorphic_allocator<int> alloc{&pool};
std::pmr::vector<int> v{alloc}; // 正确：v 的所有内存来自 pool
v.reserve(1000); // 分配成功
// pool 析构前，v 不能继续 allocate常见陷阱和兼容性注意点
C++17 标准库对 std::pmr 实现程度不一；libstdc++（GCC）直到 GCC 10 才完整支持，MSVC 2019 Update 3 起稳定，Clang 需搭配 libc++ 7.0+。更隐蔽的问题是：
- 某些 STL 容器内部会额外调用
resource()->is_equal(other->resource())做优化，若do_is_equal返回错误结果，可能导致未定义行为 -
std::pmr::synchronized_pool_resource和std::pmr::unsynchronized_pool_resource是标准提供的可复用实现，但它们内部仍依赖upstream_resource()，若你传入的 upstream 是临时对象，极易悬垂 - 调试时无法直接 print resource 地址来比对，因为
std::pmr::polymorphic_allocator的resource()返回的是 const 指针，且 operator== 默认比较的是 resource 对象本身而非指针值
真正难的不是写 allocate/deallocate，而是保证 resource 对象的生存期、线程安全（如果多线程用）和 is_equal 的语义正确性。这三个点出错，往往表现为偶发崩溃或静默内存泄漏，而不是编译报错。
