左值、右值、将亡值

左值、右值

左值（lvalue）中l指的是location，是有明确地址的，可寻址的值。右值（rvalue）中r指的是read，是可读的值，不一定可以寻址。左值可以当右值使用，但右值不一定能当左值使用。如：

int n = 10;
n = 20;        //正确，n为左值，20为右值
20 = n;        //错误int m = 5;
n = m;     //正确

常见的左值：函数名和变量名（实际上是函数指针和具名变量，具名变量如std::cin、std::endl等）；返回左值引用的函数调用；前置自增/自减运算符连接的表达式++i/–i；由赋值运算符或复合赋值运算符连接的表达式（a=b、a+=b、a%=b）；解引用表达式*p。注意：字符串字面值（如"abc"）也属于左值。

常见的右值：除字符串以外的字面值，如3、false；返回非引用类型的函数调用；后置自增/自减运算符连接的表达式i++/i–；lambda表达式；算术表达式（a+b、a&b、a<<b）、逻辑表达式（a&&b、a||b、~a）、比较表达式（a==b、a>=b、a<b）、取地址表达式（&a）等。

将亡值

C++11中，右值被分为纯右值（prvalue，即pure rvalue）和将亡值（xvalue，即expiring value），左值和将亡值被统称为泛左值（glvalue，即generalized lvalue，也称广义左值）。C++11中一个值只可能是lvalue、xvalue、prvalue中的一种。

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-imHmsw5J-1663437222462)(https://img1.imgtp.com/2022/09/17/EB6OBnKI.png)]

C++11前右值和C++11中的纯右值是等价的。C++11中的将亡值是随着右值引用的引入而新引入的。换言之，“将亡值”概念的产生，是由右值引用的产生而引起的，将亡值与右值引用息息相关。所谓的将亡值表达式，就是下列表达式：

返回右值引用的函数的调用表达式
转换为右值引用的转换函数的调用表达式

在C++11中，我们用左值去初始化一个对象或为一个已有对象赋值时，会调用拷贝构造函数或拷贝赋值运算符来拷贝资源（所谓资源，就是指new出来的东西），而当我们用一个右值（包括纯右值和将亡值）来初始化或赋值时，会调用移动构造函数或移动赋值运算符来移动资源，从而避免拷贝，提高效率。当该右值完成初始化或赋值的任务时，它的资源已经移动给了被初始化者或被赋值者，同时该右值也将会马上被销毁（析构）。也就是说，当一个右值准备完成初始化或赋值任务时，它已经“将亡”了。而上面两种表达式的结果都是不具名的右值引用，它们属于右值。又因为

这种右值是与C++11新生事物——“右值引用”相关的“新右值”
这种右值常用来完成移动构造或移动赋值的特殊任务，扮演着“将亡”的角色

所以C++11给这类右值起了一个新的名字——将亡值。

常见的将亡值：返回值为右值引用的函数调用；std::move(x)；a.m其中a是一个右值，m是一个非引用类型的非静态数据成员；a.*mp其中a是一个右值，mp是一个指向数据成员的指针；对象类型的右值引用的强制转换表达式，例如static_cast<char&&>(x)。

注意

字符串字面值是左值。cout << &("abc") << endl;这条语句在各个版本的编译器上均可以编译通过。

左值引用、右值引用

左值引用就是C++11前的引用，顾名思义是对左值的引用。左值引用以&作为限定符：

int num = 10;
int &a = num; //正确
int &b = 10; //错误，10是纯右值

右值引用在C++11标准被引入，以&&作为限定符：

int num = 10;
int && b = num;  //错误，右值引用不能初始化为左值
int && a = 10; //正确a = 11;        //右值引用可以修改右值
cout << a << endl;   //输出结果为11

**注意！**具名的右值引用是左值，不具名的右值引用是右值（type_to_string()返回指示表达式的类型的字符串，详见怎么知道一个表达式是啥类型的值？）：

int&& get_a_int() {return 0;
}//get_a_int()的返回值是一个不具名的右值引用
std::cout << "The type of get_a_int() : " << type_to_string<decltype(get_a_int())>() << std::endl;
std::cout << "The value type of get_a_int() : " << type_to_string<decltype((get_a_int()))>() << std::endl;//get_a_int()返回值被赋值给右值引用类型变量n，这里的n就是一个具名的右值引用
int&& n = get_a_int();
std::cout << "The type of n : " << type_to_string<decltype(n)>() << std::endl;
std::cout << "The value type of n : " << type_to_string<decltype((n))>() << std::endl;

输出：

The type of get_a_int() : int&&
The value type of get_a_int() : int&&
The type of n : int&&
The value type of n : int&

参考文章

[1]还分不清左值，右值，将亡值？看这里！