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 *'

编译器 - 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 *'

编译时静态数组的Sum元素

1 个答案: