答案没有区别它们是同一个东西。“xvalue” 不是两种不同的 xvalue一种属于 rvalue、一种属于 glvalue而是唯一一个同时被两个大类都包含的基本类别——正因为它同时满足有 identity属于 glvalue 的条件和可被移动属于 rvalue 的条件这两个性质所以它天生就落在两个大类的交集里。用之前提到的两条正交性质来看会更清楚有 identity能确定这个表达式指向的是不是同一个实体→ 满足的叫glvalue可被移动可以合法地把资源掏空→ 满足的叫rvalue三个基本类别是这两条性质的三种实际组合第四种组合既无身份又不可移动在 C 里不存在因为一个连身份都没有的临时值天然就是可以随便处置、被移动的lvalue 有身份、不可移动xvalue 有身份、且可移动prvalue 没身份、可移动所以当说到xvalue 是 rvalue 的一种时指的是它满足可移动这条性质当你说xvalue 也是 glvalue 的一种时指的是它同时满足有身份这条性质。两句话描述的是同一批表达式只是分别强调了它具备的两条性质中的一条。这也正是标准专门发明 xvalue 这个类别的原因——C11 引入右值引用之后需要一个类别来描述这东西像左值一样有身份所以std::move(x).x这种取成员、或者绑定T引用都合法但资源又可以像右值一样被掏空std::move(x)正是这种情况的典型代表。
答案没有区别它们是同一个东西。“xvalue” 不是两种不同的 xvalue一种属于 rvalue、一种属于 glvalue而是唯一一个同时被两个大类都包含的基本类别——正因为它同时满足有 identity属于 glvalue 的条件和可被移动属于 rvalue 的条件这两个性质所以它天生就落在两个大类的交集里。用之前提到的两条正交性质来看会更清楚有 identity能确定这个表达式指向的是不是同一个实体→ 满足的叫glvalue可被移动可以合法地把资源掏空→ 满足的叫rvalue三个基本类别是这两条性质的三种实际组合第四种组合既无身份又不可移动在 C 里不存在因为一个连身份都没有的临时值天然就是可以随便处置、被移动的lvalue 有身份、不可移动xvalue 有身份、且可移动prvalue 没身份、可移动所以当说到xvalue 是 rvalue 的一种时指的是它满足可移动这条性质当你说xvalue 也是 glvalue 的一种时指的是它同时满足有身份这条性质。两句话描述的是同一批表达式只是分别强调了它具备的两条性质中的一条。这也正是标准专门发明 xvalue 这个类别的原因——C11 引入右值引用之后需要一个类别来描述这东西像左值一样有身份所以std::move(x).x这种取成员、或者绑定T引用都合法但资源又可以像右值一样被掏空std::move(x)正是这种情况的典型代表。
