c++ - 在 C++11 中处理零参数可变参数模板

Question

考虑以下人工示例:

template <typename T, typename... Args>
struct A {
  typedef T Type;
};

使用带有 1 个或多个参数的 A 可以正常工作，而使用带有零参数的它会按预期失败:

error: wrong number of template arguments (0, should be 1 or more)

是否有可能使 A 处理将 A::Type 定义为 int 的零模板参数的情况，如果没有参数并且如果有，到第一个模板参数？

Answer 1

首先将主模板定义为最一般的情况——其中也包括零参数:

template <typename... Args>            //general : 0 or more 
struct A { using Type = int; }

然后部分针对1个或多个参数将其特化为:

template <typename T, typename... Args> //special : 1 or more
struct A<T,Args...>  { using Type = T; }

一旦您获得此特化，主模板将仅用于零参数!

请注意，从数学上讲，1 或更多 是0 或更多 的特例——后者是更一般的情况(而不是相反).