c++ - 数组元素到可变参数模板参数

Question

我有一个关于如何完成以下行为的问题，或者它是否可以在 C++ 中实现。假设我有这个可变参数函数

template<typename T, typename...Pack>
T sum(T a, Pack... pack) {
    return a + sum(pack...);
}

template<typename T>
T sum(T a) {
    return a;
}

然后我有一个数组

double array[5];

有没有办法让我去做类似的事情

sum(array[0], array[1], array[2], array[3], array[4]);

没有明确地在每个元素中进行硬编码？原因是，我正在尝试实现诸如

double array[N];
sum(array[0], array[1], array[2], ..., array[N-1]);

其中 N 在编译时设置。

Answer 1

借助索引序列技巧，您可以:

template <class T, size_t N, size_t... Is>
T array_sum_impl(T (&arr)[N], std::index_sequence<Is...>) {
    return sum(arr[Is]...);
}

template <class T, size_t N>
T array_sum(T (&arr)[N]) {
    return array_sum_impl(arr, std::make_index_sequence<N>{});
}

但最好还是按常规操作:

auto sum = std::accumulate(std::begin(array), std::end(array), 0.0);