假设我们有一个类 DefaultClass
这是一个模板类。我们有很多类(class)
专注于特质spec_traits
,让我们称他们为SpecClass1
它。 . 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
类型?
最佳答案
最简单的方法似乎是规范类型为 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> > {};
关于c++ - 模板模板参数或模板参数,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14058643/