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

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&？

（读完这个答案后，我问自己这个问题。）

Answer 1

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