移動元の `std::vector` は空であることが保証されていますか?

移動元ベクトルは空であることが保証されていますか?

一般に、C 標準は、移動後のオブジェクトの状態について最小限のガイダンスを提供します。彼らはから移動されました。 N3485 17.6.5.15 [lib.types.movedfrom]/1:

C 標準ライブラリで定義された型のオブジェクトは (12.8) から移動される可能性があります。移動操作は、明示的に指定することも、暗黙的に生成することもできます。特に指定がない限り、そのような移動元オブジェクトは、有効ではあるが指定されていない状態に置かれます。

この規定は、ベクターがこの動作の対象となることを排除するものではありませんが、解釈の余地を残しています。

ベクターの特定の動作

ベクターの影響を除外する明示的な標準要件はありません移動元オブジェクトの一般規則による。ただし、ベクターの実装要件を考慮すると、オプションは限られています:

移動コンストラクター:

• 移動コンストラクターは一定の複雑さを持つ必要があります。
• 唯一のオプションは、ソース ベクトル (v) からリソースを盗んで新しいベクトルを構築し、v を残すことです空。

移動代入演算子:

• 動作はベクトルのアロケータによって異なります:

Case 1 つ:

• allocator_traits::propagate_on_container_move_assignment::value == true
• 宛先ベクトル (*this) 内のすべての要素が破棄されます。
• 容量は、からのアロケーターを使用して割り当て解除されます。 *this.
• アロケーターとメモリ バッファーの所有権は v から *this.
• *this は通常、移動代入の前は空です。

• allocator_traits::propagate_on_container_move_assignment::value == false および get_allocator() == v.get_allocator()
• ケース 1 と同様の動作、しかし、アロケータはそうではありません
• ケース 2 とケース 3 の決定は実行時に行われ、T の要件に影響します。

• allocator_traits::propagate_on_container_move_assignment::value == false および get_allocator() != v.get_allocator()
• アロケーターは移動できません、およびリソースを v から v に転送することはできません*this.
• 移動割り当てを実装する唯一の方法は、割り当て操作を使用して各 T を v から *this に個別に移動することです。
• これには、T が MoveAssignable または MoveInsertable (依存する) である必要があります。容量とサイズの空き状況について*これ).