問題の背景

C++ でクラスを設計する際、データメンバーに値を設定するために専用の初期化関数を用意する方法が一般的ですが、以下のような実装を考えてみましょう。

class Product {
public:
    void setup(int id, int stock, float price) {        
        _id = id;
        _stock = stock;
        _price = price;
    }
    void showDetails() {
        std::cout << _id << ", " << _stock << ", " << _price << std::endl;
    }
private:
    int _id;
    int _stock;
    float _price;
};

int main() {
    Product itemA;
    itemA.setup(101, 50, 9.99f);
    itemA.showDetails();
    
    Product itemB;
    itemB.setup(102, 120, 15.50f);
    itemB.showDetails();
    return 0;
}

上記のように、オブジェクト作成後に明示的に setup メソッドを呼び出すと、毎回設定忘れのリスクや手続きの煩雑さが発生します。より安全で簡潔な手法として、オブジェクトの生成瞬間にデータを格納できる機能が必要です。

コンストラクタの定義と特性

そのための解決策がコンストラクタ（構築関数）です。これはクラスの特別なメンバ関数であり、以下の重要な特徴を持ちます。

• 関数名はクラス名と同一であること。
• 戻り値の型を宣言しない（void も含めず）。
• インスタンス生成時にコンパイラによって自動的に呼ばれる。
• オーバーロードが可能。
• オブジェクトの生存期間中に一度だけ実行される。

名前には「構築」という言葉が含まれますが、実際の主要な役割はメモリの確保ではなく、オブジェクトの状態を初期化することにあります。

class Product {
public:
    // デフォルト引数なしのバージョン
    Product() {
        _id = -1;
        _stock = 0;
        _price = 0.0f;
    }

    // パラメータを受け取るバージョン
    Product(int id, int stock, float price) {
        _id = id;
        _stock = stock;
        _price = price;
    }

    void showDetails() {
        std::cout << _id << ", " << _stock << ", " << _price << std::endl;
    }

private:
    int _id;
    int _stock;
    float _price;
};

int main() {
    Product p1;                  // 引数なしコンストラクタ自動呼び出し
    p1.showDetails();
    
    Product p2(200, 30, 25.0f);  // 引数付きコンストラクタ自動呼び出し
    p2.showDetails();
}

コンパイラのデフォルト動作とエラー原因

ユーザがクラス内で明示的にコンストラクタを定義しなかった場合、C++ コンパイラは自動的に無引数のデフォルトコンストラクタを生成します。しかし、一度でもユーザ定義のコンストラクタを実装した時点で、この自動生成機能は無効化されます。

class Product {
public:
    // ユーザ定義のコンストラクタ
    Product(int id, int stock, float price) {
        _id = id;
        _stock = stock;
        _price = price;
    }
    // ... メンバ関数 ...
private:
    int _id;
    int _stock;
    float _price;
};

int main() {
    Product p1; // エラー: 適切なデフォルトコンストラクタが存在しない
}

上記のコードでは、Product p1; のような呼び出しが失敗します。なぜなら、ユーザがパラメータ付きのコンストラクタを定義してしまったため、コンパイラは無引数のものを補完してくれないからです。このため、両方のパターンをサポートしたい場合は、自分で無引数のバージョンも記述する必要があります。

デフォルトコンストラクタの曖昧性

技術的には、「引数なし」の関数と、「すべての引数がデフォルト値を持つ」関数は、両方とも呼び出し時に引数を与えられない状況で同様に機能します。これらはどちらもデフォルトコンストラクタに分類されます。しかし、これらを同時にクラス内で定義することは禁止されています。

class Product {
public:
    // 1. 完全な引数なし
    Product() { /* ... */ }

    // 2. 全引数にデフォルト値あり
    Product(int id = 0, int stock = 0, float price = 0.0f) { /* ... */ }
    // ... 他のメンバ ...
};

上のような定義を行うと、コンパイラはどちらの関数を呼び出せばよいのかを判別できず、曖昧性エラー（ambiguous）を発生させます。したがって、デフォルトで初期化できるパターンを提供するのは、どちらか一方の方法に統一するのが定石です。

設計指針

基本的には、メンバ変数の種類と必要な初期化状態に合わせて判断すべきです。単純な構造体であればコンパイラ任せにして構いませんが、複雑なビジネスロジックやリソース管理を含むクラスにおいては、適切にコンストラクタを実装することで不整合を防ぐことが重要です。特に現代の C++ では、RAII（Resource Acquisition Is Initialization）の原則に基づき、コンストラクタを介してリソース取得を行うことが強く推奨されています。