遍历std :: initializer_list

Question

//parameter pack sum example

constexpr int sum(int N= 0)
{
    return N;
}
template<typename ...Args>
constexpr int sum(int first, int second, Args ...N)
{
    return first + second + sum(N...);
}

int main()
{
    std::cout << sum<int>(1,6,3);
}

是否可以在编译时使用std::initializer_list<int>求和，如何通过它进行递归迭代。

Answer 1

sum和std::initializer_list在C ++ 11中可以通过以下方式完成：

template <typename It>
constexpr int sum(It it, It end)
{
    return it == end ? 0 : (*it + sum(it + 1, end));
}

constexpr int sum(std::initializer_list<int> ini)
{
    return sum(ini.begin(), ini.end());
}

static_assert(sum({1, 2, 3, 4, 5})== 15, "!");

C ++ 14允许在constexpr函数中循环，从而消除了递归：

constexpr int sum(std::initializer_list<int> ini)
{
    int res = 0;
    for (int e : ini) {
        res += e;
    }
    return res;
}

在C ++ 20中，std::accumulate被标记为constexpr，允许

constexpr int sum(std::initializer_list<int> ini)
{
    return accumulate(ini.begin(), ini.end(), 0);
}

Answer 2

从C ++ 20开始，您可以使用std::reduce，因为它被标记为constexpr：

#include <initializer_list>
#include <numeric>

constexpr int sum(std::initializer_list<int> init) {
   return std::reduce(init.begin(), init.end());
}

Answer 3

这是一个解决方案，它更简单地执行了相同操作，而没有初始化列表和constexpr。与具有部分C ++ 11支持的gcc-4.4一起使用：

#include <iostream>

template<int N, int ...Args>
struct SumImpl
{
  enum { RESULT = N + SumImpl<Args...>::RESULT };
};

template<>
struct SumImpl<0>
{
  enum { RESULT = 0 };
};

template<int ...Args>
struct Sum
{
  enum { RESULT = SumImpl<Args..., 0>::RESULT };
};

int main()
{
  std::cout << Sum<1,6,0,3,23>::RESULT << "\n";
}