создание 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;