C++におけるアーリーバインディングとレイトバインディングの違いを徹底解説

本記事では、C++における「アーリーバインディング（早期結合・静的結合）」と「レイトバインディング（遅延結合・動的結合）」の違いについて、サンプルコードを交えながら分かりやすく解説します。

バインディング（結合）とは、識別子（変数名や関数名）を実際のメモリアドレスへ変換するプロセスのことです。すべての変数と関数に対してこの結合が行われます。特に関数の場合は、コンパイラが関数呼び出しを適切な関数定義と一致させる処理を指します。この結合は、コンパイル時に行われるか、実行時に行われるかのいずれかであり、それぞれがアーリーバインディングとレイトバインディングに対応します。

アーリーバインディング（早期結合）とは

アーリーバインディングはコンパイル時ポリモーフィズム（静的多態性）とも呼ばれます。関数呼び出しに対して、コンパイル時に直接アドレスが関連付けられるため、実行時のオーバーヘッドがなく高速に動作します。関数オーバーロードやテンプレートがその代表例です。

ただし注意点があります。基底クラスのポインタで派生クラスのオブジェクトを指す場合、メンバ関数が virtual 宣言されていなければ、ポインタの型（基底クラス型）を基準に関数が決定されます。次の例で確認してみましょう。

コード例

#include<iostream>
using namespace std;

class Base {
public:
    void display() {
        cout << "In Base class" << endl;
    }
};

class Derived : public Base {
public:
    void display() {
        cout << "In Derived class" << endl;
    }
};

int main(void) {
    Base *base_pointer = new Derived;
    base_pointer->display();
    return 0;
}

実行結果

In Base class

ポインタは Derived クラスのオブジェクトを指していますが、display() が仮想関数ではないため、コンパイル時にポインタの型である Base クラスの display() へと結合されます。そのため「In Base class」と表示されるのです。

レイトバインディング（遅延結合）とは

レイトバインディングは実行時ポリモーフィズム（動的多態性）です。この方式では、コンパイラが実行時にオブジェクトの実際の型を判別するコードを挿入し、その情報をもとに関数呼び出しを正しい関数定義と一致させます。これは仮想関数（virtual キーワード）を使うことで実現され、内部的には vtable（仮想関数テーブル）と vptr（仮想テーブルポインタ）という仕組みによって支えられています。

コード例

#include<iostream>
using namespace std;

class Base {
public:
    virtual void display() {
        cout << "In Base class" << endl;
    }
};

class Derived : public Base {
public:
    void display() {
        cout << "In Derived class" << endl;
    }
};

int main() {
    Base *base_pointer = new Derived;
    base_pointer->display();
    return 0;
}

実行結果

In Derived class

display() に virtual を付けたことで、実行時にオブジェクトの実際の型（Derived クラス）が判定され、Derived クラスの display() が呼び出されました。これがレイトバインディングによる多態性の動作です。

両者の違いのまとめ

パフォーマンスが重視される場面ではアーリーバインディングが有利ですが、基底クラスのインターフェースを通じて異なる派生クラスの振る舞いを実行時に切り替えたい場合は、仮想関数によるレイトバインディングが不可欠です。用途に応じて両者を使い分けることが、質の高いC++プログラミングへの第一歩となります。