移動によってstd :: vector :: data（）が保持されますか？

Question

可能性の重複：
Does moving a vector invalidate iterators?

次のコードを考えてみましょう：

std::vector<T> prepare(T*& data) { 
    std::vector<T> buffer; 
    // Fill in buffer. 
    data = buffer.data(); 
    return buffer; 
} 

... 

T* data; 
auto vec = prepare(data); 
// line 12 

は、それが可能ライン12でvec.data() != dataということですか？同様に、

std::vector<T> buffer; 
// ... Fill in buffer ... 
T* data = buffer.data(); 
auto vec = std::move(buffer); 
// line 5 

行5のvec.data() != dataは可能でしょうか？

実際には、移動コンストラクタは単純なポインタ代入として実装されているため、libstdC++とlibC++の実装ではどちらも使用できませんが、標準では何も指定していないようです（Is the capacity required to be preserved when moving a std::vector?）。 "一定の複雑さ"を保証することができますvec.data() == data？

Answer 1

コンテナが個々の要素のコピー/移動を許可されていないため、既存の記憶域の所有権を新しいオブジェクトに移す必要があるため、data()が返すポインタは同じでなければなりません。

ベクトルのアロケータタイプに対してpropagate_on_container_move_assignmentが真であるか、またはアロケータが等しいかどうかを示す場合にのみ真である、ムーブアサインメント（コンストラクションの移動ではない）。