左值&右值
一、引子
我们所谓的左值、右值，正确的说法应该是左值表达式、右值表达式。
因为C++的表达式不是左值就是右值。
在C中，左值指的是既能够出现在等号左边也能出现在等号右边的表达式，右值指的则是只能出现在等号右边的表达式。
而在C++中，二者的区别就不是这么简单了。
二、关键点
【官方定义】
- 一个左值表达式的求值结果是一个对象或者一个函数，而某些右值表达式的求值结果也是对象；
- 以常量对象为代表的某些左值并不能作为赋值语句的左侧运算对象。
- 归纳：当一个对象被用作右值的时候，用的是对象的值（内容）；而被用作左值的时候，用的是对象的身份（在内存中的位置）。
【解读定义】
解读第一句：既然左值和右值都可以是对象，那怎么区分一个对象是左值还是右值呢？
- 左值：能用“取地址&”运算符获得对象的内存地址
- 右值：不能用“取地址&”运算符获得对象的内存地址
- 特例：因为可以用&取得字符串字面值常量的地址，所以它是一个左值；而其他的字面值常量则不可用&取地址，所以它们是右值
我们知道对象是一块空间，那么有哪些对象以及为什么不能用&取地址呢？
- 对于临时对象，它可以存储于寄存器中，所以没办法用“取地址&”运算符；
- 对于（非字符串）常量，它可能被编码到机器指令的“立即数”中，所以没办法用“取地址&”运算符。
解读第二句：字符串字面值常量确实不能放在等号左边啊，没错啊！
解读归纳：所以啊，左值看地址，右值看内容。
【补充】
#include <iostream>
using namespace std;
int& func(int &a)
{
return a; // 不能返回局部对象的引用
}
int main()
{
int a = 10;
func(a) = 100; // 返回非常量引用的函数可以当作左值使用
cout << a << endl; // 输出100
return 0;
}
三、为什么要区分左值右值
- 不同的运算符对运算对象的要求各不相同，有的需要左值运算对象、有的需要右值运算对象；返回值也有差异，有的得到左值结果、有的得到右值结果。
举例：使用关键字decltype的时候，其表达式的求值结果若是左值，decltype作用于该表达式（不能是变量）得到一个引用类型。例如，p的类型是int *，因为解引用运算符生成左值，所以decltype(*p)的结果是int &。而另一方面，因为取地址运算符生成右值，所以decltype(&p)的结果是int **，即结果是一个指向整型指针的指针。
