正確性に影響を与える移動コンストラクタ/代入演算子の例？

Question

移動のセマンティクスを実装していない（つまり、移動コンストラクタと移動代入演算子）、プログラムの正確さだけでなく、その性能に影響を与える例があると、私は迷っていました。

Answer 1

これは、次のコピー・セマンティクスを実装する1つ（またはそれ以上）である任意の値型のようになります。

• 不合理（通称：クラスの設計と正反対）

• インポッシブル

• は

をデッドロック/プログラムの終了につながることができ、コストを負担します

"非合理的"カテゴリは、unique_ptrのようなタイプになります。タイプの論理設計によって無意味なコピーが行われます。

「不可能」カテゴリには、システム外に存在する多くのAPIのラッパータイプが含まれます。

一部のOpenGLオブジェクトにはラッパータイプがあるとします。 OpenGLはクエリー可能なAPIであるため、古いオブジェクトから状態を取得して新しいオブジェクトに設定することで、オブジェクトのコピーを合理的に実装することができます。

しかし、これはOpenGL拡張のために欠陥があります。オブジェクトに新しい状態を与えることができます。これらの拡張機能の前に書かれたコードは何も知らないでしょう。

最後のカテゴリは奇妙に聞こえます。しかし、そのOpenGLラッパーの考え方を考えてみましょう。コピーを実装するとします。そして、あなたはバッファオブジェクト（GPUメモリのセクション）をコピーしています。

まあ...どこでコピーしていますか？あなたは、OpenGLコンテキストの現在のスレッドでそれをやっていますか？そのオブジェクトは他のスレッドで同時に更新されていますか？競合状態を作成したようなことですか？

競合状態を回避するためにmutexを使用することもできますが、デッドロックの可能性が非常に高くなりました。どうして？多くのオブジェクトにはバッファオブジェクトが含まれているためです。これらのオブジェクトをコピーすると、必然的にそれらのバッファをコピーする必要があります。したがって、複数のミューテックスをロックして仕事をするマルチコピー操作があります。同じバッファをコピーしている場合、他のマルチコピー操作に対してデッドロックする可能性があります。

デッドロックが発生したり、メモリのコピーが矛盾したり、まったくコピーできなくなったりします。

あなたのタイプがコピーを許可しない場合、タイプのデザインがそうでないと言わない限り、あなたは動くことが許されるべきです。

Answer 2

（私はあなたがあまりにもこのクラスをコピーする方法はありません示唆していると仮定するつもりです。）

まあ、例がstd::unique_ptrです。このポインタは、newで動的に割り当てられたオブジェクトの唯一の所有権を持つことになっているため、2人の所有者を持つことができないためコピーコンストラクタを許可する意味がありません。ただし、移動代入演算子と移動コンストラクタは、割り当てられたオブジェクトを移動できるように実装されています。移動中であるため、unique_ptrから移動したオブジェクトはオブジェクトに対して所有権を持たなくなりましたが、移動したunique_ptrはこのオブジェクトを所有しています。これは唯一の所有権の部分に違反していません。これらの移動セマンティクスがなければ、unique_ptrははるかに少ないユースケースしか持たないでしょう。

より一般的には、移動代入演算子/移動コンストラクタなしでオブジェクトを移動しようとしない限り、「はプログラムの正確さに影響します。非常に具体的なクラスは、これらのクラスがそうすることができないので、このNotCopyable/NotMovable拘束（例えばstd::mutex）を持っています。関数からオブジェクトを返すだけのpre-C++では、すでにCopyableかMovableのどちらかである必要があることに注意してください。これらのクラスのユースケースは限られています。