C++の仮想基底クラス（virtual base class）とは？多重継承の重複問題を解決する方法

C++における仮想基底クラス（virtual base class）は、派生クラスが同じ基底クラスのコピーを複数持ってしまう場合に使用される仕組みです。多重継承を行う際、同一の基底クラスが異なる経路から複数回継承されると、メンバへのアクセスが曖昧になりコンパイルエラーが発生します。この問題を解決するために、virtualキーワードを使った仮想継承が用いられます。

問題となるコード例

まず、仮想継承を使わない場合にどのような問題が起きるかを見てみましょう。

#include <iostream>
using namespace std;

class B {
public:
    int b;
};

class D1 : public B {
public:
    int d1;
};

class D2 : public B {
public:
    int d2;
};

class D3 : public D1, public D2 {
public:
    int d3;
};

int main() {
    D3 obj;

    obj.b = 40; // ステートメント1：ここでエラーが発生する
    obj.d1 = 60;
    obj.d2 = 70;
    obj.d3 = 80;

    cout << "\n B : " << obj.b;
    cout << "\n D1 : " << obj.d1;
    cout << "\n D2 : " << obj.d2;
    cout << "\n D3 : " << obj.d3;
    return 0;
}

この例では、D1とD2の両方がクラスBを継承しており、それぞれがBのコピーを1つずつ持っています。さらに、D3はD1とD2の両方を継承しているため、結果としてD3の中にはBのコピーが2つ存在することになります。1つはD1経由のもので、もう1つはD2経由のものです。

そのため、obj.b = 40; のようなBのメンバへ直接アクセスするコードはエラーになります。コンパイラは、D3内に存在する2つの b のうち、どちらのコピーを指しているのか判断できないためです。この状態は「曖昧性（ambiguity）」と呼ばれ、いわゆるダイヤモンド継承問題の一種です。

仮想基底クラスによる解決策

D3からBの重複したコピーを取り除くには、D1およびD2がBを継承する際に、virtualキーワードを付けて仮想基底クラスとして継承する必要があります。こうすることで、最終的な派生クラスD3においてBのインスタンスはただ1つだけ共有されます。

#include <iostream>
using namespace std;

class B {
public:
    int b;
};

class D1 : virtual public B {
public:
    int d1;
};

class D2 : virtual public B {
public:
    int d2;
};

class D3 : public D1, public D2 {
public:
    int d3;
};

int main() {
    D3 obj;

    obj.b = 40; // ステートメント3
    obj.b = 30; // ステートメント4

    obj.d1 = 60;
    obj.d2 = 70;
    obj.d3 = 80;

    cout << "\n B : " << obj.b;
    cout << "\n D1 : " << obj.d1;
    cout << "\n D2 : " << obj.d2;
    cout << "\n D3 : " << obj.d3;
    return 0;
}

出力結果

B : 30
D1 : 60
D2 : 70
D3 : 80

virtualを使って継承することで、D3内にはBのコピーが1つだけ存在するようになり、曖昧性のエラーは解消されます。そのため、ステートメント4の代入がステートメント3の値を上書きし、最終的に b の値は30として出力されます。

まとめ

• 通常の継承でダイヤモンド構造を作ると、基底クラスのコピーが複数できてしまい、メンバアクセスが曖昧になる。
• class 派生クラス : virtual public 基底クラス のように仮想継承を指定すると、基底クラスの実体は最終派生クラス内で1つだけ共有される。
• 仮想基底クラスは、多重継承におけるデータの重複と曖昧性を避けるための重要な機能である。