コピー省略

必須のコピー/ムーブ省略

以下の状況において、コンパイラは、たとえコピー/ムーブコンストラクタおよびデストラクタが観察可能な副作用を持っていたとしても、クラスオブジェクトのコピーおよびムーブ構築を省略することが要求されます。 オブジェクトは、それらのコピー/ムーブ先の記憶域に、直接構築されます。 コピー/ムーブコンストラクタは存在する必要もアクセス可能である必要もありません。

• return 文において、被演算子が関数の戻り値の型と同じクラス型 (cv 修飾は無視します) の prvalue のとき。

T f() {
    return T();
}

f(); // T のデフォルトコンストラクタが一度だけ呼ばれます。

戻り値の型のデストラクタは、たとえ破棄される T のオブジェクトがなくても、 return 文の地点からアクセス可能でなければならず、削除されていてはなりません。

• オブジェクトの初期化において、初期化子式が変数の型と同じクラス型 (cv 修飾は無視します) の prvalue のとき。

T x = T(T(f())); // x を初期化するために T のデフォルトコンストラクタが一度だけ呼ばれます。

これは初期化するオブジェクトが潜在的にオーバーラップする部分オブジェクトでないと判明しているときにのみ適用できます。

struct C { /* ... */ };
C f();
struct D;
D g();
struct D : C {
    D() : C(f()) { }    // 基底クラス部分オブジェクトを初期化するときは省略は行われません。
    D(int) : D(g()) { } // 初期化中の D オブジェクトが何らかの別のクラスの
                        // 基底クラス部分オブジェクトかもしれないため省略は行われません。
};

ノート: 上記のルールは最適化を規定しているのではありません。 C++17 コア言語の prvalue および一時オブジェクトの仕様は C++ の以前の版のそれとは根本的に異なります。 コピー/ムーブ元の一時オブジェクトはもはや存在しません。 C++17 の仕組みを説明する別の方法は「具体化されない値渡し」です。 prvalue は一時オブジェクトを一度も具体化することなく返され、使用されます。

戻り値の最適化は必須であり、もはやコピー省略とみなされません。 上を参照してください。

• throw 式において、被演算子が自動記憶域期間を持つ非 volatile オブジェクトの名前であり、それが関数の引数または catch 節の引数でなく、そのスコープが最も内側の try ブロックを超えて延長されない (try ブロックがある場合) とき。
• catch 節において、引数が投げられた例外と同じ型 (cv 修飾は無視します) のとき、例外オブジェクトのコピーは省略され、 catch 節の本体は、参照でキャッチしたかのように、その例外オブジェクトを直接アクセスします。 そのようなコピー省略が、 catch 節の引数のコピーコンストラクタおよびデストラクタをスキップする以外の何らかの理由でプログラムの観察可能な動作を変えるであろう場合は、これは無効化されます (例えば、 catch 節の引数が変更され、その例外オブジェクトが throw で投げ直される場合)。

• コルーチンにおいて、引数のコルーチン状態へのコピー/ムーブは、それが引数のコンストラクタおよびデストラクタの呼び出しを省略すること以外にプログラムの動作を変更しなければ、省略されることがあります。 これは、引数が中断点より後に参照されることがない場合、またはコルーチン状態全体がそもそもヒープ確保されないときに、発生します。

• 定数式および