C++で純粋仮想デストラクタが必要な理由とは？

純粋仮想デストラクタの必要性

C++プログラムにおいて、純粋仮想デストラクタを使用しても悪影響は一切ありません。むしろ、抽象クラスを作りたい場合に有効な手法の一つです。

ただし、純粋仮想デストラクタには関数本体（定義）を必ず提供する必要があります。その理由は、オブジェクト破棄の際に派生クラスのデストラクタが基底クラスのデストラクタよりも先に呼び出されるためです。もし関数本体を提供しないと、オブジェクトの破棄処理の中で基底クラスのデストラクタを呼び出そうとしたときに実体が存在せず、リンクエラーが発生してしまいます。

つまり、定義を持つ純粋仮想デストラクタを作成すれば、インスタンス化できない抽象クラスを簡単に実現できるのです。

サンプルコード

#include <iostream>
using namespace std;

class B {
    public: virtual ~B()=0; // 純粋仮想デストラクタ
};

B::~B() {
    cout << "Pure virtual destructor is called";
}

class D : public B {
    public: ~D() {
        cout << "~Derived\n";
    }
};

int main() {
    B *b = new D();
    delete b;
    return 0;
}

出力結果

~Derived
Pure virtual destructor is called

動作のポイント

このコードでは、delete b; の実行時にまず派生クラス D のデストラクタが呼び出され、その後、純粋仮想として宣言されている基底クラス B のデストラクタ本体が正しく実行されます。このように、純粋仮想デストラクタにもクラス外で定義を与えておくことで、ポリモーフィズムを利用した安全なオブジェクト破棄が可能になります。