別の質問 に答える過程で、私はstd::vector::erase()
とstd::deque::erase()
のわずかに異なる表現につまずいた。
これは、C++ 14が_std::deque::erase
_(_[deque.modifiers]/4-6
_、エンファシスマイン)について言っていることです:
効果:...
複雑さ:デストラクタの呼び出しの数は消去された要素の数と同じですが、代入演算子の呼び出しの数は、消去された要素の前の要素数と消去された要素の後の要素数の小さい方以下です。
Throws:
T
のコピーコンストラクター、コンストラクターの移動、代入演算子、または代入演算子の移動によって例外がスローされない限り、何もありません。
そして、これは_std::vector::erase
_(_[vector.modifiers]/3-5
_)について言うことです:
効果:...
複雑さ:
T
のデストラクタは、消去された要素の数に等しい回数と呼ばれますが、moveT
の代入演算子は、消去された要素の後のベクトル内の要素の数に等しい回数と呼ばれます。Throws:
T
のコピーコンストラクター、コンストラクターの移動、代入演算子、または代入演算子の移動によって例外がスローされない限り、何もありません。
ご覧のとおり、両方の例外の仕様は同じですが、_std::vector
_の場合、移動代入演算子が呼び出されることが明示的に述べられています。
_std::vector
_と_std::deque
_(表100)の両方で動作するためのerase()
のT
にはMoveAssignable
であるという要件もありますが、 tは、移動代入演算子の存在を意味します。コピー代入演算子を定義できますが、移動代入演算子は定義できません。このクラスはMoveAssignable
になります。
念のため、GCCとClangで確認しました。実際、std::vector::erase()
は、移動代入演算子がない場合にコピー代入演算子を呼び出し、std::deque::erase()
は同じことを行います( [〜# 〜] demo [〜#〜] )。
質問は次のとおりです。何かを見逃したのですか、それとも標準の(編集上の)問題ですか?
Update:LWG issue#2477 を提出しました。
レネクサ会議で問題を解決する 即時ステータスを取得 提案された解決策:
この表現はN4296に関連しています。
23.3.3.4 [deque.modifiers]/5を次のように変更します。
-5- Complexity:デストラクタの呼び出し回数of
T
は消去された要素の数と同じです。ただし、代入演算子ofT
の呼び出し数は、消去された要素の前の要素数と要素数の小さい方以下です。消去された要素の後。23.3.6.5 [vector.modifiers]/4を次のように変更します。
-4- Complexity:
T
のデストラクタは、消去された要素の数に等しい回数と呼ばれますが、動くT
の代入演算子は、消去された要素の後のベクトル内の要素の数に等しい回数と呼ばれます。
つまり、解像度が受け入れられた場合、std::vector::erase
の移動の割り当てに関する特別な言及はなく、std::deque::erase
の表現も少し明確になります。