Итерация по 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 позволяет l oop в 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. Работает с g cc -4.4, который имеет частичную поддержку C ++ 11:

#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";
}