模板模板参数或模板参数

Question

假设我们有一个类DefaultClass，它是一个模板类。我们有很多种类 ，专门spec_traits特征，让我们打电话给他们SpecClass1 itp。 。 SpecClass#本身可以是 带有一个参数的模板，如SpecClass2<T>。有没有一种实施DefaultClass的方法，因此可以使用DefaultClass<SpecClass1>和DefaultClass<SpecClass<SomeType>, SomeType>。我用专业化：

// DefaultClass.hpp 
template<typename T> 
class _phonyTemplate; 
class _phonyType; 
class _phonyNonTemplate; 

template <template <class> class TemplateT, class TypeT, class NonTemplateT> 
class DefaultClass; 

// for DefaultClass<SpecClass<SomeType>, SomeType> 
template <template <class> class TemplateT, class TypeT> 
class DefaultClass<TemplateT, TypeT, _phonyNonTemplate> 
{ 
    // use SpecClass# traits 
    typedef spec_traits<TemplateT<TypeT> >::some_type used_type; 
}; 


// for DefaultClass<SpecClass1> 
template <class NonTemplateT> 
class DefaultClass<_phonyTemplate, _phonyType, NonTemplateT> 
{ 
    // use SpecClass# traits 
    typedef spec_traits<NonTemplateT>::some_type used_type; 
}; 




// SpecClass1.hpp 
class SpecClass1 : public DefaultType<_phonyTemplate, 
              _phonyType, SpecClass1> {}; 

// SpecClass2.hpp 
template <typename TypeT> 
class SpecClass2 : public DefaultType<SpecClass2, 
              TypeT, _phonyNonTemplateT> {}; 

是否有更好的方法，然后使用这些_phony类型？

Answer 1

最简单的方法似乎是为规范类型为SomeType提供一个typedef：

template <typename T> 
class DefaultClass 
{ 
    typedef typename T::SomeType SomeType; 
}; 

// SpecClass1.hpp 
class SpecClass1 : public DefaultType<SpecClass1> {}; 

// SpecClass2.hpp 
template <typename TypeT> 
class SpecClass2 : public DefaultType<SpecClass2<TypeT> > {};