C++移动语义和完美转发

左值、右值

左值和右值的区分方法：能不能对表达式取地址，如果能，则为左值，否则为右值。

左值引用、右值引用

左值引用只能绑定左值，右值引用只能绑定右值，如果绑定的不对，编译就会失败。但是，常量左值引用是一个“万能”的引用类型，它可以绑定非常量左值、常量左值、右值。

const int & a = 1; //常量左值引用绑定 右值， 不会报错
class A {
  public:
    int a;
};
A getTemp()
{
    return A();
}
const A & a = getTemp();   //不会报错 而 A& a 会报错

总结一下，其中T是一个具体类型：

1. 左值引用， 使用 T&, 只能绑定左值
2. 右值引用， 使用 T&&， 只能绑定右值
3. 常量左值， 使用 const T&, 既可以绑定左值又可以绑定右值
4. 已命名的右值引用，编译器会认为是个左值
5. 编译器有返回值优化，但不要过于依赖

移动语义

要实现移动语义就必须增加两个函数：移动构造函数和移动赋值构造函数。

移动构造函数与拷贝构造函数的区别是，拷贝构造的参数是const T& a，是常量左值引用，而移动构造的参数是T&& a，是右值引用。而移动构造函数与拷贝构造不同，它并不是重新分配一块新的空间，将要拷贝的对象复制过来，而是"偷"了过来，将自己的指针指向别人的资源，然后将别人的指针修改为nullptr，这一步很重要，如果不将别人的指针修改为空，那么临时对象析构的时候就会释放掉这个资源，"偷"也白偷了。

对于一个左值，肯定是调用拷贝构造函数了,但是有些左值是局部变量，生命周期也很短，能不能也移动而不是拷贝呢？C++11为了解决这个问题，提供了std::move()方法来将左值转换为右值，从而方便应用移动语义。

注意点：

1. str6 = std::move(str2)，虽然将str2的资源给了str6，但是str2并没有立刻析构，只有在str2离开了自己的作用域的时候才会析构，所以，如果继续使用str2的内部成员，可能会发生意想不到的错误。

2. 如果我们没有提供移动构造函数，只提供了拷贝构造函数，std::move()会失效但是不会发生错误，因为编译器找不到移动构造函数就去寻找拷贝构造函数，因为拷贝构造函数的参数是const T&常量左值引用既可以绑定左值也可以绑定右值。

3. c++11中的所有容器都实现了move语义，move只是转移了资源的控制权，本质上是将左值强制转化为右值使用，以用于移动拷贝或赋值，避免对含有资源的对象发生无谓的拷贝。move对于拥有如内存、文件句柄等资源的成员的对象有效，如果是一些基本类型，如int和char[10]数组等，如果使用move，仍会发生拷贝（因为没有对应的移动构造函数），所以说move一般用于含有资源的对象。

universal references(通用引用)

当右值引用和模板结合的时候，就复杂了。T&&并不一定表示右值引用，它可能是个左值引用又可能是个右值引用。

template<typename T>
void f(T&& param){
    
}
f(10);  //10是右值
int x = 10; 
f(x); //x是左值

这里的&&是一个未定义的引用类型，称为universal references，它必须被初始化，它是左值引用还是右值引用却决于它的初始化，如果它被一个左值初始化，它就是一个左值引用；如果被一个右值初始化，它就是一个右值引用。
注意：只有当发生自动类型推断时（如函数模板的类型自动推导，或auto关键字），&&才是一个universal references。

template<typename T>
void f(T&& param); //这里T的类型需要推导，所以&&是一个 universal references

template<typename T>
class Test {
  Test(Test&& rhs); //Test是一个特定的类型，不需要类型推导，所以&&表示右值引用  
};

void f(Test&& param); //右值引用

//复杂一点
template<typename T>
void f(std::vector<T>&& param); //在调用这个函数之前，这个vector<T>中的推断类型
//已经确定了，所以调用f函数的时候没有类型推断了，所以是 右值引用

template<typename T>
void f(const T&& param); //右值引用
// universal references仅仅发生在 T&& 下面，任何一点附加条件都会使之失效

完美转发

所谓转发，就是通过一个函数将参数继续转交给另一个函数进行处理，原参数可能是右值，可能是左值，如果还能继续保持参数的原有特征，那么它就是完美的。

void process(int& i){
}
void process(int&& i){
}

void myforward(int&& i){
    process(i);
}

int main()
{
    int a = 0;
    myforward(std::move(a)); //move将a变为右值，传递给i，但i因为有了名字，编译器认为是个左值，故最终调用process(int&)
}

解决办法就是借助universal references通用引用类型和std::forward()模板函数共同实现完美转发。

// 这里利用了universal references，如果写T&,就不支持传入右值，而写T&&，既能支持左值，又能支持右值
template<typename T>
void perfectForward(T && t) {
    RunCode(std::forward<T> (t));
}

std::forward()与std::move()相区别的是，move()会无条件的将一个参数转换成右值，而forward()则会保留参数的左右值类型。