默認模板參數

Question

我想要建立一個具有可配置類型和差異類型模板參數的類。第一個解決方案在VS2012Nov和g ++ 4.7.2編譯罰款：

template <typename T, 
    typename DT = decltype(T()-T())> 
class A { }; 

但是，當我隱藏decltype(T()-T())額外的模板，VS仍然編譯它，但G ++不。

template < typename T > 
struct Delta { 
    typedef decltype(T() - T()) Value; 
}; 

template <typename T, 
    typename DT = Delta<T>::Value > 
class A { }; 

爲什麼g ++不支持這種語法？

Answer 1

你錯過了typename關鍵字，以告訴從屬名稱是一種編譯器：

template < typename T > 
struct Delta { 
    typedef decltype(T() - T()) Value; 
}; 

template <typename T, 
    typename DT = typename Delta<T>::Value > 
class A { }; 

Live example

欲瞭解更多信息，請參閱Where and why do I have to put the 「template」 and 「typename」 keywords?。