C++学习记录: 左值、纯右值、将亡值

 左右值，移动与拷贝赋值构造是我觉得比较麻烦的一个地方。

​​​​​​​话说C++中的左值、纯右值、将亡值 - 同勉共进 - 博客园

将亡值是右值引用的产物，右值用于赋值和初始化对象是使用的移动赋值运算符以及移动构造函数，相当于右值完成初始化或赋值的任务时，其资源已经移动给了被初始化者或被赋值者，该右值也将会马上被销毁（它处于“将亡”状态）。

PS：

1. 字符串字面值是左值：不是所有的字面值都是纯右值，字符串字面值是唯一例外。C++将字符串字面值实现为char型数组，每个字符都分配了空间。
2. 具名的右值引用是左值，不具名的右值引用是右值

void foo(X&& x)
{
    X anotherX = x;
   //后面还可以访问x
 }

上面X是自定义类，并且，其有一个指针成员p指向了在堆中分配的内存；参数x是X的右值引用。如果将x视为右值，那么，X anotherX=x;一句将调用X类的移动构造函数，而我们知道，这个移动构造函数的主要工作就是将x的p指针的值赋给anotherX的p指针，然后将x的p指针置为nullptr。（后续文章讲移动构造函数时会详细说明）。而在后面，我们还可以访问x，也就是可以访问x.p，而此时x.p已经变成了nullptr，这就可能发生未定义的错误。  

X& foo(X&& x)
{
     //对x进行一些操作
     return x;
}

//调用
foo(get_a_X());    //get_a_X()是返回类X的右值引用的函数

上例中，foo的调用以右值（确切说是将亡值）get_a_X()为实参，调用类X的移动构造函数构造出形参x，然后在函数体内对x进行一些操作，最后return X，这样的代码很常见，也很符合我们的编写思路。注意foo函数的返回类型定义为X的引用，如果x为右值，那么，一个右值是不能绑定到左值引用上去的。 
为避免这种情况的出现，C++规定：具名的右值引用是左值。这样一来，例一中X anotherX = x;一句将调用X的拷贝构造函数，执行后x不发生变化，继续访问x不会出问题；例二中，return x也将得到允许。
例二中，get_a_X返回一个不具名右值引用，这个不具名右值引用的唯一作用就是初始化形参x，在后面的代码中，我们不会也无法访问这个不具名的右值引用。C++将其归为右值，是合理的，一方面，可以使用移动构造函数，提高效率；另一方面，这样做不会出问题。

①只有当存在两个或两个以上的运算对象时才需要运算符连接，单独的运算对象也可以是表达式，例如上面提到的字面值和变量。
②确切说，是表达式的结果的值类别，但我们一般不刻意区分表达式和表达式的求值结果，所以这里称“表达式的值类别”。
③当我们将函数名作为一个值来使用时，该函数名自动转换为指向对应函数的指针。
④关于右值引用本身，没什么可说的，就是指可以绑定到右值上的引用，用"&&"表示，如int && rra=6;         相比之下，与右值引用相关的一些主题，如移动语义、引用叠加、完美转发等，更值得我们深入探讨。
⑤前提是该右值（如自定义的类X）有移动构造函数或移动赋值运算符可供调用。
⑥在本文的例二中，如果将get_a_X()的返回值由X的右值引用改为X对象，则get_a_X()是纯右值表达式（如前所述，返回非引用类型的函数调用是纯右值），此时Foo(get_a_X());一句调用的仍然是类X的移动构造函数，这就是一个纯右值完成移动构造的例子。