C++(13):右值引用的解析和使用

C++新标准引入了一种新的引用类型--右值引用。所谓右值引用就是必须绑定到右值的引用。我们通过&&而不是&来获得右值引用。如我们将要看到的，右值引用有一个重要的性质--只能绑定到一个将要销毁的对象。因此，我们可以自有的将一个右值引用的资源“移动”到另一个对象中。

一般而言，一个左值表达式表示的是一个对象的身份，而一个右值表达式表示的对象的值。

类似任何引用，一个右值引用也不过是某个对象的另一个名字而已。如我们所知，对于常规引用，我们不能将其绑定到要求转换的表达式、字面常量或是返回值得表达式。右值引用有着完全相反的绑定特性：我们可以将一个右值引用绑定到这类表达式上，但不能将一个右值引用直接绑定到一个左值上：

int i = 42;
int &r = i;              //正确：r引用i
int &&rr = i;            //错误：不能将一个右值引用绑定到一个左值上
int &r2 = i * 42;        //错误：i*42是一个右值
const int &r3 = i * 42;  //正确：我们可以将一个const的引用绑定到一个右值上
int  &&rr2 = i * 42;     //正确：将rr2绑定到乘法结果上

返回左值引用的函数，连同赋值、下标、解引用和前置递增/递减运算符，都是返回左值的表达式的例子。我们可以将一个左值引用绑定到这类表达式的结果上。

返回非引用类型的函数，连同算术、关系、位以及后置递增/递减运算符，都生成右值。我们不能将一个左值引用绑定到这类表达式上，但我们可以将一个const的左值引用或者一个右值引用绑定到这类表达式上。

变量可以看做只有一个运算对象而没有运算符的表达式，虽然我们很少这样看待变量。类似其他任何表达式，变量表达式也有左值/右值属性。变量表达式都是左值。带来的结果就是，我们不能将一个右值引用绑定到一个右值引用类型的变量上：

int &&rr1 = 42;    //正确：字面常量是右值
int &&rr2 = rr1;   //错误：表达式rr1是左值！

变量是左值，因此我们不能将一个右值引用直接绑定到一个变量上，即使这个变量是右值引用也不行。

但是，初始化过后，可以用一个右值引用来给另一个右值引用赋值：

int &&a = 1;
int &&b = 2;
a = b;

此时右值引用 a 对应的值为2