答案:没有区别,它们是同一个东西。
"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) 正是这种情况的典型代表。