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

在C++ 11中，可以通过以下方式将sum与std::initializer_list结合使用:

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);
}