Modern Effective C++ 条款二十三：理解std::move和std::forward

可以从它们不做的角度什么理解move和forward。

std::move不移动任何东西，std::forward也不转发任何东西。
在运行时，它们不做任何事情。它们不产生任何可实行代码，一字节也没有。 std::move和std::forward仅仅是实行转换(cast)的函数(事实上是函数模板)。
std::move无条件的将它的实参转换为右值，而std::forward只在特定情况满足时下进行转换。从根本上而言,这就是全部内容。
C++11的std::move的示例实现。它并不完全满足尺度细则，但是它已经非常接近了。

1. template<typename T>//在std命名空间
2. typename remove_reference<T>::type&& move(T&& param){
3.     using ReturnType = typename remove_reference<T>::type&&;//别名声明，见条款9
4.     return static_cast<ReturnType>(param);
5. }

复制代码

std::move接受一个对象的通用引用(见item24)，返回一个指向同对象的引用。该函数返回类型的&&部分表明std::move函数返回的是一个右值引用，但是，如果类型T恰好是一个左值引用，那么T&&将会成为一个左值引用。为了制止如此，type trait (见item 9)std::remove_reference应用到了类型T上，因此确保了&&被精确的应用到了一个不是引用的类型上。这包管了std::move返回的真的是右值引用，由于函数返回的右值引用是右值。因此，std::move将它的实参转换为一个右值。
std::move在C++14中可以被更简单地实现，使用函数返回值类型推导和尺度库的模板别名std::remove_reference_t，std::move可以如许写：

1. template<typename T>
2. decltype(auto) move(T&& param)          //C++14，仍然在std命名空间
3. {
4.     using ReturnType = remove_referece_t<T>&&;
5.     return static_cast<ReturnType>(param);
6. }

复制代码

std::move它只进行转换，不移动任何东西。右值是移动操纵的候选者，所以对一个对象使用std::move就是告诉编译器，这个对象很适合被移动。std::move告诉编译器指定可以被移动的对象。
在C++中，std::move 是一个用于将对象转换为右值引用的工具，它通常用来提示编译器可以对对象进行移动语义操纵。然而，当涉及到 const 对象时，事情会变得有些复杂。

1. class Annotation {
2. public:
3. //原始版本:使用值传递
4.     explicit Annotation(std::string text):value(text){}
5. //修改后的版本:使用 const 引用传递
6.     explicit Annotation(const std::string& text):value(std::move(text)) { }
7. private:
8.     std::string value;
9. }

复制代码

Annotation(std::string text) 接受一个 std::string 的副本。这里 text 是一个暂时变量，它被复制到 value 中。如果 text 是一个暂时变量（例如，通过 new Annotation("Some Text") 创建），那么这个复制可以通过移动语义优化。
修改后的构造函数：
Annotation(const std::string& text) 接受一个 const std::string&，这是一个常量引用。使用 std::move(text) 尝试将 text 转换为右值引用。然而，由于 text 是 const，所以即使使用了 std::move，它仍然是一个 const 右值引用。std::string 的移动构造函数接受非 const 的右值引用 (std::string&&)，因此不能被调用。编译器选择调用拷贝构造函数，由于它可以接受 const 右值引用。
结论
（1）不要对 const 对象使用 std::move：如果渴望使用移动语义，不应该声明参数为 const。否则，std::move 会静默地退化为拷贝操纵。
（2）std::move 不包管移动：std::move 只是将对象转换为右值引用，但并不包管实际的移动会发生。如果对象类型不支持或不答应移动（如 const 对象），则可能会发生拷贝而非移动。
为了确保移动语义，如果确实必要移动对象，应该制止将其声明为 const。如果不必要修改传入的对象，同时又渴望保存移动语义的可能性，可以考虑使用非常量引用：

1. explicit Annotation(std::string&& text) : value(std::move(text)) { }

复制代码

std::move 与 std::forward 的区别
std::move 是一个无条件的转换，它总是将它的参数转换为右值引用（rvalue reference）。这个操纵本身并不移动任何东西；它只是答应对象被移动构造或移动赋值，通常用于当你确定不再必要一个对象，并且渴望将其资源转移给另一个对象时。
std::forward 是一个有条件的转换，只有当传递给它的参数是右值时，它才会将参数转换为右值引用。如果参数是左值，则保持其左值属性。std::forward 重要用于模板函数中，以确保参数在转发到其他函数时保存其原始的值种别（左值照旧右值）。
std::forward 的典型用法
考虑一个模板函数 logAndProcess，它接收一个通用引用参数 param 并将其传递给 process 函数。process 函数有两个重载版本：一个处置惩罚左值引用，另一个处置惩罚右值引用。为了精确地调用相应的 process 版本，我们必要使用 std::forward 来保持 param 的原始值种别。

1. template<typename T>
2. void logAndProcess(T&& param) {
3.     // 记录日志
4.     makeLogEntry("Calling 'process'", std::chrono::system_clock::now());
5.     // 转发参数到 process
6.     process(std::forward<T>(param));
7. }

复制代码

当 logAndProcess 用左值调用时，param 应该作为左值传递给 process；当用右值调用时，param 应该作为右值传递。std::forward 通过检查 T 是否包含引用类型来决定是否进行转换。
使用 std::move 当你必要明确地进行移动操纵。使用 std::forward 在模板中转发参数时，保持参数的原始值种别。std::move 和 std::forward 都是在编译期起作用的，不会在运行时产生额外开销。
在模板函数 logAndProcess 中，如果倒霉用 std::forward<T>(param) 而直接使用 param，那么无论传递给 logAndProcess 的是左值照旧右值，param 都会被视为左值。这是由于函数参数总是左值，即使它是一个通用引用（universal reference）。

1. template<typename T>
2. void logAndProcess(T&& param) {
3.     // 记录日志
4.     makeLogEntry("Calling 'process'", std::chrono::system_clock::now());
5.     // 直接使用 param 而不是 std::forward<T>(param)
6.     process(param);
7. }

复制代码

当调用 logAndProcess 时
传递左值：

1. Widget w;
2. logAndProcess(w);  // w 是左值

复制代码

T 将被推导为 Widget&（即 Widget 的左值引用），param 是一个左值引用。因此，process(param) 实际上会调用process(const Widget& lvalArg)。
传递右值

1. logAndProcess(Widget());  // 临时对象是右值

复制代码

在这种情况下，T 将被推导为Widget（即 Widget 的非引用类型），param 是一个右值引用。但是，由于 param 作为函数参数，它仍然是一个左值。因此，process(param) 实际上也会调用 process(const Widget& lvalArg)，而不是 process(Widget&& rvalArg)。
结论
如果倒霉用 std::forward，process 函数的重载版本将总是选择处置惩罚左值引用的那个版本，即使原始参数是一个右值。如果 process 的右值引用版本可以更高效地处置惩罚右值（例如，通过移动语义），那么将失去这种优化。如果 process 的两个重载版本有不同的行为，那么倒霉用 std::forward 可能会导致错误的行为，由于总是会调用左值引用版本。

免责声明：如果侵犯了您的权益，请联系站长，我们会及时删除侵权内容，谢谢合作！更多信息从访问主页：qidao123.com:ToB企服之家，中国第一个企服评测及商务社交产业平台。