《Effective Modern C++》学习笔记之条款二十三：理解std::move和std::forward

在阅读本章之前，需要明白几个关键知识点，可以参考文章：C++进阶(九) : 右值引用/移动语义/完美转发_Chiang木的博客-CSDN博客：

1. 一般来说，左值引用无法指向右值，但是const左值引用其实是可以指向右值的

2. 右值引用只能指向左值

3. 左值引用、右值引用本质上都是左值

我们知道，std::move()实施的是无条件的向右值型别进行强制类型转换，但是请注意，如果想要对一个对象实施移动操作，那就不能将其声明为常量，因为针对常量对象执行的移动操作，将一声不响的变换为复制操作。例如：

class Annotation {
public:
  explicit Annotation(const std::string text)
    : value(std::move(text)){}
private:
   std::string value;
};

从上述代码中，我们可以看出，当实参被传入到构造函数时，因为是按值传递，所以此时会生成一个左值临时对象text，然后我们将临时对象text通过std::move转换为右值，然后通过调用value的移动构造完成value的创建。

但是实际上，上述value调用的并非移动构造，而是复制构造，因为经过std::move之后，text仅仅是从一个左值const std::string，转换为了右值const std::string，其常量性会被保留下来。但是我们知道，std::string的复制构造及移动构造的函数声明如下：

class string {
public:
  string(const string& rhs);  // 复制构造函数
  string(string&& rhs);       // 移动构造函数
};

const std::string是无法隐式转换为std::string的，所以此时实际只能调用它的复制构造函数。

完美转发使得人们可以撰写接受任意实参的函数模板，并将其转发到其他函数，目标函数会接受到与转发函数所接受的完全相同的实参。std::forward仅当实参是右值时，才会将参数转换为右值，且它们都仅仅时强制类型转换，并不做移动操作。

关于std::forward的使用场景，我们直接来看代码：

void process(const Widget& lValue);  //处理左值
void process(const Widget&& rValue); //处理右值


template <class T>
//param是万能引用，可以接受左值，也可以接受右值
//且无论实参是何类型，只要传入到函数都为左值，因为可以取地址
void logAndProcess(T&& param) {
    //dosomething
    //std::forward将判断w如果是左值，将什么都不做，如果是右值，则返回一个右值
    //完成完美转发
    process(std::forward<T>(param));
};

Widget w;
logAndProcess(w);           //传入左值
logAndProcess(std::move(w));//传入右值