Каков тип именованной ссылки rvalue?

Рассмотрим следующий код:

int&& x = 42;
static_assert(std::is_same<decltype( x ), int&&>::value, "&&");
static_assert(std::is_same<decltype((x)), int& >::value, "&" );

Итак, что такое тип x? Это int&& или int&?

(Я задал себе этот вопрос после прочтения этого ответа.)


c++ c++11 decltype rvalue-reference
person fredoverflow    schedule 28.07.2011    source источник

Ответы (1)


arrow_upward
14
arrow_downward

Тип x (переменной) — int&&. Итак, decltype(x) дает int&&. Тип выражения x — int. Если выражение является lvalue, decltype((x)) дает ссылку lvalue на тип выражения. Таким образом, decltype((x)) дает int&.

person Johannes Schaub - litb    schedule 28.07.2011