C++のデフォルト引数と仮想関数の仕組みを解説

C++では、仮想関数とデフォルト引数を組み合わせた場合、一見すると直感に反する挙動が発生することがあります。本記事では、具体的なサンプルプログラムをもとに、その仕組みと理由をわかりやすく解説します。

サンプルコード

#include<iostream>
using namespace std;
class B {
   public:
      virtual void s(int a = 0) {
         cout<<" In Base \n";
      }
};
class D: public B {
   public:
      virtual void s(int a) {
         cout<<"In Derived, a="<<a;
      }
};
int main(void) {
   D d; // クラスDのオブジェクト
   B *b= &d;// d を指す B* 型のポインタ
   b->s();// 派生クラスの s() が呼ばれる
   return 0;
}

実行結果

In Derived, a = 0

この実行結果から、派生クラスの s() が呼び出されているにもかかわらず、基底クラスの s() に設定されたデフォルト値(a = 0) が使用されていることがわかります。一見矛盾しているように見えますが、これには明確な理由があります。

なぜこのような挙動になるのか

1. デフォルト引数は関数のシグネチャに含まれない

デフォルト引数は、関数のシグネチャ(識別情報)の一部として扱われません。そのため、基底クラスの s(int) と派生クラスの s(int) は同じシグネチャを持つとみなされ、基底クラスの s() は派生クラスによってオーバーライドされます。

2. デフォルト値はコンパイル時に適用される

デフォルト引数の置き換えはコンパイル時(静的バインディング)に行われます。コンパイラは、関数呼び出しで引数が省略されていることを検出すると、その場でデフォルト値を埋め込みます。ここで重要なのは、参照されるのが「ポインタの静的な型」側の宣言だという点です。

一方、「実際にどの関数を呼び出すか」は、仮想関数の仕組みにより実行時(動的バインディング)で決定されます。

したがって、上記のプログラムは次のような流れで動作します。

• コンパイル時: ポインタ b の静的な型は B* であるため、基底クラスBの宣言にあるデフォルト値 a = 0 が呼び出しに埋め込まれます。
• 実行時: 実際のオブジェクトは D 型であるため、仮想関数のディスパッチによって派生クラスの s() が呼び出されます。

この「コンパイル時」と「実行時」の処理のズレこそが、派生クラスの関数に基底クラスのデフォルト値が渡されてしまう原因です。

まとめと注意点

• 呼び出される関数の決定 → 実行時(オブジェクトの動的な型に基づく)
• デフォルト引数の適用 → コンパイル時(ポインタの静的な型に基づく)

こうした不一致によるバグを避けるためには、仮想関数にデフォルト引数を指定しないことが一般的なベストプラクティスとされています。有名な技術書『Effective C++』でも「仮想関数のデフォルト引数を再定義してはならない」ことが推奨されています。どうしても既定値が必要な場合は、NVI(Non-Virtual Interface)イディオムのように、非仮想関数から仮想関数を呼び出す設計を検討するとよいでしょう。