C++のコピーアンドスワップイディオムとは？仕組みと実装のポイントを解説

代入演算の仕組みと課題

C++における代入操作は、大きく分けて2つのステップで構成されています。1つ目はオブジェクトが持つ古い状態を破棄すること、2つ目は新しい状態を構築することです。前者にはデストラクタが、後者にはコピーコンストラクタがそれぞれ対応します。

これら単体の実装は比較的シンプルですが、代入演算子をオーバーロードする場面では話が変わります。自己代入への対応や例外安全性の確保などを考慮すると、実装は一気に難しくなります。そこで有効な解決策となるのが「コピーアンドスワップイディオム」です。

コピーアンドスワップイディオムの動作

このイディオムでは、以下の手順で処理を進めます。

1. コピーコンストラクタを使って、データのローカルコピー（一時オブジェクト）を作成する
2. swap関数を使って、古いデータと新しいデータを入れ替える
3. 一時オブジェクトがスコープを抜ける際に、デストラクタによって自動的に破棄される

これらの手順を経ることで、最終的にオブジェクトには新しいデータだけが残ります。また、コピーの段階で例外が発生しても元のオブジェクトは影響を受けないため、強い例外保証を実現できる点も大きなメリットです。

イディオムに必要な3つの要素

コピーアンドスワップイディオムを実装するには、次の3つの要素が必要です。

• コピーコンストラクタ
• デストラクタ
• swap関数

swap関数とは、同じクラスの2つのオブジェクト（メンバ）を、例外を投げることなく（noexcept）入れ替えるための関数です。

注意点：std::swapは使わない

std::swap関数は使用しないようにしてください。std::swapは内部的にコピーコンストラクタと代入演算子を呼び出して入れ替えを実現しているため、代入演算子の実装内で使うと無限再帰に陥る恐れがあります。必ず自前で用意した、例外を投げないswap関数を使用しましょう。