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

C++のコピーアンドスワップイディオムとは？

C++における代入処理は、大きく分けて2つのステップで構成されます。1つ目はオブジェクトの古い状態を破棄する処理、2つ目は新しい状態を構築する処理です。通常、前者はデストラクタ、後者はコピーコンストラクタが担当します。この2つを個別に実装するのは簡単ですが、代入演算子をオーバーロードする場合、例外安全性などを考慮すると実装が難しくなることがあります。そんな課題をエレガントに解決するのが「コピーアンドスワップイディオム（copy and swap idiom）」です。

コピーアンドスワップイディオムの仕組み

このイディオムでは、以下の手順で代入処理を行います。

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

この結果、オブジェクトには新しいデータのコピーだけが残ります。一時オブジェクトの破棄が自動的に行われるため、例外が発生してもリソースリークが起きにくく、強い例外安全性保証（strong exception guarantee）を実現できる点が大きな特徴です。

必要な3つの要素

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

• コピーコンストラクタ：オブジェクトのコピーを作成する
• デストラクタ：不要になったリソースを解放する
• swap関数：クラスの2つのオブジェクトのメンバを交換する、例外を投げない（noexcept）関数

実装例

class MyClass {
    int* data;
    size_t size;
public:
    // コピーコンストラクタ
    MyClass(const MyClass& other)
        : data(new int[other.size]), size(other.size) {
        std::copy(other.data, other.data + size, data);
    }

    // デストラクタ
    ~MyClass() { delete[] data; }

    // 例外を投げないswap関数
    friend void swap(MyClass& a, MyClass& b) noexcept {
        using std::swap;
        swap(a.data, b.data);
        swap(a.size, b.size);
    }

    // 代入演算子（コピーアンドスワップイディオム）
    MyClass& operator=(MyClass other) noexcept {
        swap(*this, other);
        return *this;
    }
};

ポイントは、代入演算子の引数を値渡しにしている点です。引数オブジェクトの作成時にコピーコンストラクタが自動的に呼ばれ、関数内でswapを行った後、関数を抜ける際に引数のデストラクタが古いデータを破棄してくれます。また、この書き方は自己代入（self-assignment）にも自然に対応できます。

std::swapをオブジェクト全体に使ってはいけない理由

注意点として、代入演算子の実装内でオブジェクト全体に対してstd::swapを直接呼び出してはいけません。std::swapは内部的にコピーコンストラクタと代入演算子を使用してオブジェクトを交換するため、代入演算子の中で使うと無限再帰に陥る可能性があります。正しくは、上記の実装例のようにメンバごとにstd::swapを適用するか、独自のswap関数を実装します。

まとめ

コピーアンドスワップイディオムは、コピーコンストラクタ、デストラクタ、swap関数という既存の3つの機能を組み合わせるだけで、例外安全な代入演算子を簡潔に実装できる強力な手法です。リソースを管理するクラスを設計する際の定番パターンとして、ぜひ活用してみてください。