一、引子

我们所谓的左值、右值，正确的说法应该是左值表达式、右值表达式。

因为C++的表达式不是左值就是右值。

在C中，左值指的是既能够出现在等号左边也能出现在等号右边的表达式，右值指的则是只能出现在等号右边的表达式。

而在C++中，二者的区别就不是这么简单了。

 

二、关键点

【官方定义】

  1. 一个左值表达式的求值结果是一个对象或者一个函数，而某些右值表达式的求值结果也是对象；
  2. 以常量对象为代表的某些左值并不能作为赋值语句的左侧运算对象。
  • 归纳：当一个对象被用作右值的时候，用的是对象的值（内容）；而被用作左值的时候，用的是对象的身份（在内存中的位置）。

【解读定义】

　　解读第一句：既然左值和右值都可以是对象，那怎么区分一个对象是左值还是右值呢？

  • 左值：能用“取地址&”运算符获得对象的内存地址
  • 右值：不能用“取地址&”运算符获得对象的内存地址
  • 特例：因为可以用&取得字符串字面值常量的地址，所以它是一个左值；而其他的字面值常量则不可用&取地址，所以它们是右值

我们知道对象是一块空间，那么有哪些对象以及为什么不能用&取地址呢？

  • 对于临时对象，它可以存储于寄存器中，所以没办法用“取地址&”运算符；
  • 对于（非字符串）常量，它可能被编码到机器指令的“立即数”中，所以没办法用“取地址&”运算符。

 

　　解读第二句：字符串字面值常量确实不能放在等号左边啊，没错啊！

　　解读归纳：所以啊，左值看地址，右值看内容。

【补充】

#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 **，即结果是一个指向整型指针的指针。