例外安全なコードと移動セマンティクス

Question

コンテナクラスを作成します。このコンテナには2つの特殊化された挿入メソッドがあります。まず、コピーコンストラクタを使用して、あるコンテナから別のコンテナ要素にデータをコピーします。コピーコンストラクタが例外をスローすると、何も起こらないようにコンテナに対するすべての変更を元に戻すだけです。

第2の特殊化は、移動コンストラクタを使用し、物事が複雑になる場所を使用します。あるコンテナから別のコンテナ要素へ要素を移動すると、コンストラクタは例外をスローできます。これが起こった場合 - 私はいくつかの要素が移動され、他の要素が元の場所にとどまっていると、本当に面倒な状態になっています。要素を元に戻そうとすると、別の例外が発生する可能性があります。

例外的に安全な方法で、または例外の安全性と移動のセマンティクスを互いに排他的に書くことは可能ですか？

Answer 1

例外の影響を受けやすいコードを書くときにはstd::move_if_noexceptを使用しますが、それでもコンパイル時に安全な場合は移動のセマンティクスを使用します。

詳しくは、Scott Meyers' talk at GoingNative 2013を参照してください。

PS：あなたのものがコピーコンストラクターでない場合は、ムーブコンストラクターのスロー/ノットに関係なくスティルを移動するつもりです。

Answer 2

これを行うには、コンストラクタの委譲を使用する方法があります。委譲していないコンストラクタ（引数を持たないコンストラクタ、おそらくメンバーをデフォルトに設定する）が終了し、コンストラクタ委譲がスローされた場合、標準ではローカルステートが削除されます。このようにして、漏出することはありません。今日はちょうどthis talkでこれを学んだ。

ところで、STLがまだあなたのために設定していないコンテナのタイプは何ですか？