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

什么是 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++免费学习笔记(深入)”;
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+)在默认优化级别下基本都能正确省略。











