Почему std :: vector не имеет метода выпуска?

Question

Я оказался в ситуации, когда мне бы хотелось иметь аналог unique_ptrrelease() для std::vector<>. Например:

std::vector<int> v(SOME_SIZE); 

//.. performing operations on v 

int* data = v.release(); // v.size() is now 0 and the ownership of the internal array is released 
functionUsingAndInternallyDeletingRowPointer(data); 

Есть ли особая причина, почему такая возможность не предоставляется? Может ли это наложить какое-то ограничение на внутреннюю реализацию std::vector?

Или есть способ достичь этого, что я смущающе не хватает?

Answer 1

Может, что наложить некоторые ограничения на станд :: вектора внутренней реализации?

Вот некоторые примеры того, что позволяет это будет противоречить:

• Запрещая особых случаев, лежащая в основе выделения памяти не может быть получено new T[], ни уничтожены delete[], так как они могли бы назвать конструкторы и деструкторы в памяти, которые выделяются, но на самом деле не должны содержать объектов типа T.
• Начало массива может фактически не быть началом распределения памяти; например вектор может хранить бухгалтерскую информацию непосредственно перед началом массива
• vector может фактически не освобождать память при ее уничтожении; напримервместо этого распределение может происходить из пула небольших массивов, который используется для быстрого создания и уничтожения небольших векторов. (Кроме того, эти массивы могли бы все просто кусочки большего массива)

Answer 2

functionUsingAndInternallyDeletingRowPointer

И что именно будет эта функция делать? Поскольку эта память была выделена вызовом std::allocator_traits<std::allocator<T>>::allocate, который ожидает ее удаления, вызвав std::allocator_traits<std::allocator<T>>::deallocate. Кроме того, каждый элемент vector был сконструирован с вызовом std::allocator_traits<std::allocator<T>>::construct и поэтому должен быть уничтожен вызовом std::allocator_traits<std::allocator<T>>::destruct.

Если эта функция пытается сделать delete [] на этом указателе, это не сработает. Или, по крайней мере, не требуется для работы.

Возможно, было бы разумно извлечь буфер памяти из vector и использовать его напрямую. Но это не могло быть простым указателем. Он должен был иметь распределитель вместе с ним.

Answer 3

Есть две причины, я могу думать:

1. первоначально (до C++ 11), vector была совместима с небольшой оптимизацией объектов. То есть, он мог бы указать на себя, если бы его размер был достаточно маленьким. Это было непреднамеренно отключено в C++ 11 (vector). Семантика перемещения запрещает недействительность ссылок/итераторов), но она может быть исправлена ​​в будущих стандартах. Таким образом, не было оснований для его предоставления исторически, и, надеюсь, этого не будет в будущем.
2. распределители. Ваша функция может вызвать неопределенное поведение, если передается указатель на вектор с распределителем он не ожидал

Answer 4

Это было предложено в N4359, но оказывается, есть некоторые тонкие вопросы, что место нагрузки на вызывающем, чтобы избежать неправильного поведения (в основном связанные с для распределителей, похоже). Обсуждение трудностей и возможных альтернатив можно найти here. В конечном итоге он был отклонен органом стандартов C++. Дальнейшее обсуждение можно найти в комментариях this question и его ответах.