仮想関数と抽象クラスに関するC++インタビューの質問

C++のオブジェクト指向プログラミングにおいて、仮想関数と抽象クラスは技術面接で頻繁に出題される重要トピックです。この記事では、よくある質問とその回答をわかりやすくまとめました。

仮想関数とは何ですか？

仮想関数（virtual function）とは、基底クラスで宣言され、派生クラスでの再定義（オーバーライド）を前提としたメンバ関数です。基底クラス側では具体的な処理を実装せず、実際の動作は子クラス側で定義します。これによりポリモーフィズム（多態性）が実現され、基底クラスのポインタや参照を通じて呼び出した場合でも、オブジェクトの実際の型に応じた適切な関数が実行されます。

抽象クラスとは何ですか？

抽象クラス（abstract class）とは、定義の中に少なくとも1つの純粋仮想関数（pure virtual function）を含むクラスのことです。抽象クラスはインスタンス化（オブジェクトの生成）が一切できず、必ず継承されて利用されます。派生クラス側で純粋仮想関数をオーバーライドし、具体的な実装を提供する必要があります。

仮想デストラクタは存在できますか？

はい、C++では仮想デストラクタは正当な機能として認められています。仮想デストラクタは基底クラス側で宣言します。基底クラスのポインタ経由で派生クラスのオブジェクトを削除する際に、正しいデストラクタが呼び出され、メモリリークを防ぐために重要です。

すべての仮想関数はオーバーライドする必要がありますか？

いいえ、仮想関数を必ずしも再定義する必要はありません。派生クラスでオーバーライドしなかった場合、基底クラスの実装がそのまま使われます。ただし純粋仮想関数は例外で、派生クラスで実装しない限り、その派生クラス自体も抽象クラスのままになります。

コンストラクタを仮想関数にすることはできますか？

いいえ、コンストラクタを仮想にすることはできません。コンストラクタはクラス内で明確に定義される必要があり、またオブジェクト生成の時点では仮想関数テーブル（vtable）がまだ構築されていないため、仮想機構が機能しないからです。