コピーエリージョン（コピー省略）と戻り値の最適化（RVO）とは？C++の最適化をわかりやすく解説

コピーエリージョン（Copy Elision）とは

コピーエリージョン（コピーの省略）とは、ほとんどのC++コンパイラが実装している最適化技術の一つで、特定の状況下で発生する余分な（場合によっては高コストになる）オブジェクトのコピーを防ぐためのものです。

例えば、関数が一時オブジェクトを返す場合、通常は「一時オブジェクトの生成 → 呼び出し元へのコピー」という2段階の処理が必要になります。しかし、コンパイラはこのコピーを省略し、オブジェクトを直接呼び出し元の変数領域に構築できます。この最適化は特に「戻り値の最適化（RVO：Return Value Optimization）」と呼ばれ、大きなオブジェクトを扱う際のパフォーマンス向上に大きく寄与します。

サンプルコード

struct MyStruct {
    MyStruct() {}
    MyStruct(const MyStruct&) {
        std::cout << "Copied.\n";
    }
};

MyStruct f() {
    return MyStruct();
}

int main() {
    std::cout << "Main\n";
    MyStruct obj = f();
}

実行結果

使用するコンパイラや最適化の設定によって、次のいずれかの出力が得られる可能性があります。

Main

Main
Copied
Copied

Main
Copied

このように、まったく同じソースコードでも、コピーエリージョンの適用有無によって生成されるオブジェクトの数が変わることがあります。

コピーエリージョンを使う際の注意点

コピーエリージョンが適用されると、プログラマが想定していたよりも少ない数のオブジェクトしか生成されないことがあります。そのため、「コンストラクタやデストラクタが必ず指定した回数だけ呼ばれる」という前提に立ったコードを書くことはできません。

• コピー・ムーブコンストラクタに重要なロジックを含めない：最適化によって呼び出しが省略される可能性があるためです。
• デストラクタに重要な処理を含めない：呼び出し回数が保証されないため、ログ出力やカウンタ更新などの副作用を持たせるのは危険です。
• リソース管理は慎重に設計する：オブジェクトの生存期間に依存した処理は、意図しない挙動を招くことがあります。

C++17以降の変化

C++17では、prvalue（純右値）からの一時オブジェクトのコピー省略が言語仕様として保証されるようになりました。上記の例のように一時オブジェクトを直接返すケースでは、C++17に準拠したコンパイラであれば、どの環境でもコピーは必ず省略されます。ただし、名前付きのローカル変数を返すNRVO（名前付き戻り値の最適化）については、依然としてコンパイラ依存である点に注意してください。

まとめ

コピーエリージョン（戻り値の最適化）は、無駄なコピーを排除してプログラムのパフォーマンスを向上させる重要な最適化です。一方で、コンストラクタやデストラクタの呼び出し回数が変動するため、これらの特殊メンバ関数の中に重要なビジネスロジックを含めるべきではありません。C++17以降は多くの場面でコピー省略が保証されており、より安心して効率的なC++コードを書けるようになっています。