C++ 左值、右值、左值引用和右值引用

C++ 左值、右值、左值引用和右值引用

1、左值和右值

首先，左值和右值是相对于赋值表达式（=、+=等）而言的。左值是在赋值表达式左边的，右值是在赋值表达式右边的。左值表达式可以分为可读写的左值和只读左值。右值是可以出现在赋值表达式右边的表达式，可以是不占据内存空间的临时量或字面量，可以是不具有写入权的空间实体。

int a = 3;
const int b = 5;
a = b + 2;  // a是左值，b+2是右值
b = a + 2;  // 错！b是只读的左值，无写入权，不能出现在赋值符号的左边
(a = 4) += 28； // 错！ a=4是表达式，不能作为左值，28是右值，+=为赋值操作符
34 = a = 2;  // 错！34是字面量，不能作为左值
++a = 12;   // 错！ ++a 是表达式，不能作为左值

 

2、左值引用（如：int &r）

引用的对象可以作为左值来使用的叫做左值引用，一般所说的引用就是左值引用。

3、右值引用（如：int &&r）

右值引用就必须绑定到右值的引用

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

4、左值持久，右值短暂

左值有持久的状态，而右值要么是字面值常量，要么是表达式求值过程中创建的临时对象。由于右值引用只能绑定到临时对象，得知

1） 所引用的对象将要被销毁

2）该对象没有其他用户

这两个特征意味着：使用右值引用的代码可以自由的接管所引用的对象的资源。

5、变量是左值

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

int &&r1 = 42;  // 正确，字面值常量是右值
int &&r2 = r1;   // 错误，表达式r1是左值

int &&&r 等于 int &r。