C++右值引用

写在前面

对象的移动和拷贝

对于那些对象拷贝到另一个对象中后，就销毁的对象，采用移动的方式，会大幅度提升程序的性能。

• 标准库容器、string、shared_ptr既支持 移动 也支持 拷贝，
• IO类、unique_ptr仅支持移动，不支持拷贝

右值引用就是为了支持移动操作而产生的

---

右值引用

右值引用：必须绑定到右值的引用，将常规的引用称为左值引用

• 左值引用：不能绑定到要求转换的表达式、字面常量、返回右值的表达式
• 右值引用：右值引用可以绑定到上述对象上，但是不能绑定到一个左值上

什么是右值？

• c++中的表达式分为：左值和右值，左值可以位于赋值语句的左侧或者右侧，而右值则只能位于赋值表达式的右侧
• 当一个对象被用作右值时，用的是该对象的值（内容）；当一个对象被用作左值时，用的是该对象的身份（内存中的位置）

说明：上述代码中 i 是左值， i * 42 是右值

• 左值：赋值、下标、解引用、前置递增/递减运算符 都是左值，变量是左值
• 右值：算数、关系、位、后值递增/递减运算符 是右值
• 说明：不能将 左值引用绑定到右值上，但能将const左值引用绑定到右值上，右值引用当然也能绑定到右值上
• 区别：左值持久、右值短暂，因为右值要么是运算过程中的临时变量，要么是字面常量

move函数

• 特别注意：不能将右值引用绑定到右值引用上，因为这里的rr1虽然是右值引用但它本身也是个变量，变量是左值。

Q：那么对于上述这种情况有解决的办法吗？
A：move函数
move函数可以获得绑定到左值上的右值引用（将左值变为右值）
上述代码中rr2是一个绑定到左值（rr1）上的右值引用，调用move函数可以将左值变为右值

使用move函数需要注意的地方：

• 对于变量调用的move函数后，就意味着不能对源对象(rr1)的值做任何的假设，除了对源对象（rr1）赋值或者销毁外，不再使用它(不能再使用源对象rr1的值)
• move不提供using声明，调用的时候必须加上std::

拓展
不单是在将右值变为左值时，使用move,在其他的一些移动上也可以使用该函数

• 智能指针
• 在实现拷贝操作时，拷贝完，原变量不再使用，可以考虑用move

std::unique_ptr<int> p1( int new(42) );
std::unique_ptr<int> p2;

p2 = std::move(p1); 
// p1不再拥有所有权，保证 p1.get()==NULL必然成立

使数组中的元素变为原来的两倍，原数组不再使用：

typedef std::vector<int> IntVec;
IntVec twice_vector(IntVec a)
{
  for (auto& e : a)
    e *= 2;
  return std::move(a); 
}

IntVec v = { /*...*/ };
IntVec w = twice_vector( std::move(v) );