命名右值引用的类型是什么？

Question

考虑以下代码：

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

那么，x 的类型是什么？是int&& 还是int&？

（我在阅读this answer后问自己这个问题。）

Answer 1

x（变量）的类型是int&&。所以decltype(x) 产生int&&。表达式x 的类型是int。如果表达式是左值，decltype((x)) 会生成对表达式类型的左值引用。所以decltype((x)) 产生int&。