decltype，result_of或typeof？

Question

我：

class A { 
public: 
    B   toCPD() const; 

和：

template<typename T> 
class Ev { 
public: 
    typedef result_of(T::toCPD()) D; 

實例Ev<A>後，編譯器說：

meta.h：12：錯誤： 'T :: toCPD' 不是一個類型

既不decltype也不typeof工作。

Answer 1

由於任何導致你獲得取決於模板參數，typedef typename是必要設定的結果類型的元函數。

decltype是一個標準的C++ 11功能。它是一個「運算符」，它接受一個表達式並返回一個類型。

typedef typename decltype(T().toCPD()) D; // can't use T:: as it's nonstatic 

如果T()不是有效的（T不是默認-constructible）你會想declval這是一個函數，需要一個類型並返回類型的毫無意義的，無效的值。 declval只能用於未評估的上下文中，如decltype。

typedef typename decltype(std::declval<T>().toCPD()) D; 

C++ 11之前，decltype是一個非標準擴展微軟的MSVC編譯器。標準化可能會改變它的行爲。

---

typeof是GCC的等效預C++ 11延伸像decltype，這也克隆在其他編譯器。 Here是來自GCC的文檔。該頁面沒有提供這些功能之間的比較，但是它指出typeof在使用標準模式（-std=c++YY，您應該總是做的）時必須調用__typeof__，它在C和C++中都是可用的。

爲了兼容C，__typeof__不會從glvalue表達式中解析引用類型。因此，它確實只適用於C.這可能解釋了爲什麼C++特性沒有繼承更明顯的名稱：GNU不願意犧牲向後兼容性，而Microsoft則不太關心C，可能需要更少的更改。

---

result_of是一個C++ 11元函數（先前在ISO TR1庫標準化從2006）。它是一個模板，它採用可調用類型（例如函數int(void)，函數指針int(*)(void)，函數類實現operator()或指針到成員函數&T::toCPD）以及該類型的參數類型列表，並提供返回類型如果電話會工作。

要使用帶有指向成員函數的指針的result_of，必須在參數列表中包含父對象類型作爲this的代理。

typedef typename std::result_of< decltype(& T::toCPD) (T *) >::type D; 

這是很脆，但因爲&T::toCPD不能，如果有任何過載，如非const版本解決。儘管必須明確寫出T *或T const *！在大多數情況下，你最好用decltype和declval。

Answer 2

result_of既不是運算符，也不是函數。的result_of是具有作爲模板參數和對成員類型

typedef typename result_of<T::toCPD()>::type D;