Вызывает ли удаление указателя на подкласс деструктор базового класса?

Деструктор A будет запущен, когда его время жизни закончится. Если вы хотите освободить его память и запустить деструктор, вы должны удалить его, если он был выделен в куче. Если он был размещен в стеке, это происходит автоматически (т.е. когда он выходит за пределы области видимости; см. RAII). Если это член класса (не указатель, а полный член), то это произойдет, когда содержащий объект будет уничтожен.

class A
{
    char *someHeapMemory;
public:
    A() : someHeapMemory(new char[1000]) {}
    ~A() { delete[] someHeapMemory; }
};

class B
{
    A* APtr;
public:
    B() : APtr(new A()) {}
    ~B() { delete APtr; }
};

class C
{
    A Amember;
public:
    C() : Amember() {}
    ~C() {} // A is freed / destructed automatically.
};

int main()
{
    B* BPtr = new B();
    delete BPtr; // Calls ~B() which calls ~A() 
    C *CPtr = new C();
    delete CPtr;
    B b;
    C c;
} // b and c are freed/destructed automatically

В приведенном выше примере требуется каждое удаление и удаление []. И никакое удаление не требуется (или действительно может быть использовано) там, где я его не использовал.

auto_ptr, unique_ptr, shared_ptr и т. Д. Отлично подходят для упрощения управления жизненным циклом:

class A
{
    shared_array<char> someHeapMemory;
public:
    A() : someHeapMemory(new char[1000]) {}
    ~A() { } // someHeapMemory is delete[]d automatically
};

class B
{
    shared_ptr<A> APtr;
public:
    B() : APtr(new A()) {}
    ~B() {  } // APtr is deleted automatically
};

int main()
{
    shared_ptr<B> BPtr = new B();
} // BPtr is deleted automatically

Когда вы вызываете delete для указателя, выделенного new, будет вызван деструктор объекта, на который он указывает.

A * p = new A;

delete p;    // A:~A() called for you on obkect pointed to by p

Он называется «деструктор», а не «деконструктор».

Внутри деструктора каждого класса вы должны удалить все другие переменные-члены, которые были выделены с помощью new.

изменить: чтобы уточнить:

Скажите, что у вас есть

struct A {}

class B {
    A *a;
public:
    B () : a (new A) {}
    ~B() { delete a; }
};

class C {
    A *a;
public:
    C () : a (new A) {}        
};

int main () {
    delete new B;
    delete new C;
}

Выделение экземпляра B с последующим удалением является чистым, потому что то, что B выделяет внутри, также будет удалено в деструкторе.

Но у экземпляров класса C будет утечка памяти, потому что он выделяет экземпляр A, который он не освобождает (в этом случае C даже не имеет деструктора).

Если у вас есть обычный указатель (A*), то деструктор не будет вызываться (и память для экземпляра A также не будет освобождена), если вы не сделаете delete явно в деструкторе B. Если вы хотите автоматическое уничтожение, посмотрите на умные указатели, такие как auto_ptr.

Вы должны удалить A самостоятельно в деструкторе B.

class B
{
public:
    B()
    {
       p = new int[1024];  
    }
    virtual ~B()
    {
        cout<<"B destructor"<<endl;
        //p will not be deleted EVER unless you do it manually.
    }
    int *p;
};


class D : public B
{
public:
    virtual ~D()
    {
        cout<<"D destructor"<<endl;
    }
};

Когда вы это сделаете:

B *pD = new D();
delete pD;

Деструктор будет вызываться только в том случае, если в вашем базовом классе есть ключевое слово virtual.

Тогда, если у вас нет виртуального деструктора, будет вызываться только ~ B (). Но поскольку у вас есть виртуальный деструктор, сначала будет вызываться ~ D (), а затем ~ B ().

Ни один из элементов B или D, выделенных в куче, не будет освобожден, если вы явно не удалите их. И удаление их также вызовет их деструктор.

У тебя есть что-то вроде

class B
{
   A * a;
}
B * b = new B;
b->a = new A;

Если затем вы вызываете delete b;, с a ничего не происходит и возникает утечка памяти. Попытка запомнить delete b->a; - не лучшее решение, но есть несколько других.

B::~B() {delete a;}

Это деструктор для B, который удалит файл. (Если a равно 0, то удаление ничего не делает. Если a не равно 0, но не указывает на память из new, вы получите повреждение кучи.)

auto_ptr<A> a;
...
b->a.reset(new A);

Таким образом, у вас не будет a в качестве указателя, а скорее будет auto_ptr ‹> (также подойдет shared_ptr‹> или другие интеллектуальные указатели), и он автоматически удаляется, когда есть b.

Любой из этих способов работает хорошо, и я использовал оба.

Мне было интересно, почему не был вызван деструктор моего класса. Причина в том, что я забыл включить определение этого класса (#include "class.h"). У меня было только объявление типа "class A;" и компилятор был доволен этим и позволил мне вызвать «удалить».

Нет, указатель будет удален. Вы должны вызвать удаление A явным образом в деструкторе B.

Деструктор для объекта класса A будет вызываться только в том случае, если для этого объекта вызывается удаление. Обязательно удалите этот указатель в деструкторе класса B.

Для получения дополнительной информации о том, что происходит при вызове удаления для объекта, см. http://www.parashift.com/c++-faq-lite/freestore-mgmt.html#faq-16.9

нет, он не будет вызывать деструктор для класса A, вы должны вызвать его явно (как сказал PoweRoy), удалите строку 'delete ptr;' в примере для сравнения ...

  #include <iostream>

  class A
  {
     public:
        A(){};
        ~A();
  };

  A::~A()
  {
     std::cout << "Destructor of A" << std::endl;
  }

  class B
  {
     public:
        B(){ptr = new A();};
        ~B();
     private:
        A* ptr;
  };

  B::~B()
  {
     delete ptr;
     std::cout << "Destructor of B" << std::endl;
  }

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