C++の仮想関数はどのように実装されているのか？仕組みとサンプルコードを解説

C++の仮想関数（virtual function）は、基底クラスのポインタを使って、派生クラスのオブジェクトの具体的な型を意識することなく、その派生クラスのメソッドを呼び出すために利用されます。これにより、基底クラスのポインタのリストを作成し、そこに格納されたさまざまな派生クラスのオブジェクトに対して、統一的な方法でメソッドを呼び出すことが可能になります。

仮想関数の大きな特徴は、コンパイル時ではなく実行時（ランタイム）に遅延解決（レイトバインディング）される点です。実際にどの関数が呼ばれるかは、ポインタが指しているオブジェクトの実際の型によって決まります。

仮想関数のサンプルコード

以下は、C++で仮想関数を実装したプログラムの例です。

#include <iostream>
using namespace std;

class B {
    public:
        virtual void s() { // 仮想関数
            cout << " In Base \n";
        }
};

class D : public B {
    public:
        void s() { // オーバーライド
            cout << "In Derived \n";
        }
};

int main(void) {
    D d;          // クラスDのオブジェクト
    B *b = &d;    // dを指すB*型のポインタ変数
    b->s();       // 派生クラスの関数が呼ばれる
    return 0;
}

実行結果

In Derived

この例では、ポインタbはB*型ですが、実際に指しているのはクラスDのオブジェクトです。s()が仮想関数として宣言されているため、実行時にオブジェクトの実際の型が判定され、派生クラスDのs()が呼び出されます。もしvirtualキーワードがなければ、基底クラスBのs()が呼ばれることになります。

仮想関数の内部実装：vtableとvptr

では、仮想関数は内部的にどのように実現されているのでしょうか。その鍵となるのが仮想テーブル（vtable）と仮想ポインタ（vptr）です。

仮想テーブル（vtable）

仮想関数を1つでも持つクラスには、コンパイラによって静的な仮想テーブルが生成されます。このテーブルには、そのクラスで呼び出し可能な各仮想関数へのポインタが格納されています。派生クラスで仮想関数をオーバーライドした場合、派生クラスのvtableには、オーバーライドされた関数のアドレスが設定されます。

仮想ポインタ（vptr）

仮想関数を持つクラスの各オブジェクトには、隠しメンバとしてvptrが埋め込まれます。このvptrは、自分のクラスのvtableを指しています。オブジェクトが生成される際、コンストラクタによってvptrが適切なvtableに設定されます。

動的ディスパッチの流れ

b->s()のような仮想関数の呼び出しは、次の手順で解決されます。

1. ポインタbが指すオブジェクト内のvptrを参照する。
2. vptrが指すvtableから、関数s()に対応するエントリを取り出す。
3. そのエントリに格納されたアドレスの関数を呼び出す。

この仕組みにより、ポインタの静的な型に関係なく、実行時にオブジェクトの実際の型に応じた関数が呼び出されます。これが動的ディスパッチ（動的結合）と呼ばれる仕組みで、ポリモーフィズムを実現する基盤となっています。

まとめ

仮想関数は、基底クラスのポインタや参照から、実際のオブジェクトの型に応じた派生クラスのメソッドを呼び出すための機能です。内部的にはvtableとvptrによって実装され、関数呼び出しが実行時に解決されることで、柔軟で拡張性の高いオブジェクト指向設計を可能にしています。なお、動的解決のためにわずかな実行時オーバーヘッド（vtable参照のコスト）が発生する点も、パフォーマンスを意識する際には覚えておくとよいでしょう。