std::move(a).m 是 xvalue 还是 prvalue？

Question

假设m 是非引用类型的非静态数据成员（T）。根据cppreference，std::move(a).m 在 c++11 之前是一个prvalue。我想它应该是 c++11 之后的 xvalue。如果我错了，请纠正我。

但是decltype(std::move(a).m) 在 c++14 (visual studio, clang, gcc) 中仍然是T（不是T&&），这表明std::move(a).m 仍然是一个prvalue。那么std::move(a).m 是 xvalue 还是 prvalue？

Answer 1

std::move(a).m 是一个 xvalue。

[basic.lval] 中的新措辞使这一点更加清晰：

• prvalue 是一个表达式，它的求值初始化一个对象或一个位域，或者计算一个运算符的操作数的值，由它出现的上下文指定。
• xvalue 是一个泛左值，表示其资源可以重复使用的对象或位域（通常是因为它接近其生命周期的终点）。

根据这些定义，std::move(a).m 是一个 xvalue 而不是 prvalue，因为它表示一个对象。

我认为最好的思考方式是，glvalues 具有标识，并且 rvalues 可以安全地从中移动 - 左值具有标识并且不安全地从中移动，xvalues 具有标识并且可以安全地从中移动，prvalues 可以没有身份并且可以安全地离开。这种分类法使这类问题更容易推理。

另外在[expr]中还有一个注解，比较具体：

[ 注意：一个表达式是一个 xvalue 如果它是：[...]
— 对对象类型的右值引用的强制转换，
— 类成员访问表达式，指定非引用类型的非静态数据成员，其中对象表达式是 xvalue，或 [...]
——尾注]

std::move(a) 是右值引用的强制转换，xvalue 也是。 std::move(a).m 是 xvalue 的类成员访问，xvalue 也是。

---

至于decltype(std::move(a).m)。请注意，这个词本身来自 declared type。 decltype(e) 的含义规则很复杂，来自 [dcl.type.simple]：

对于表达式e，decltype(e)表示的类型定义如下：
— 如果e 是一个不带括号的id-expression，它命名了从分解声明的identifier-list 引入的左值或引用，decltype(e) 是给定的引用类型在规范中 分解声明（8.5）；
— 否则，如果e 是未加括号的id-expression 或未加括号的类成员访问（5.2.5）， decltype(e) 是e 命名的实体的类型。如果不存在这样的实体，或者如果e 命名了一组重载函数，则程序格式错误；
— 否则，如果 e 是 xvalue，则 decltype(e) 是 T&&，其中 T 是 e 的类型；
— 否则，如果e 是左值，则decltype(e) 是T&，其中T 是e 的类型；
— 否则，decltype(e) 是 e 的类型。

在这种情况下，我们有一个类成员访问权限，因此您只需获得 m 的类型 - 这是 M 而不是 M&&。在某种程度上，这是有道理的，您要求声明的类型为m，而声明的类型为m。

如果您想对其进行正确分类，您可以使用一组额外的括号（显然）强制忽略该项目符号：decltype((std::move(a).m)) 会给您M&&。