std::pmr::vector 通过传入栈上初始化的 std::pmr::monotonic_buffer_resource* 绑定栈内存，buffer 必须是栈变量（如 alignas(double) char buffer[256]），且 lifetime 长于 vector；否则析构后访问导致未定义行为。
std::pmr::vector 怎么绑定栈上 buffer
直接传入 std::pmr::monotonic_buffer_resource 的地址，且该 resource 必须用栈变量初始化——这是唯一能确保 vector 内部数据不碰堆的方式。
关键点在于：buffer 本身必须是栈变量（如 char buffer[256]），且 lifetime 必须长于 std::pmr::vector；否则 resource 析构后 vector 还在访问已失效内存，行为未定义。
-
std::pmr::monotonic_buffer_resource构造时若只传 size（如monotonic_buffer_resource(1024)），它会 fallback 到堆分配初始缓冲区，完全失去“零堆”意义 - buffer 需对齐：对
int或double元素，建议用alignas(double) char buffer[...]，避免因对齐不足导致std::pmr::vector::push_back崩溃 - buffer 太小会触发 resource 自动扩容：此时它会申请更大堆内存并迁移数据——你没写
new，但 STL 默默帮你调了，malloc仍会发生
为什么不能直接用 std::vector
传统自定义 allocator（如继承 std::allocator 并重载 allocate）无法复用栈空间，因为标准 allocator 接口要求每次 allocate 返回独立可释放的块，而栈内存不支持单次 deallocate。你强行实现，要么违反栈语义，要么退化为堆分配。
std::pmr 的核心优势是解耦：容器只管逻辑，memory_resource 管分配策略。而 monotonic_buffer_resource 的“只增不减+统一析构”模型，天然匹配栈生命周期。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
- 旧式 allocator 无法表达“所有分配都来自同一段连续内存”的语义
- 即使你手写一个栈 allocator，STL 实现可能在内部调用
operator new[]创建控制块（如 vector 的 capacity 管理结构），这仍走堆 -
std::pmr::vector是标准库特化类型，其内部结构已适配 PMR 协议，绕过了这些隐式堆分配路径
std::pmr::monotonic_buffer_resource 的 buffer 不够用会怎样
当 push_back 导致当前 buffer 耗尽，monotonic_buffer_resource 会自动向堆申请新 buffer（默认成倍增长），并将旧数据 memcpy 过去。此时你已经失去“零堆分配”保证，且发生了一次不可控的 malloc + 内存拷贝。
- 现象：程序没崩溃，但
valgrind --tool=memcheck显示堆分配记录，或嵌入式系统中malloc失败返回 null - 排查方法：在
monotonic_buffer_resource构造后立即调用current_used()（需自己封装，标准接口不暴露）或用调试器观察其内部m_upstream是否指向全局new_delete_resource() - 安全做法：预估最大元素数 ×
sizeof(T)，再加 20% 余量；对std::pmr::vector<:string></:string>类型，还要考虑 string 的 small-string optimization 是否被破坏
std::pmr::vector 在函数返回时怎么清理内存
不需要手动清理。std::pmr::vector 本身不持有 buffer，它只持有一个 std::pmr::polymorphic_allocator，而该 allocator 持有对 memory_resource* 的裸指针。真正的清理发生在 monotonic_buffer_resource 对象析构时——它会一次性释放所有曾分配的内存（如果 buffer 是栈变量，则随作用域结束自动析构）。
- 常见误操作：把
monotonic_buffer_resource声明为局部变量，却返回std::pmr::vector—— vector 内部指针仍指向已销毁的栈 buffer，后续访问必崩溃 - 正确模式：resource 和 vector 必须同作用域，或 resource 生命周期严格长于 vector（如 static、类成员、或通过引用/指针传入但明确约定 owner）
- 注意：vector 的 move 构造/赋值不会转移 buffer，只复制 allocator 指针；所以 move 后原 vector 仍可用，但两个 vector 共享同一份 buffer，析构顺序错乱会导致二次释放
