std::scoped_allocator_adaptor 解决容器嵌套时内存分配不一致问题，通过重载 construct 将外层分配器传播至内层对象构造过程，要求嵌套类型满足 uses_allocator 协议。
std::scoped_allocator_adaptor 解决容器嵌套时的内存分配不一致问题
当外层容器（如 std::vector<:string></:string>）和内层元素（std::string）需要共享同一块内存池或自定义分配器策略时，原生分配器无法自动穿透到嵌套对象内部。比如用 std::pmr::polymorphic_allocator 构造 std::vector<:string></:string>，若不加适配，std::string 仍会默认使用全局 new 分配字符缓冲区——这破坏了内存域统一性，也导致析构时跨池释放风险。
它让外层分配器“向下传播”到嵌套容器的构造过程
std::scoped_allocator_adaptor 不是新分配器，而是包装器：它重载了 construct，在构造嵌套对象时，把外层分配器的“次级分配器”（通过 select_on_container_copy_construction() 或 rebind 获取）传给内层对象的构造函数。关键前提是内层类型必须支持带分配器的构造协议（即满足 uses_allocator 特性）。
-
std::vector、std::string、std::deque等标准容器已特化std::uses_allocator_v<t alloc></t>为true - 自定义类型需显式继承
std::allocator_aware_container_base或提供接受std::allocator_arg_t, Alloc, Args...的构造函数 - 传播只发生在对象构造阶段，不改变已有对象的内部分配器绑定
典型用法：配合 std::pmr::polymorphic_allocator 实现栈/池统一管理
常见错误是直接把 std::pmr::vector 当作“全栈托管”，却忽略其元素（如 std::pmr::string）仍可能逃逸到默认堆。正确做法是用 scoped_allocator_adaptor 把多级分配器链起来：
#include <memory_resource>
#include <vector>
#include <string>
using PolymorphicAlloc = std::pmr::polymorphic_allocator<char>;
using ScopedStringAlloc = std::scoped_allocator_adaptor<PolymorphicAlloc>;
// 外层 vector 使用 scoped 分配器，其 string 元素将自动用同一 memory_resource
std::pmr::monotonic_buffer_resource pool{buffer, sizeof(buffer)};
PolymorphicAlloc alloc{&pool};
std::vector<std::string, ScopedStringAlloc> vec{ScopedStringAlloc{alloc}};
vec.emplace_back("hello"); // "hello" 的字符数据也分配在 pool 中
注意：std::pmr::string 本身已内置 scoped_allocator_adaptor 逻辑，但若你用的是普通 std::string + 自定义分配器，则必须显式套一层 scoped_allocator_adaptor 才能触发传播。
立即学习“C++免费学习笔记（深入）”；
容易被忽略的限制和陷阱
这个机制高度依赖类型是否“配合”：一旦某层嵌套类型没实现 uses_allocator 协议，传播就中断。例如 std::vector<:unique_ptr>></:unique_ptr> 中的 std::unique_ptr 不接受分配器，其指向的对象仍由默认 new 分配；又比如第三方库容器若未特化 uses_allocator，也会断链。
- 编译期检查：可用
static_assert(std::uses_allocator_v<t alloc>)</t>验证类型是否支持 - 不要混用裸指针和 scoped 分配器——裸指针不参与构造传播，也不会自动绑定分配器
-
select_on_container_copy_construction()返回的分配器必须与原始分配器兼容（例如同属一个memory_resource），否则拷贝后可能出现跨池释放
真正起作用的不是 scoped_allocator_adaptor 本身，而是整个链条上每个类型对分配器传播的响应程度。漏掉任意一环，内存就悄悄回到全局堆。
