ベースクラスへの派生クラス型の互換性はメモリリークの原因になりますか？

Question

私は派生クラスがその基本クラスへのポインタと型互換性があることを理解します。与えられたサンプルコードではnew barのオブジェクト構築が行われ、foo::foo()とそれに続くbar::bar()が呼び出されます。それぞれのコンストラクタでは、クラスメンバfoo::int *aとbar::int *bにリソースを割り当てています。

これで、構築されたオブジェクトを基本クラス型に初期化しています。 objでは、私は基本クラスのデストラクタを呼び出すことはできますが、派生クラスのデストラクタは呼び出すことはできません。では、この場合、派生クラスのリソースをどのように割り当て解除できますか？これはメモリーリークではありませんか？

#include <iostream> 
class foo 
{ 
    int *a; 
public: 
    foo() 
    { 
     a = new int[5]; 
     std::cout << "\n foo constructor" << std::endl; 
    } 
    ~foo() 
    { 
     std::cout << "\n foo destructor" << std::endl; 
     delete[] a; 
    } 
}; 

class bar : public foo 
{ 
    int *b; 
public: 
    bar() 
    { 
     b = new int[5]; 
     std::cout << "\n bar constructor" << std::endl; 
    } 
    ~bar() 
    { 
     std::cout << "\n bar destructor" << std::endl; 
     delete[] b; 
    } 
}; 

int main() 
{ 
    foo *obj = new bar; // Derived class object is type compatible with base class 

    delete obj; // Equivalent to obj->~foo(); 
    return 0; 
} 

ありがとうございます。

Answer 1

これは "仮想デストラクタ"のアイデアです。技術的に言えば、基本クラス型のポインタでオブジェクトを削除する場合は、その基本クラスのデストラクタを仮想にするか、結果が未定義である必要があります。デストラクタ仮想をマークすると、その意味は他の仮想関数とは異なります。 「派生クラスがこの振る舞いをオーバーライドする」という意味ではなく、「ベースクラスポインタを使用してこのオブジェクトを削除するときは、ベースコンストラクタを呼び出す前に派生したデストラクタを呼び出します。これはあなたが望むふるまいです。

一般に、サブクラス化を計画するクラスは、この種の問題を防ぐための仮想デストラクタが必要です。

Answer 2

あなたdeleteその基底クラスの1つにポインタを経由して、派生クラスのオブジェクト場合は、基底クラスのデストラクタがvirtual宣言されなければならない、そうでない場合の動作は未定義です。

~foo()がvirtualと宣言されていれば、あなたはいいですね。 ~bar()が最初に呼び出され、次に~foo()が呼び出されます。

Answer 3

はこれを行い、

virtual ~foo() 
{ 
    //your code 
} 

これはdelete *pFooを行うことは、派生クラスのデストラクタ（~bar()）を呼び出すことを保証します。呼び出される順番は~bar()で、その後には~foo()となります。

---

また、あなたはまた、~bar()ために同じことを行う場合は、さらにから派生したくない場合は、それはそれくらい必要に応じてこのシナリオのためではないですが、それは、

virtual ~bar() 
{ 
    //your code 
} 

で良いだろうbarとそれを派生したクラスのためにbar*を使いたいと思っています。

Answer 4

実際には未定義の動作です。

From Standard docs。 5.3.5。3オペランドの静的タイプは、そのダイナミック型、異なる場合、静的な型 オペランドの動的タイプのベース・クラスでなければならない第一の代替において、

（オブジェクトの削除）、を削除し静的型は仮想デストラクタを持たなければならず、振る舞いは と定義されていません。 ......