Можно ли переместить std::array в std::vector?

Есть ли способ переместить память из стека в кучу (что бы это ни значило) и можно ли это объединить с конструктором перемещения?

Мне лично нравится фраза «что бы это ни значило». Давайте немного поразмыслим над этим. Перемещение чего-либо из стека в кучу может внезапно означать, что эта часть стека внезапно становится помеченной как область, выделенная в куче, и подлежит регулярному уничтожению.

Проблема в том, что стек является непрерывным и уничтожается, если что-то из него выталкивается. Вы не можете просто сказать «эй, оставьте этот бит памяти» — любое последовательное выделение и освобождение стека должно будет «перепрыгнуть» через эту часть.

Проиллюстрировать:

|                      |
|----------------------|
| stack block 1        |
|----------------------|
| your vector          |
|----------------------|
| stack block 2        |
|----------------------|
|-                    -|

Если вы хотите раскрутить эти два блока, вам нужно сначала уменьшить указатель стека на размер указателя блока 2, а затем на размер вашего вектора и блока 1. Это действительно не то, что может произойти.

Следовательно, единственным возможным решением здесь является создание копии в области кучи памяти. Однако эти копии работают намного быстрее, чем многие ожидают. Даже если вектор имеет несколько мегабайт, я полагаю, контроллер памяти может просто поменять местами некоторые страницы, и ему не нужно физически посылать электрические сигналы, соответствующие битам данных.

Кроме того, любое изменение размера вектора в любом случае должно привести к перераспределению. Поскольку массив занимает ровно столько памяти, сколько ему нужно, даже добавление одного элемента вызовет копирование, которого вы пытаетесь избежать.

Похоже, вы хотите сказать std::vector использовать данные std::array в качестве базового буфера, по крайней мере, до тех пор, пока ему не потребуется какое-то перераспределение.

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

Что вы можете сделать, так это создать std::vector с помощью std::move_iterator. s, чтобы переместить содержимое из файла std::array. Конечно, это не будет иметь значения для арифметических типов, но для логически больших объектов, которые дешево перемещать, можно избежать копирования большого количества данных:

std::array<BigThing, 20> a = fun();
std::vector<BigThing> b { std::make_move_iterator(a.begin()),
                          std::make_move_iterator(a.end())) };