c++ - 当不支持可变模板参数时，如何为元组专门化类模板？

Question

我有一个类模板

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

当 T 是一个元组时，我想专门化它。我想我可以做到这一点

template<class Args...>
class A<std::tuple<Args...>>
{...};

但是，我的编译器不支持可变模板参数，怎么办？

Answer 1

您可以针对每个不同元数的元组专门化它:

// explicit specialization for 0-element tuples
template<>
class A<std::tuple<>>
{...};

// partial specialization for 1-element tuples
template<class Arg>
class A<std::tuple<Arg>>
{...};

// partial specialization for 2-element tuples
template<class Arg0, class Arg1>
class A<std::tuple<Arg0, Arg1>>
{...};

...等等，直到您需要支持的元组元素的最大数量为止。