Элементы массива в аргументы шаблона Variadic

Question

У меня вопрос о том, как выполнить следующее поведение, или если это возможно даже на C++. Скажем, у меня есть эта VARIADIC функции

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