不應該decltype觸發器編譯它的參數？

Question

所以我很困惑這是如何工作的。鑑於：

template <typename T> 
int foo(T t) { t.foo(); } 

好像這個調用失敗了：

decltype(foo(int{ 13 })) fail = 42; 

cout << fail << endl; 

相反it just prints：

它適用於所有我的編譯器這樣進入。這是正確的行爲？我請求來自C++標準的報價。

Answer 1

在[dcl.spec]：

對於表達式e，通過decltype（e）中表示的類型定義爲 如下：

如果e是一個括號的ID-表達命名引入左值或參考從分解 聲明的標識符列表中，decltype（e）是分解聲明（[dcl.decomp]）的 規範中給出的引用類型;否則，如果e是非隱含的id表達式或未隱含的類成員訪問（[expr.ref]），decltype（e）是由e命名的實體的 類型。如果沒有這樣的實體，或者如果命名一組重載函數，則該程序是不合格的;如果e是x值，則decltype（e）是T & &，其中T是e的類型;否則，如果e是左值，則decltype（e）是T &，其中T是e的類型;如果e是左值，則decltype（e）是T &，其中T是e的類型;

否則，decltype（e）是e的類型。

decltype說明符的操作數是未評估的操作數 （子句[expr]）。

（重點煤礦）

所以你foo(int{ 13 })不會求。

Answer 2

decltype中的表達式被標準定義爲不被評估，它們只被解析以獲取表達式的類型。