c++的”Pass by value, then move” idiom是什么? (实现高效赋值)

Pass by value, then move 是一种C++11后推荐的参数传递惯用法:函数参数按值传入(T x),再用 std::move(x) 赋值给成员;它统一处理左值(拷贝构造)和右值(移动构造),避免重载开销,兼容不可复制类型,但依赖编译器优化。

c++的/

什么是 Pass by value, then move?

这是一种在 C++11 及之后常用的赋值/构造函数写法:函数参数直接声明为值类型(T),而非 const T&T&&,然后在函数体内用 std::move 赋值给成员变量。它利用了移动语义和复制消除(RVO/NRVO)的协同效应,在多数调用场景下自动实现“传左值时复制、传右值时移动”的最优路径。

为什么不用 const T& + T&& 重载?

手动重载两个版本(void set_data(const T& x)void set_data(T&& x))看似精确,但实际带来三重负担:

  • 代码膨胀:每个参数都要写两份逻辑,模板类中尤其明显
  • 维护成本高:修改逻辑需同步更新两处,易遗漏
  • 无法处理“可移动但不可复制”的类型(如 std::unique_ptr)——因为 const T& 形参会抑制移动构造,导致编译失败

void set_data(T x) 单一签名天然兼容所有情况:左值触发拷贝构造,右值触发移动构造(只要 T 支持移动),且后续 std::move(x) 总能安全转移资源。

典型实现与关键细节

常见于 setter 或构造函数中,核心是“一次传入,一次移动”:

立即学习C++免费学习笔记(深入)”;

Presentations.AI

Presentations.AI

AI驱动创建令人惊叹的演示文稿

下载

class Widget {
    std::vector data_;
public:
    // 推荐:Pass by value, then move
    void set_data(std::vector data) {
        data_ = std::move(data); // data 是局部对象,可放心 move
    }

    // 对比:传统 const& + && 重载(冗余且有缺陷)
    // void set_data(const std::vector& data) { data_ = data; }
    // void set_data(std::vector&& data) { data_ = std::move(data); }
};

注意点:

  • data 是函数参数,生命周期覆盖整个函数体,std::move(data) 合法且高效
  • 调用方传入临时对象(如 w.set_data(get_vec()))时,编译器通常省略拷贝,直接调用 vector 的移动构造函数初始化 data
  • 传入左值(如 std::vector v; w.set_data(v);)时,会调用拷贝构造初始化 data,再 move 赋值——比重载方案多一次拷贝,但代码简洁性与泛用性远超这点开销
  • T 不可拷贝(如含 std::unique_ptr 成员),该 idiom 仍能编译通过;而 const T& 版本会因尝试绑定到 unique_ptr 的 const 引用而失败

什么时候不该用?

并非万能,以下情况需谨慎:

  • T 拷贝成本极高,且调用方**绝大多数是左值**(比如大数组、巨型 POD 结构),此时显式重载 const T& 可避免无谓拷贝
  • 函数需在移动前检查参数有效性(如空指针、范围校验),而移动后原对象处于有效但未指定状态,无法再读取——必须先检查再 move
  • 类本身禁止移动(删除了移动构造/赋值),则该 idiom 退化为纯拷贝,且失去灵活性

真正容易被忽略的是:这个 idiom 的收益高度依赖编译器优化。未开启 -O2 或类似优化时,传右值可能产生多余拷贝;而现代编译器(GCC 7+、Clang 5+、MSVC 2017+)在默认优化级别下基本都能正确省略。

https://www.php.cn/faq/1968449.html

发表回复

Your email address will not be published. Required fields are marked *