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>>
{...};

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