Copy elision

• throw 式 において、オペランドが自動記憶域期間を持つ非volatileオブジェクト obj の名前（関数パラメータまたはハンドラパラメータを除く）であり、それが最も内側の囲み try ブロック （存在する場合）を含まない スコープ に属する場合、例外オブジェクトのコピー初期化は obj を直接例外オブジェクトに構築することで省略できる。
• ハンドラ において、ハンドラ引数のコピー初期化は、プログラムの意味がハンドラ引数のコンストラクタとデストラクタの実行を除いて変更されない場合、ハンドラパラメータを例外オブジェクトのエイリアスとして扱うことで省略できる。

• コルーチン において、コルーチンパラメータのコピーを省略できる。この場合、プログラムの意味がパラメータコピーオブジェクトのコンストラクタとデストラクタの実行を除いて変更されない場合、そのコピーへの参照は対応するパラメータへの参照に置き換えられる。

選択されたコンストラクタの最初のパラメータがオブジェクトの型への右辺値参照である場合、そのオブジェクトの破棄はターゲットが破棄される時点で発生します。それ以外の場合、破棄は最適化が行われなかった場合の2つのオブジェクトの破棄タイミングのうち、より遅い時点で発生します。

Prvalueセマンティクス（「保証されたコピー省略」）

C++17以降、prvalueは必要になるまで実体化されず、最終的な格納先のストレージに直接構築されます。これは、言語構文が視覚的にコピー/ムーブを示唆している場合でも（例： copy initialization ）、コピー/ムーブが実行されないことを意味します — つまり、型はアクセス可能なコピー/ムーブコンストラクタを全く持つ必要がありません。例としては：

• return文 で返されるオブジェクトの初期化において、オペランドが関数の戻り値型と同じクラス型（ cv修飾 を無視）の prvalue である場合：

T f()
{
    return U(); // constructs a temporary of type U,
                // then initializes the returned T from the temporary
{
T g()
{
    return T(); // constructs the returned T directly; no move
{

Tオブジェクトが破棄されない場合でも、返される型のデストラクタはreturn文の時点でアクセス可能であり、削除されていない必要があります。

• オブジェクトの初期化において、初期化式が変数の型と同じクラス型（ cv修飾 を無視）の prvalue である場合：

T x = T(T(f())); // x is initialized by the result of f() directly; no move

これは、初期化されるオブジェクトが潜在的に重複する部分オブジェクトではないことがわかっている場合にのみ適用できます：

struct C { /* ... */ };
C f();
struct D;
D g();
struct D : C
{
    D() : C(f()) {}    // no elision when initializing a base class subobject
    D(int) : D(g()) {} // no elision because the D object being initialized might
                       // be a base-class subobject of some other class
};

注記：このルールは最適化を指定しておらず、標準はこれを正式に「コピー省略」とは記述していません（省略されるものがないため）。代わりに、C++17のコア言語仕様における prvalues と 一時オブジェクト の定義は、以前のC++リビジョンとは根本的に異なります：コピー/ムーブ元の一時オブジェクトが存在しなくなります。C++17のメカニズムを説明する別の方法は、「非実体化値渡し」または「遅延一時オブジェクト実体化」です：prvaluesは一時オブジェクトを実体化することなく返され、使用されます。

return 文または throw 式において、コンパイラがコピー省略を実行できないがコピー省略の条件が満たされている場合、またはソースが関数パラメータであることを除けば条件が満たされる場合、 ソースオペランドが左値で指定されている場合でもコンパイラはムーブコンストラクタの使用を試みる (C++23まで) ソースオペランドは右値として扱われる (C++23以降) 。詳細は return statement を参照。

定数式 および 定数初期化 では、コピー省略は決して行われない。

struct A
{
    void* p;
    constexpr A() : p(this) {}
    A(const A&); // Disable trivial copyability
};
constexpr A a;  // OK: a.p points to a
constexpr A f()
{
    A x;
    return x;
}
constexpr A b = f(); // error: b.p would be dangling and point to the x inside f
constexpr A c = A(); // (until C++17) error: c.p would be dangling and point to a temporary
                     // (since C++17) OK: c.p points to c; no temporary is involved