我可以在单一类型上定义可变参数模板函数吗？

Question

我可以定义一个可变参数模板函数，而不是改变类型，而只是一个单一的？如果我的目标是定义一个只添加可变参数 int 而不是浮点数或其他任何东西的函数，我可以用 template<int....> 语法以某种方式做到这一点吗？

我可以轻松组合的多类型样本：

int add() { return 0; }

template<typename T, typename... TS>
T add(T n, TS... m)
  { return n+add(m...); }

但是我如何只在其中使用int？ 显然不能遵循将<int> 放在模板参数列表中的模式，因为我想要一个在(...) 之间而不是<...> 之间接受参数的函数，如下所示：

template<int n>
int constant() { return n; }

constant<4>();  // using the int-template function

因此，对我来说很明显以下方法不起作用。但作为一个起点......

template<int, int...>
int add(int n, int... m)    // error, of course.
  { return n+add(m...); }

如何为add(1)、add(1,2)、add(1,2,3) 等定义add，但仅限于int-参数。它不应该为add(1.0) 生成float 函数（可能调用会起作用，但这只是因为1.0 被转换为int）。

注意：我的意思不是仅仅将T 或TS 类型限制为enable_if 等。我只是认为我在这里错过了这种可变参数模板的语法。

Answer 1

为此，您实际上应该只使用std::initializer_list，这与仅用于一种类型的可变参数函数非常相似。

int add(std::initializer_list<int> list) {
    int sum = 0;
    for (auto i : list) sum += i;
    return sum;
}  

现在你可以这样称呼它int i = add({1,2,3,4,5,6});

如果你真的想要，你可以轻松地在其中放置一个静态断言，它会为你做这件事。

int add() { return 0; }

template<typename T, typename... TS>
T add(T n, TS... m)
{
   static_assert(std::is_same<T,int>::value,"bad type"); 
   return n+add(m...); 
}  

但是 IMO 这完全违背了可变参数模板的目的，并且会使程序更难读写。

Answer 2

int add() { return 0; }

template<typename... TS>
int add(int n, TS... m)
{
    return n + add(m...); 
}

这样的代码有什么问题？