使用参数包扩展添加所有参数[重复]

Question

假设我有一个带有int... 参数的可变参数模板。例如这样的函数：

template<int... t>
int add(){
    return t... + ???
}

所有方法应该做的就是添加所有参数。使用递归可变参数模板可以轻松实现。但是，是否也可以使用参数包扩展来表达这一点（或类似使用其他二元运算符聚合所有模板参数）？

Answer 1

是的，使用了我从休息室的@Xeo 那里学到的一个技巧。我最初用它来制作可变参数的“打印”模板函数。

#include <iostream>

template<int... ints>
int add()
{
  int result = 0;
  using expand_variadic_pack  = int[]; // dirty trick, see below
  (void)expand_variadic_pack{0, ((result += ints), void(), 0)... };
  // first void: silence variable unused warning
  // uses braced-init-list initialization rules, which evaluates
  //  the elements inside a braced-init-list IN ORDER, to repetetively
  //  execute a certain operation
  // second void is to prevent malicious "operator," overloads, which
  //  cannot exist for void types
  // 0 at the end is to handle empty variadic pack (zero-size array initializer is illegal.
  return result;
}

int main()
{
  std::cout << add<1,2,3,4>() << '\n';
}

这适用于所有支持 C++11 的编译器（GCC 4.8+、Clang 3.2+、MSVS2013、...）

Answer 2

一种使用 lambda 和 std::accumulate 的可能变体：

#include <array>
#include <numeric>

template <int... t>
int add()
{
    return [](const std::array<int, sizeof...(t)>& a)
    {
        return std::accumulate(a.begin(), a.end(), 0);
    }({t...});
}