右值大类rvalue的xvalue,和 左值大类glvalue的xvalue的区别

答案:没有区别,它们是同一个东西。

"xvalue" 不是两种不同的 xvalue(一种属于 rvalue、一种属于 glvalue),而是唯一一个同时被两个大类都包含的基本类别------正因为它同时满足"有 identity"(属于 glvalue 的条件)和"可被移动"(属于 rvalue 的条件)这两个性质,所以它天生就落在两个大类的交集里。用之前提到的两条正交性质来看会更清楚:

  • 有 identity (能确定这个表达式指向的是不是同一个实体)→ 满足的叫 glvalue
  • 可被移动 (可以合法地把资源掏空)→ 满足的叫 rvalue

三个"基本"类别是这两条性质的三种实际组合(第四种组合"既无身份又不可移动"在 C++ 里不存在,因为一个连身份都没有的临时值天然就是可以随便处置、被移动的):

  • lvalue = 有身份、不可移动
  • xvalue = 有身份、可移动
  • prvalue = 没身份、可移动

所以当说到"xvalue 是 rvalue 的一种"时,指的是它满足"可移动"这条性质;当你说"xvalue 也是 glvalue 的一种"时,指的是它同时 满足"有身份"这条性质。两句话描述的是同一批表达式,只是分别强调了它具备的两条性质中的一条。

这也正是标准专门发明 xvalue 这个类别的原因------C++11 引入右值引用之后,需要一个类别来描述"这东西像左值一样有身份(所以 std::move(x).x 这种取成员、或者绑定 T&& 引用都合法),但资源又可以像右值一样被掏空",std::move(x) 正是这种情况的典型代表。

相关推荐
影视飓风TIM20 分钟前
C++哈希表:unordered_set / unordered_map底层原理
c++·算法·哈希算法·散列表
geovindu20 分钟前
CSharp: Template Method Pattern
开发语言·后端·c#·.net·模板方法模式·行为模式
专注API从业者22 分钟前
Open‑Claw 实战|无需逆向,快速搭建电商商品监控与数据分析系统
开发语言·数据结构·数据库·数据分析·php
西西弗Sisyphus31 分钟前
Qt 无边框窗口自己实现拖拽与缩放
开发语言·qt
狮子雨恋34 分钟前
anaconda python环境和QT python环境不一致如何解决
开发语言·python·qt
独立开发之道1 小时前
【three.js教程】Three.js 矩阵变换:position/quaternion/scale 和 matrix 到底怎么配合
开发语言·javascript·矩阵
纪念 2291 小时前
数据结构排序(四)
开发语言·数据结构
IvanCodes1 小时前
Python 基础语法(四):循环结构与流程控制
开发语言·python
OPEN-F1 小时前
C++工程化:编译链接、调试与性能优化
开发语言·c++