可能であれば、一時オブジェクト内のメンバ変数は暗黙的に移動されていますか？

Question

私のクラスでは、メンバー変数としてstd::vectorなどを使用します。メンバー変数には、独自の移動コンストラクタが付属しています。私はクラスの移動コンストラクタを明示的に宣言しておらず、暗黙のうちにほとんどの場合宣言されていません。

myクラスの暗黙のコピーコンストラクタまたは暗黙の代入演算子がrvalueで呼び出された場合、移動コンストラクタを持つメンバーはコピーまたは移動されますか？

移動した場合、移動可能なメンバーでクラスを使用するときに一時的な使用を避ける理由はありますか？

Answer 1

コピーコンストラクタには、暗黙的に作成されたものでも明示的に宣言されたものでも1つのシグネチャしかないため、コンパイラがそのコンストラクタの右側のオペランドに応じて異なるコードを生成する方法はありません。 にはすべての場合に可動属性をコピーするためにがあります。なぜなら、コピーコンストラクタにはすべての可能な入力に対して機能するコードが1セットしかないからです。

あなたの最後の質問はパフォーマンス関連かもしれないとは思いますが、私は確信することはできません。私が示唆していることは、最も明白なコードを書いて、オプティマイザにそれに亀裂が入ることです。次に、結果をプロファイルして、一時的な作成と破壊が問題を引き起こしているかどうかを確認し、代替メカニズムを検討する必要がある場合のみ参照してください。

Answer 2

クラスが移動コンストラクタ/代入演算子を明示的に宣言せず、暗黙的に宣言されていない場合は、暗黙的に宣言されたコピーctor/assignment-opはメンバーを移動せずコピーします。

あなたのクラスに対してmove ctor/assignment-opが暗黙的に宣言された場合、それらは移動されます。彼らはそうではないと言います - それはなぜですか？あなたのクラスにはカスタムデストラクタがありますか？カスタムdtor、コピー/移動ctor、コピー/移動割り当てオペレーション（「ゼロのルール」とも呼ばれる）を必要としない設計に努めなければなりません。

カスタムdtorが必要な場合は、moveセマンティクスを使用するようにmove ctor/assignment-opを明示的に宣言する必要があります。コンパイラがサポートしている場合は、デフォルトとして宣言できます。