decltype和括號

Question

我不明白的例子中的最後一行的FCD（§7.6.1.2/ 4）的第148頁：

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

只是，上面的例子，它說

• 如果e是一個括號的ID-表達或類成員訪問（5.2.5），decltype（e）是由命名實體的類型即
• 如果e是左值，則decltype（e）是T &，其中T是e的類型;

我認爲decltype(a->x)是的「類成員訪問」的一個例子和decltype((a->x))是左值的一個例子。

Answer 2

添加的parens將它變成左值。

MSDN says
內部圓括號會導致語句被評估爲表達式而不是成員訪問。因爲a被聲明爲一個const指針，所以這個類型是對const double的引用。

Answer 3

decltype(a->x) 

這給你的成員變量A::x，這是double的類型。

decltype((a->x)) 

這給你的表達(a->x)，這是一個左值表達式的類型（因此爲什麼它是一個const reference-- a是const A*）。