Является ли это выражение значением 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:

Исходя из текста в стандарте, я ожидаю, что выражение будет иметь значение x, новывод int, а не int &&.

Что мне здесь не хватает?

Answer 1

Мой вопрос о выражении: std::move(x).var

Исходя из текста в стандарте, я ожидаю, что выражение будет иметь значение x,

Это.

, но на выходе получается int, а не int &&

Это потому, что decltype имеет две формы.Он может дать информацию о том, как объявлено имя, или он может предоставить информацию о типе и категории выражения.

Поскольку std::move(x).var является доступом к члену, вы получаете первое.Чтобы получить последнее, используйте decltype((std::move(x).var)) (с двойными скобками).