導入
C++のオブジェクト指向プログラミングにおいて、基底クラスのポインタを通じて派生クラスのインスタンスを操作することは一般的です。しかし、この設計には大きな落とし穴があります。基底クラスのデストラクタを仮想（virtual）に設定し忘れると、派生クラス固有のリソースが解放されず、メモリリークや未定義動作を招きます。本記事では、なぜデストラクタの仮想化が重要なのか、その仕組みと正しい実装方法を解説します。
基礎知識
C++のポリモーフィズム（多態性）を実現するために、コンパイラは「vtable（仮想関数テーブル）」という仕組みを利用します。クラス内に少なくとも一つの仮想関数が存在する場合、オブジェクトには「vptr（仮想関数テーブルポインタ）」が埋め込まれます。
delete演算子が呼ばれる際、デストラクタが仮想でないと、コンパイラは静的型（基底クラス）のデストラクタのみを呼び出そうとします。その結果、派生クラス側で確保したメモリやリソースが破棄されず、深刻なバグの原因となります。
実装/解決策
ポリモーフィックな基底クラスを定義する際は、デストラクタを必ず「virtual」にしてください。これにより、delete時にvptr経由で正しいデストラクタが特定され、派生クラスから基底クラスへと順番にデストラクタが連鎖的に呼び出されます。モダンC++では、継承関係をこれ以上広げない場合には「final」修飾子を併用し、不要な仮想関数呼び出しのコストを抑える設計が推奨されます。
サンプルプログラム
以下のコードは、仮想デストラクタの有無がオブジェクト破棄に与える影響を示したものです。
include
include
// 基底クラス
class Base {
public:
// 仮想デストラクタ：これがないと派生クラスのデストラクタが呼ばれない
virtual ~Base() {
std::cout << "Baseのデストラクタ" << std::endl;
}
};
// 派生クラス
class Derived final : public Base {
private:
std::vector
public:
Derived() { data = new std::vector
~Derived() override {
// ここでリソースを解放する
delete data;
std::cout << "Derivedのデストラクタ（リソース解放完了）" << std::endl;
}
};
int main() {
// 基底クラスのポインタで派生クラスを保持
Base ptr = new Derived();
// deleteすると、仮想デストラクタによりDerived -> Baseの順で呼ばれる
delete ptr;
return 0;
}
応用・注意点
1. protectedデストラクタの活用
もし「基底クラスとしてのみ利用し、直接インスタンス化させたくない」かつ「deleteを禁止したい（スタック配置のみを強制したい）」場合は、デストラクタを `protected` かつ `non-virtual` に設定する手法もあります。
2. vtableのオーバーヘッド
仮想デストラクタを設定すると、クラスごとにvtableが生成され、各インスタンスにポインタサイズ分のメモリ増分が発生します。極小のクラスを大量に作成するような組み込み環境では注意が必要ですが、現代の一般的なアプリケーション開発においては、メモリリークの危険性と比較すれば仮想デストラクタの利用が正解です。
3. 継承の制限
継承を意図しないクラスには `final` 修飾子を付与しましょう。これにより、コンパイラがvtableを介さない直接呼び出しへ最適化できるようになり、パフォーマンス向上に寄与します。
コメント