数组元素的总和为constexpr

Question

我试图得到一个const int数组的总和,constexpr以便我可以使用sum作为另一个数组的大小

constexpr int arr[] = {1, 2, 3};
constexpr int sum1 = std::accumulate(arr, arr + 3, 0); // not OK
int arr1[sum1];

以上不编译,因为std::accumulate()不返回constexpr.我最终得到了这样的解决方法

template <size_t N>
constexpr int sum(int const a[])
{
    return a[N-1] + sum<N - 1>(a);
}

template <>
constexpr int sum<0>(int const a[])
{
    return 0;
}

constexpr int arr[] = {1, 2, 3};
constexpr int sum1 = sum<3>(arr);
int arr1[sum1];

有没有更简单的解决方案？

Answer 1

+1 对于 C++14 解决方案，但我提出了一个基于简单递归constexpr函数的 C++11 解决方案

template <typename T, std::size_t N>
constexpr T aSum (T const (&a)[N], std::size_t i = 0U)
 { return i < N ? (a[i] + aSum(a, i+1U)) : T{}; }

所以可以写

constexpr int arr[] {1, 2, 3};
constexpr int sum1 { aSum(arr) };

并sum1成为6

Answer 2

由于 C++14 的宽松 constexpr 你可以这样做：

#include <iostream>

constexpr int arr[] = {1, 2, 3};

template <size_t Size>
constexpr int sum(const int (&arr)[Size])
{
    int ret = 0;
    for (int i = 0; i < Size; ++i)
        ret += arr[i];
    return ret;
}

int main()
{
    int arr1[sum(arr)];
    std::cout << sizeof(arr1) / sizeof(int);
}