Question

C ++标准对“ xvalues”（N4762§7.2.1.4）说了以下几点：

如果表达式为xvalue，则它是：
   -。。。
   -类成员访问表达式，该对象指定对象类型为xvalue的非引用类型的非静态数据成员

考虑以下代码片段（使用Boost来打印表达式的类型）：

#include <iostream>
#include <boost/type_index.hpp>

using boost::typeindex::type_id_with_cvr;

struct X {
    int var;
} x;

int main()
{
    auto extended_type = type_id_with_cvr<decltype( std::move(x).var )>();
    std::cout << extended_type.pretty_name() << std::endl;
}

我的问题是关于表达式std::move(x).var：

基于标准中的文本，我希望表达式为xvalue，但是输出为int，而不是int &&。

我在这里想念什么？

Answer 1

我的问题是关于表达式：std::move(x).var

根据标准中的文字，我希望表达式为xvalue，

是的。

但输出为int，而不是int &&

这是因为decltype有两种形式。它可以提供有关如何声明名称的信息，也可以提供有关表达式的类型和类别的信息。

由于std::move(x).var是成员访问权限，因此您获得前者。要获取后者，请使用decltype((std::move(x).var))（带双括号）。

这个表达式是xvalue吗？

1 个答案: