なぜstd :: vectorにリリースメソッドがないのですか？

Question

unique_ptrのrelease()のアナログが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

を期待していなかったアロケータを持つベクトルへのポインタを渡された場合、あなたの関数が未定義の動作を起動する可能性があることは、STDにいくつかの制約を課すことができる::ベクトルは、内部実装ですか？ここで

もののいくつかの例では、これはと競合することが可能ということである。これらは呼び出しますので、

特殊なケースがなければ

• 、根本的なメモリ割り当てがは、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

私は考えることができる2つの理由があります。

1. もともとは（前のC++ 11）、vectorは小さなオブジェクトの最適化に対応していました。つまり、サイズが十分に小さい場合は、それ自体を指摘できた可能性があります。これはC++ 11で不用意に無効にされました（vectorの移動セマンティクスは参照/イテレータの無効化を禁じています）が、将来の標準では修正される可能性があります。だから、それを歴史的に提供する理由はなく、今後はないだろう。
2. アロケータ。それは

Answer 4

これはN4359で提案されているが、それは間違った行動（主に関連を避けるために、発信者の負担を置いて、いくつかの微妙な問題があるが判明しました。アロケータには、それは思われる）。困難と可能な選択肢については、hereを参照してください。それは最終的にC++標準化団体によって拒否されました。さらなる議論は、コメントthis questionとその回答に記載されています。