文章目录
- 对右值引用使用 std::move，对通用引用使用 std::forward
- 核心规则
- 为什么必须区分？
- 按值返回的局部对象：用 std::move 而非 std::forward
- 例外：最后一次使用时对通用引用也可用 std::move
对右值引用使用 std::move，对通用引用使用 std::forward
| 核心要点 | 要点 |
|---|---|
| 1 | 在最后一次使用右值引用时对其使用std::move；在最后一次使用通用引用时对其使用std::forward |
| 2 | 对按值返回的局部对象应用std::move或std::forward（但不要对可能触发 RVO 的对象多此一举） |
| 3 | 绝不要对通用引用使用std::move（除非确定是其最后一次使用），因为你可能无意中破坏调用者的左值 |
| 4 | 作为函数参数绑定的右值引用，在其函数体内是一个左值——必须显式std::move才能移动 |
你有一个接受 T&& 参数的函数 │ ├── T&& 是右值引用 (Widget&&) → std::move │ └── T&& 是通用引用 (template T&&) │ ├── 这是对该参数的"最后一次使用" → std::move（可选） │ └── 参数后续还可能被使用 → std::forward<T>核心规则
// 规则1：右值引用 → std::move（无条件移动是安全的）classWidget{public:Widget(Widget&&rhs)// rhs 是右值引用:name(std::move(rhs.name))// ✅ 用 std::move,pImpl(std::move(rhs.pImpl)){}Widget&operator=(Widget&&rhs){name=std::move(rhs.name);// ✅ 用 std::movepImpl=std::move(rhs.pImpl);return*this;}private:std::string name;std::unique_ptr<Impl>pImpl;};// 规则2：通用引用 → std::forward（保持原始值类别）template<typenameT>voidsetData(T&&newData)// newData 是通用引用{data=std::forward<T>(newData);// ✅ 用 std::forward}为什么必须区分？
| 错误用法 | 后果 | 严重程度 |
|---|---|---|
对通用引用用std::move | 可能无故破坏调用者的左值——偷偷搬空调用者仍想继续使用的对象 | 🔴 运行时灾难 |
对右值引用用std::forward | 代码冗长易出错，语义不匹配 | 🟡 风格问题 |
template<typenameT>voidsetName(T&&newName){names.push_back(std::move(newName));// ❌ 无条件剥离！}std::string n="Alice";setName(n);// n 的内容被偷偷搬空了！😱// 代码编译通过，运行"正常"（没崩溃），但 n 的值已不可预期// 这种 bug 极难排查——没有崩溃、没有编译错误、没有警告⚠️原因：setName 的 newName 是通用引用。当传入左值 n 时，T 推导为 string&，通用引用绑定为左值引用。std::move 无条件将其转为右值，移动构造函数搬空了 n。
按值返回的局部对象：用 std::move 而非 std::forward
// ✅ 按值返回的局部对象 → 用 std::moveWidgetmakeWidget(){Widget w;// ... 处理 w ...returnstd::move(w);// ✅ 局部变量即将销毁，直接搬走}// ✅ 但不要对满足 RVO 的对象多此一举WidgetmakeWidget(){Widget w;returnw;// ✅ 编译器执行 RVO，比 std::move(w) 更好！// return std::move(w); // ❌ 画蛇添足，反而阻止 RVO}📌RVO（返回值优化）条件：①局部对象类型与返回值类型完全相同 ②返回的是局部对象本身（非引用、非成员、非参数）。满足条件时交给编译器，无需手写 std::move`。
例外：最后一次使用时对通用引用也可用 std::move
template<typenameT>voidsetText(T&&text){validate(text);// text 最后一次作为左值出现// 从此之后不再需要 text 的原始值data=std::move(text);// ✅ 允许：最后一次使用时无条件搬走}
