c++ - decltype 和括号

Question

我不明白 FCD 第 148 页示例的最后一行(第 7.6.1.2/4 节):

const int&& foo();
int i;
struct A { double x; };
const A* a = new A();
decltype(foo()) x1 = i;     // type is const int&&
decltype(i) x2;             // type is int
decltype(a->x) x3;          // type is double
decltype((a->x)) x4 = x3;   // type is const double&

为什么括号在这里有所不同？不应该像上一行那样简单地 double 吗？

Answer 1

上面那个例子，它说

• if e is an unparenthesized id-expression or a class member access (5.2.5), decltype(e) is the type of the entity named by e.
• if e is an lvalue, decltype(e) is T&, where T is the type of e;

我认为 decltype(a->x) 是“类成员访问”的一个例子，而 decltype((a->x)) 是一个例子左值。