c++ - 在编译时对静态数组的元素求和

Question

我试图通过模板在编译时对静态数组的元素求和：

#include <type_traits>

template<size_t idx, int* arr>
struct static_accumulate : 
       std::integral_constant<size_t, arr[idx] + static_accumulate<idx - 1, arr>::value>
{   };

template<int* arr>
struct static_accumulate<0, arr> : std::integral_constant<size_t, arr[0]>
{   };

constexpr int arr[9] = {1, 2, 3, 
                        4, 5, 6,
                        7, 8, 9};

int main()
{   
    std::cout<<static_accumulate<8, arr>::value;
}

但我得到了这个编译错误：

错误：无法将模板参数“arr”转换为“int*”</p>

编译器 - gcc 4.7。

我怎样才能避免它？

Answer 1

将您的模板参数更改为int const * arr.

Clang 的错误信息实际上比 gcc 的更有用：

sum.cc:19:37: error: non-type template argument of type 
                     'int const[9]' cannot be converted to 
                     a value of type 'int *'