如果不支持可变参数模板参数，如何为元组专门化类模板？

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

......依此类推，直到你需要支持的最大数量的元组元素。