为何我的PMR感知容器被复制而非移动？

一、临时对象传入pmr::vector触发复制而非移动的原因 #

核心原因：初始化列表的const限制 #

如果你的代码是通过初始化列表传入临时对象（例如pmr::vector<pmr_aware_container> vec{pmr_aware_container{...}}），初始化列表的元素类型为const pmr_aware_container&。即使传入的是临时右值，const引用也无法绑定到可修改的右值以触发移动构造——编译器只能选择复制构造函数。

解决方式：

• 改用emplace_back直接在容器内存中构造对象，避免临时对象的创建与移动/复制；
• 使用范围构造配合std::move_iterator，显式触发移动：

  pmr_aware_container temp{...};
  pmr::vector<pmr_aware_container> vec{std::move_iterator(&temp), std::move_iterator(&temp + 1)};
  

• 若仅需单个元素，直接调用vector的移动构造版本（如pmr::vector<pmr_aware_container> vec(1, std::move(temp))）。

次要可能：移动构造函数的noexcept属性缺失 #

若你的pmr_aware_container自定义了移动构造函数且未标记为noexcept，vector为保证异常安全（例如初始化阶段的内存分配），会 fallback 到复制构造。pmr::string的移动构造本身是noexcept(true)，因此需确保包装类正确继承该属性，显式标记移动构造为noexcept。

二、消除自定义memory_resource的虚表调用（去虚拟化） #

GCC 9-11针对PMR的虚函数去虚拟化有专门优化，需满足以下条件触发：

1. 标记自定义资源类为final
   将LoggingResource声明为final，让编译器确定该类无派生类，消除虚表查询的必要性：

class LoggingResource final : public std::pmr::memory_resource {
    // ... 实现代码
};

2. 启用-O2及以上优化级别
   GCC在-O2及更高优化等级下默认启用去虚拟化，-O1及以下不会触发该优化。编译时需添加-O2或-O3选项。

3. 保证调用点的动态类型确定性
   避免将LoggingResource实例通过std::pmr::memory_resource*基类指针传递给无法确定类型的上下文。直接在创建pmr容器时传入LoggingResource的实例或引用，让编译器明确调用时的实际类型，从而消除虚表调用。

4. 可选：补充优化选项
   若上述条件满足后仍未实现去虚拟化，可尝试添加-fdevirtualize-speculatively选项，允许编译器在类型大概率确定的场景下进行去虚拟化优化（GCC 9+支持）。

内容的提问来源于stack exchange，提问作者glades