Динамический размер не изменяемого размера массива

Question

Существует ли тип C++, который действует как «динамический размер не изменяемого размера массива»? Такой тип можно рассматривать как одну из двух вещей:

• vector<T> но без resize, push_back и т.д.
• array<T,N> но где N является динамическим, а не статическим.

Я не хочу решение, которое работает только в том случае, если тип элементов в массиве не является копируемым. Я хочу получить общее решение.

Answer 1

Да, там (в значительной степени) есть. std::unique_ptr<T[]>. Первичный шаблон имеет частичную специализацию для этого случая, который обеспечивает соответствующий интерфейс (оператор [], нет оператора * и т.д.)

В качестве альтернативы, вы можете обернуть std::vector в собственном классе и ограничить его интерфейс. Можно даже сделать это путем вывода класса из std::vector с помощью наследования непубличной и публикации только соответствующие части его интерфейса:

template <class T, class A = std::allocator<T>> 
struct FixedVector : private std::vector<T, A> 
{ 
    using FixedVector::vector::vector; 
    using FixedVector::vector::operator=; 
    using FixedVector::vector::get_allocator; 
    using FixedVector::vector::at; 
    using FixedVector::vector::front; 
    using FixedVector::vector::back; 
    using FixedVector::vector::data; 
    using FixedVector::vector::begin; 
    using FixedVector::vector::cbegin 
    using FixedVector::vector::end; 
    using FixedVector::vector::cend; 
    using FixedVector::vector::empty; 
    using FixedVector::vector::size; 
    using FixedVector::vector::operator[]; 
};