爲什麼decltype（auto）會在這裏返回一個引用？

Question

我想（想）我明白auto。同樣約decltype。然而，在C++ 14中，可以有一些像decltype(auto)這樣的暗含的東西作爲函數的返回類型。考慮以下幾點：

decltype(auto) foo() 
{ 
    int m = 1; 
    return m; 
} 

返回類型爲int，一切纔有意義。

然而，

decltype(auto) foo() 
{ 
    int m = 1; 
    return (m); 
} 

返回int&（即參照int）。

我絕對沒有想法爲什麼發生這種情況，爲什麼這些圓括號有什麼區別呢？希望有人能夠對此有所瞭解。

PS：我也標記爲C++，因爲有更多人檢查C++標籤，而不是C++14。

Answer 1

7.1.6.2 [dcl.type.simple]

對於表達式e，通過decltype（e）中表示的類型定義如下：
- 如果e是非隱含的id表達式或未隱含的類成員訪問（5.2.5），則decltype（e）是由e命名的實體的類型。如果沒有這樣的實體，或者如果e名稱是一組重載函數，則該程序是不合格的;如果e是x值，則decltype（e）是T & &，其中T是e的類型;如果e是左值，則decltype（e）是T &，其中T是e的類型;否則，如果e是左值，則decltype（e）是T &，其中T是e的類型;
- 否則，decltype（e）是e的類型。

在你的榜樣，你有這麼return (m)是e(m)。這不是一個非私有的id表達式或類成員訪問，所以我們轉到第二個項目符號。這不是一個xvalue，所以我們去第三個子彈。這是一個左值，所以類型是T&，其中T是int。