As you may know, in C++ a destructor is generally used to deallocate memory and do some other cleanup for a class object and it’s class members whenever an object is destroyed. Destructors are distinguished by the tilde, the ‘~’ that appears in front of the destructor name.
The need for virtual destructors is best illustrated by an example. Take a look at the code below:
Example without a Virtual Destructor:
#include iostream.h class Base { public: Base(){ cout<<"Constructing Base";} // this is a destructor: ~Base(){ cout<<"Destroying Base";} }; class Derive: public Base { public: Derive(){ cout<<"Constructing Derive";} ~Derive(){ cout<<"Destroying Derive";} }; void main() { Base *basePtr = new Derive(); delete basePtr; } |
The output of running the code above would be:
Constructing Base Constructing Derive Destroying Base |
Based on the output above, we can see that the constructors get called in the appropriate order when we create the Derive class object pointer in the main function.
But there is a major problem with the code above: the destructor for the "Derive" class does not get called at all when we delete ‘basePtr’.
So, how can we fix this problem?
Well, what we can do is make the base class destructor virtual, and that will ensure that the destructor for any class that derives from Base (in our case, its the "Derive" class) will be called.
Example with a Virtual Destructor:
So, the only thing we will need to change is the destructor in the Base class and here’s what it will look like:
class Base { public: Base(){ cout<<"Constructing Base";} // this is a destructor: virtual ~Base(){ cout<<"Destroying Base";} }; |
Now, with that change, the output of the code will be:
Constructing Base Constructing Derive Destroying Derive Destroying Base |
Note that the derived class destructor will be called before the base class.
So, now you’ve seen why we need virtual destructors and also how they work.
One important design paradigm of class design is that if a class has one or more virtual functions, then that class should also have a virtual destructor.