C++デストラクタが意図したとおりに動作しない

Question

私はC++でオペレーティングシステムを作成しています。私は私の処分で標準ライブラリを持っていないので（これは標準ライブラリで正常に動作するかどうかはわかりません）。オブジェクトdeleteがオブジェクトであれば、変数型のデストラクタ（およびその親オブジェクト）のみを呼び出すように見えます。例えば

：

Aa* aa = new Bb(); 
delete aa; 

は "AAを破壊" 印刷します。一方、「Bbを破壊する」と「破壊するAa」の両方が印刷されます。

私は、この問題を回避するために、スーパークラスのデストラクタでサブクラスデストラクタを呼び出すことで解決しました（下記参照）。

私はここで紛失しているものがありますか？具体的なタイプにキャストする必要がありますか？delete？

class Aa { 
public: 
    ~Aa(); 
}; 
class Bb : public Aa { 
public: 
    ~Bb() { 
     log("destructing Bb"); 
    } 
}; 

Aa::~Aa() { 
    log("destructing Aa"); 

    // TODO checks if we are of type Bb 
    // ((Bb*) this)->~Bb(); // uncomment to test calling sub class destructor 
} 

Answer 1

あなたはAaのデストラクタを仮想にする必要があります。

class Aa { 
public: 
    virtual ~Aa(); 
}; 

これは、C++の基本的な考え方です。あなたはhere（と他の多くの場所で）それを読むことができます。

Answer 2

あなたの "Aa"デストラクタは仮想ではないので、あなたが観察しているのは期待される動作です。

を期待するには、デストラクタをvirtual ~Aa() = default;と宣言します。