decltype（（c））中括号的意义？

Question

我正在阅读this article on Wikipedia regarding C++11 Type Inference feature。

有一个例子，我引用：

#include <vector>
int main() {  
    const std::vector<int> v(1);  
    auto a = v[0];        // a has type int  
    decltype(v[1]) b = 1; // b has type const int&, the return type of  
                          //   std::vector<int>::operator[](size_type) const  
    auto c = 0;           // c has type int  
    auto d = c;           // d has type int  
    decltype(c) e;        // e has type int, the type of the entity named by c  
    decltype((c)) f = c;  // f has type int&, because (c) is an lvalue  
    decltype(0) g;        // g has type int, because 0 is an rvalue  
}

在以下几行中：

    decltype(c) e;        // e has type int, the type of the entity named by c  
    decltype((c)) f = c;  // f has type int&, because (c) is an lvalue  

c 和 (c) 有什么区别？为什么(c) 代表一个左值？

Answer 1

• c是变量名；

• (c) 是一个表达式，在本例中是一个 lvalue 表达式，其值与变量 c 的值相同。

decltype 对两者的处理方式不同。例如，考虑decltype(1+2)，这也是一个采用表达式的例子。碰巧你的例子是一个表达式的 simple 版本：它只是命名一个变量，并没有用它做任何令人兴奋的事情。

这是您通常只有在合理化语言规范的微妙部分时才真正关心的差异之一；但是，正如您所指出的，它在这种情况下具有相当显着的实际效果。

请注意，这里没有 operator 用法。这一切都只是从语法的布局中推导出来的。

Answer 2

我找到了一个很好的描述here。它描述了两者之间的区别：

struct A { double x; };
const A* a = new A();
...
decltype(a->x) x4; // type is double
decltype((a->x)) x5; // type is const double&

我引用：

后两次调用 decltype 的区别在于括号表达式(a->x) 既不是 id 表达式也不是成员访问表达式，因此不表示命名对象。 [13]

因为表达式是一个左值，所以它的推导类型是“对表达式类型的引用”，或者const double&。 [10]