c++ - 遍历 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

sumwithstd::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";
}