C++右值引用，左值(lvalue)、将亡值(xvalue)、纯右值(prvalue)

最新推荐文章于 2024-06-01 00:23:03 发布

Owl丶

最新推荐文章于 2024-06-01 00:23:03 发布

阅读量2.9k

点赞数 13

分类专栏： C++

本文链接：https://blog.csdn.net/qq_40586164/article/details/107690601

版权

18 篇文章 3 订阅

订阅专栏

右值引用

C++11增加了移动特性(把资源所有权交出给新对象)，基于两个原因：

因此引出新的引用类型——右值引用：必须绑定到右值的引用。我们通过 &&来获得右值引用。
右值引用有一个重要性质——只能绑定到一个将要摧毁的对象。因此可以自由地将一个右值引用资源移动到另一个对象。

C++03标准中将表达式分为左值和右值，并且“非左即右”：

左值指既能够出现在赋值符号左边，也能出现在赋值符号右边的变量；右值则是只能出现在赋值符号右边的值。

区分一个表达式是左值还是右值，最简便的方法就是看能不能够对它取地址：如果能，就是左值；否则，就是右值。

能标识一个对象的表达式或函数的表达式就是左值表达式。

右值引用的引入，使得C++11标准中对表达式的分类不再是非左值即右值那么简单。

基本值类型与表达式的两个属性相对应：

有"身份"[has identity]：能够确定某个表达式是否和另一个表达式指涉[refers to]同一个实体，例如，通过比较它们标识[identify]出来的函数或者对象的地址(直接或间接得到的)。
能被移动[can be moved from]：能够被移动构造函数、移动赋值操作符或者其它实现[implement]移动语义[move semantics]的重载函数绑定[bind to]。

根据上面两个属性，我们可以对表达式进行分类：

每个C++表达式只属于三种基本值类别中的一种：左值 (lvalue)、纯右值 (prvalue)、将亡值 (xvalue)。

C++11标准中对表达式的分类，简单解释如下：

lvalue(左值)仍然是传统意义上的左值；
xvalue（eXpiring value）字面意思可理解为生命周期即将结束的值(将亡值)，它是某些涉及到右值引用的表达式的值，例如：调用一个返回类型为右值引用的函数的返回值就是xvalue。详细介绍在下面。
prvalue（pure rvalue）字面意思可理解为纯右值，传统意义上的右值，例如临时对象和字面值常量（字符串字面值除外）等。
glvalue（generalized value）广义的左值（泛左值），表明其有身份（has identity），包括传统的左值和xvalue。
rvalue除了传统意义上的右值，还包括xvalue。

依据是否可以移动，值类别可以分为：

在这里插入图片描述

xvalue(expiring value)将亡值
通常指代一个生存周期即将结束的值（因此其资源可以被转移）。是某些涉及到右值引用的表达式的值，根据C++11标准，以下四种情况属于xvalue：

一般来说，具名的右值引用（named rvalue reference）属于左值，不具名的右值引用（unamed rvalue reference）就属于xvalue，而对函数的右值引用不论是否具名都当做左值处理。
举例：

struct A {
	int m;
};
A&& operator+(A, A);
A&& f();
A a;
A&& ar = static_cast<A&&>(a);

f()、f().m、static_cast<A&&>(a)、a+a都是将亡值xvalue，ar是左值。

关注