什麼是decltype（0 + 0）？

Question

（由an answer提示。）

鑑於N3290，§7.1.6.2p4，這裏的列表項是無編號，但編號在這裏爲我們的方便：

通過decltype表示的類型（E ）被定義爲如下：

1. 如果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的類型;
2. 否則，decltype（e）是e的類型。

decltype（0 + 0）指定的類型是什麼？

第1項不適用，2可能，但如果不適用，則3不適用，4將是結果。那麼，什麼是xvalue，是0 + 0還是xvalue？

§3.10p1：

的x值（一個「到期」值）也指一個對象，通常接近其壽命的末尾（使得其資源可以被移動，例如）。 xvalue是涉及右值引用的某些表達式的結果（8.3.2）。

我沒有在§8.3.2中看到任何有用的東西，但我知道「0 + 0」不涉及任何右值引用。文字0是一個prvalue，它是「不是一個xvalue的右值」（§3.10p1）。我相信「0 + 0」也是一個價值。如果是這樣，「decltype（0 + 0）」將是int（不是int & &）。

我錯過了我的解釋？這段代碼是否合格？

decltype(0 + 0) x; // Not initialized. 

代碼在GCC 4.7.0 20110427和Clang 2.9（中繼線126116）上編譯。例如，如果decltype指定了一個int & &類型，那麼它將不會完好。

Answer 1

從5.19 [expr.const]，每常量表達式是prvalue 。

甲常量表達式是文本類型的prvalue核心常量表達式，但是沒有指針類型。 積分常量表達式是積分或非範圍枚舉類型的文字常量表達式。

因此規則4適用於所有文字常量表達式。

Answer 2

GCC說int -

代碼：

#include <iostream> 
#include <typeinfo> 

int 
main() 
{ 
    int n; 
    decltype(0 + 0) x; 
    std::cout << "Type of `n': " << typeid(n).name() << std::endl; 
    std::cout << "Type of `x': " << typeid(x).name() << std::endl; 
} 

輸出：

我

我

編輯：根據第4點它是有道理的，但我不能肯定地說第2點實際上並不是實際的效果。根據我所知，0 + 0評估爲0，而0的類型爲int，因此這是已聲明的類型。

Answer 3

您的推理是正確的。僅涉及常量的表達式本身就是一個常量。因此

decltype(0 + 0) x; 

等於

decltype(0) x; 

其等於

int x; 

Answer 4

0 + 0是二prvalues的表達，（n3290參數3.10），其適用於內置operator+，其中，每13.6/12是LR operator+(L,R)，這是一個返回非參考值的函數。表達的結果也是一個價值（按3.10）。

因此，0 + 0的結果是一個prvalue，0是int，因此0 + 0的結果是一個int

Answer 5

這絕對是一個int：

#include <iostream> 
#include <typeinfo> 

template<typename T> 
struct ref_depth 
{ 
     enum { value = 0 }; 
}; 

template<typename T> 
struct ref_depth<T&> 
{ 
     enum { value = 1 }; 
}; 

template<typename T> 
struct ref_depth<T&&> 
{ 
     enum { value = 2 }; 
}; 

int main() { 

    std::cout 
    << "int: " << typeid(int).name() << "\n" 
     "decltype(0 + 0): " << typeid(decltype(0 + 0)).name() << "\n" 
     "int&&: " << typeid(int&&).name() << "\n"; 
    std::cout 
    << "ref_depth: int: " << ref_depth<int>::value << "\n" 
     "ref_depth: decltype(0 + 0): " << ref_depth<decltype(0 + 0)>::value << "\n" 
     "ref_depth: int&&: " << ref_depth<int&&>::value << "\n"; 

} 

輸出：

int: i 
decltype(0 + 0): i 
int&&: i 
ref_depth: int: 0 
ref_depth: decltype(0 + 0): 0 
ref_depth: int&&: 2