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

在C++11中，使用std::initializer_list的sum可以通过以下方式完成：

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, "!");

Demo

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

这是一个完全不需要初始化列表和常量表达式来做同样的事情的解决方案。与部分支持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";
}