int i = 42; decltype((i)) d; //error: d is int& and must be initialized decltype(i) e; //ok: e is an (uninitialized) int
下面是引自 《C++ primer 5th edition》的一段话:在2.5 Dealing with types的“decltype and reference” 这一小节里面
If we wrap the variable’s name in one or more sets of parentheses, the compiler will evaluate the operand as an expression. A variable is an expression that can be the left-hand side of an assignment. As a result, decltype on such an expression yields a reference
不能理解为什么 left-hand side of an assignment 会使得decltype最后yield一个引用。
求解释,万分感谢!
首先把最外面的 decltype() 给抹掉:
decltype((i))
->(i)
decltype(i)
->i
也就是说,第一个
decltype
是对应(i)
,第二个处理i
。在C++表达式中,第一个是"lvalue表达式";第二个是"一个变量"。
因为是
lvalue
,因此decltype
会理解为引用。书中稍早一点有这样一句话:
所以decltype作用在左值上会返回引用类型
因为
(i)
的类型就是个引用啊。decltype(var)
就是这个变量的类型;decltype(expr)
就是这个表达式的类型。