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

Question

考虑以下人为的例子：

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

使用带有一个或多个参数的A可以工作，而使用零参数则会像预期的那样失败：

错误:错误的模板参数数(0，应该是1或更多)

如果没有参数，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或更多的特例--后者是更一般的情况(而不是相反的情况)。

Answer 2

您可以只在第一个参数中添加一个默认值，而不需要进行专门化：

#include <type_traits>

template <typename T = int, typename... >
struct A {
    using type = T;
};

int main() {
    static_assert(std::is_same<A<>::type, int>::value, "");
    static_assert(std::is_same<A<double, char>::type, double>::value, "");
}