C++の移動演算子は、コピーに時間がかかるメンバ変数を持ってないなら定義する必要がない、という理解は正しいでしょうか？

Question

C++11を使い始めて移動コンストラクタ（Move constructor）、移動演算子（Move assignment operator）というものがあることを知りました。

処理効率が良くなるという説明が散見されたので、知ってからは常に「移動コンストラクタを定義する」よう心がけてきたのですが、慣れてくると「このクラスで定義するのは無駄なんではないか？」と思うことが多くなってきました。

今は、C++11の移動演算子および移動コンストラクタは、次の条件が成立するなら定義しなくても良いと思っているのですが、これは概ね正しい理解と言えるでしょうか？

• 条件１：クラスには、コピーするのに負荷が大きい（※1）メンバ変数がある
• 条件２：クラス（のインスタンス）は、代入されることがあるためコピー演算子やコピーコンストラクタを持つ

※１：時間がかかる、生成回数に制限がある等

もし間違った考えならばご指摘いただきたくよろしくお願いいたします。

又、他に良い指標（移動演算子を定義すべきか否か）があればご教授ください。

今となっては、両者が成立することなんてめったに無いので、移動コンストラクタや移動演算子を定義することはめったに無いはずだと思っています。

以上

Answer 1

(1)
ムーブの第一の目標は、例外安全性の担保であると思います。
https://qiita.com/Kokudori/items/987073d59529b6c9a37c
当該クラスに期待されるコピー動作がリソース確保などを必要とする場合、その処理が重いかどうかに関わらず、リソースが確保できない可能性を考慮すべきです。

(2)
当該クラスに対してコピー動作は実装しないがコピーされるとバグになるものは、コピーはdeleteしてムーブのみ実装すると思います。
私はRTOSのスレッドライブラリ等を自作していますが、スレッドハンドルやセマフォハンドルはそのようなコピーされるとバグるものに該当します。

Comments

[jiro.kaihatsu]

考えていたものとは異なる目的があると知れてよかったです。
(2)については目からウロコです。今日から実践したいです。
(1)はなんとなく理解できたつもりですが、ご紹介いただいたQittaをじっくり拝見してみようと思います。
ありがとうございました。