c++ - 这个表达式是 xvalue 吗？

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))（带双括号）。