默认模板参数

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?。