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 或构造函数中，核心是“一次传入，一次移动”：

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+）在默认优化级别下基本都能正确省略。