c++ - 在可变参数模板中包含相同类型的数组

Question

我正在尝试用 C++ 编写可变参数模板，它可以在编译时推断类型并为我提供任何指定的操作。例如，我希望对作为参数传递的相同类型的元素求和。这是我到目前为止的进展 -

template <typename T>
T sum(T &v) { return v; }
template <typename T, typename... Ts>
auto sum(T &v, Ts... rest) {
    return v + sum(rest...);
}

用法-

int a = sum(1,2,3);

要求-

int a[] = {1,2,3};
sum(1,2,3,a); // Need to pass array of same type and get the result.

任何帮助将不胜感激。

Answer 1

您可以使用以下内容:

template <typename T>
T sum(const T& v) { return v; }

// special case for array    
template <typename T, std::size_t N>
T sum(const T (&v)[N]) { return std::accumulate(std::begin(v), std::end(v), T{}); }

template <typename T, typename... Ts>
auto sum(const T& v, const Ts&... rest) {
    return sum(v) + sum(rest...);
}

Live demo