创建一个std :: array，其大小在运行时计算

Question

我想创建一个std::array<T, N>的对象，但问题是我只能使用返回constexpr类型的函数或编译器会抱怨。 这里的问题是我需要根据另一个数组的大小来计算这个数组的长度，这可能是这样的：

template <typename T>
struct DataLength 
{
    template <typename iter>
    size_t maxPossibleLength(iter begin, iter end) 
    {
        size_t m_size = 0;
        while (begin != end) {
            m_size = m_size << 8 | std::numeric_limits<T>::max(); /* 0xff for uchar*/
            begin++;
        }
        return m_size;
    }
}

我如何转换此功能的输出，以便我可以使用它而不是N ？

Answer 1

您可以将其写为递归constexpr函数，并对原始数组的长度进行计算，这也应该是编译时间。

问题是你的函数（如果我理解正确的话）根本不需要得到迭代器。 它需要一个长度N.所以它可以做类似的事情：

template<typename T>
constexpr size_t maxLength(size_t n, size_t m_size=0) {
    return n==0 ? m_size : maxLength<T>(n-1, m_size << 8 | std::numeric_limits<T>::max());
}

它运行：

std::array<int, 15> a;
std::array<float, maxLength<int>(a.size())> b;