如何强制实例化与类型别名一起使用的模板 class

Question

我有一个带有大量模板参数的模板 class。

这是一个 helper class，仅用于预定义的类型列表。 我使用类型别名（ using或typedef ），这样用户就不会被模板后缀污染。

由于类型列表是硬编码的，我想强制实例化 class T，但由于列表很长，我想强制实例化而不重复所有参数。

我怎么能那样做？

template <class... X>
class T {
};

// alias the type so that the user don't get mad with type list
using Z = T<int, bool, char, long
            /* possibly a long list of parameters*/ >;


// this works but needs to repeat all template arguments
template class T<int, bool, char, long>;

// how to force instantiation of T using Z?

Answer 1

您可以使用允许将所有模板参数指定为单个std::tuple的特化：

#include <tuple>


template <class... X>
class T {};

template <class ...X>
class T<std::tuple<X...>> : public T<X...> {};

using types = std::tuple<int,bool,char,long>;

using Z = T<types>;

template class T<types>;

Answer 2

作为一种解决方法，我使用了宏...

#define MY_TYPE T<int,bool,char,long>

using Z = MY_TYPE;

template class MY_TYPE;

我还在寻找更好的解决方案...