При переосмисленні класу на C ++ (з віртуальним деструктором) я знову реалізую деструктор як віртуальний у класі спадкування, але чи потрібно мені викликати базовий деструктор?
Якщо так, я думаю, що це щось подібне ...
MyChildClass::~MyChildClass() // virtual in header
{
// Call to base destructor...
this->MyBaseClass::~MyBaseClass();
// Some destructing specific to MyChildClass
}Чи правий я?
Відповіді:
Ні, деструктори викликаються автоматично в зворотному порядку побудови. (Останні базові класи). Не викликайте деструкторів базового класу.
deleteна вказівник на базовий клас двічі викликає помилку сегментації?
Ні, вам не потрібно викликати базовий деструктор, базовий деструктор завжди викликає вас похідним деструктором. Будь ласка, дивіться мою відповідь тут щодо порядку знищення .
Щоб зрозуміти, чому вам потрібен віртуальний деструктор у базовому класі, перегляньте код нижче:
class B
{
public:
virtual ~B()
{
cout<<"B destructor"<<endl;
}
};
class D : public B
{
public:
virtual ~D()
{
cout<<"D destructor"<<endl;
}
};Коли ви робите:
B *pD = new D();
delete pD;Тоді, якщо у вас не було віртуального деструктора в B, викликувся б лише ~ B (). Але оскільки у вас є віртуальний деструктор, спочатку буде викликано ~ D (), потім ~ B ().
Що сказали інші, але також зауважте, що вам не потрібно оголошувати деструктор віртуальним у похідному класі. Після того, як ви оголосите деструктора віртуальним, як це робите в базовому класі, всі похідні деструктори будуть віртуальними, незалежно від того, декларуєте ви їх так чи ні. Іншими словами:
struct A {
virtual ~A() {}
};
struct B : public A {
virtual ~B() {} // this is virtual
};
struct C : public A {
~C() {} // this is virtual too
};Ні, ви ніколи не називаєте деструктор базового класу, він завжди викликається автоматично, як вказали інші, але ось доказ концепції з результатами:
class base {
public:
base() { cout << __FUNCTION__ << endl; }
~base() { cout << __FUNCTION__ << endl; }
};
class derived : public base {
public:
derived() { cout << __FUNCTION__ << endl; }
~derived() { cout << __FUNCTION__ << endl; } // adding call to base::~base() here results in double call to base destructor
};
int main()
{
cout << "case 1, declared as local variable on stack" << endl << endl;
{
derived d1;
}
cout << endl << endl;
cout << "case 2, created using new, assigned to derive class" << endl << endl;
derived * d2 = new derived;
delete d2;
cout << endl << endl;
cout << "case 3, created with new, assigned to base class" << endl << endl;
base * d3 = new derived;
delete d3;
cout << endl;
return 0;
}Вихід:
case 1, declared as local variable on stack
base::base
derived::derived
derived::~derived
base::~base
case 2, created using new, assigned to derive class
base::base
derived::derived
derived::~derived
base::~base
case 3, created with new, assigned to base class
base::base
derived::derived
base::~base
Press any key to continue . . .Якщо ви встановите деструктор базового класу як віртуальний, який слід, то випадок 3 результатів буде таким же, як і випадки 1 та 2.
Деструктори в C ++ автоматично викликаються в порядку їх побудови (Похідне тоді База) лише тоді, коли оголошено деструктор класу Basevirtual .
Якщо ні, то під час видалення об'єкта викликається лише деструктор базового класу.
Приклад: Без віртуального деструктора
#include <iostream>
using namespace std;
class Base{
public:
Base(){
cout << "Base Constructor \n";
}
~Base(){
cout << "Base Destructor \n";
}
};
class Derived: public Base{
public:
int *n;
Derived(){
cout << "Derived Constructor \n";
n = new int(10);
}
void display(){
cout<< "Value: "<< *n << endl;
}
~Derived(){
cout << "Derived Destructor \n";
}
};
int main() {
Base *obj = new Derived(); //Derived object with base pointer
delete(obj); //Deleting object
return 0;
}Вихідні дані
Base Constructor
Derived Constructor
Base DestructorПриклад: З базовим віртуальним деструктором
#include <iostream>
using namespace std;
class Base{
public:
Base(){
cout << "Base Constructor \n";
}
//virtual destructor
virtual ~Base(){
cout << "Base Destructor \n";
}
};
class Derived: public Base{
public:
int *n;
Derived(){
cout << "Derived Constructor \n";
n = new int(10);
}
void display(){
cout<< "Value: "<< *n << endl;
}
~Derived(){
cout << "Derived Destructor \n";
delete(n); //deleting the memory used by pointer
}
};
int main() {
Base *obj = new Derived(); //Derived object with base pointer
delete(obj); //Deleting object
return 0;
}Вихідні дані
Base Constructor
Derived Constructor
Derived Destructor
Base DestructorРекомендується деструктор базового класу оголосити як virtualінакше, це спричиняє не визначену поведінку.
Довідка: Віртуальний деструктор