Нужно ли мне явно вызвать базовый виртуальный деструктор?

Question

При переопределении класса на C++ (с виртуальным деструктором) я снова внедряю деструктор как виртуальный в наследующем классе, но мне нужно вызвать базовый деструктор?

Если это так, я предполагаю, что это что-то вроде этого ...

MyChildClass::~MyChildClass() // virtual in header 
{ 
    // Call to base destructor... 
    this->MyBaseClass::~MyBaseClass(); 

    // Some destructing specific to MyChildClass 
} 

Я прав?

Answer 1

Нет, деструкторы вызываются автоматически в обратном порядке конструкции. (Последние базовые классы). Не называйте деструкторы базового класса.

Answer 2

Нет, вам не нужно вызывать базовый деструктор, базовый деструктор всегда вызывается производным деструктором. Please see my related answer here for order of destruction.

Чтобы понять, почему вы хотите виртуальный деструктор в базовом классе, см код ниже:

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().

Answer 3

Нет. Это автоматически называется.

Answer 4

Что сказали другие, но также обратите внимание, что вам не нужно объявлять деструктор виртуальным в производном классе. Как только вы объявите деструктор виртуальным, как и в базовом классе, все производные деструкторы будут виртуальными независимо от того, объявляете их так или нет. Другими слова:

struct A { 
    virtual ~A() {} 
}; 

struct B : public A { 
    virtual ~B() {} // this is virtual 
}; 

struct C : public A { 
    ~C() {}   // this is virtual too 
}; 

Answer 5

Номер В отличии от других виртуальных методов, в которых вы бы явно вызывать базовый метод из производной в «цепи» вызов, компилятор генерирует код для вызова деструкторов в обратном порядке, в котором их конструкторы были вызваны.

Answer 6

Нет, вы никогда не называть Bese класса деструктор, он всегда вызывается автоматически, как другие указали, но здесь является доказательством концепции с результатами:

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 . . . 

Если вы установили деструктор базового класса как виртуальный, то результаты будут такими же, как в случае 1 & 2.