Destructor
Let’s discover the C++ destructor, virtual and pure virtual destructors, and when destructors are invoked and their rules in this lesson.
Destructors :
A member function that destroys an object is known as a destructor. Destructors acts in the reverse direction as of constructors but are specified similarly to constructors; they destroy class objects. It can be defined only one time in a class, that too with the same name as that of the class. It is called by itself, much like constructors. It however, uses a tilde symbol (~) as a prefix.
Syntax :
~className{
// Content code
};
Destructors in C++ cannot have arguments and modifiers can't be used on destructors too.
Features of a Destructor :
The major characteristics of a destructor are as follows :
- The destructor function is called itself on the destruction of the object.
- It's not feasible to define a destructor as static or const.
- No parameters are present for the destructor.
- It does not have a void return type.
- A member of the association can’t be an element of a class that contains a Destructor.
- The declaration of a destructor is always required to take place in the public section of that class.
- The location of destructor is unreachable by the programmer.
When is the destructor invoked?
When an object is no longer in scope, a destructor function is executed automatically:
- When a function is completed.
- At the conclusion of the program.
- When a scope containing local variables ({}-parenthesis) expires.
- When you use the delete operator.
What makes destructors distinct from regular member functions?
In the following respects, a destructor differs from regular functions:
- The name of the destructor is the same as the class, but it is prefixed by a tilde (~).
- Destructors are known for not taking in any kind of arguments and they also do not return anything itself.
Rules to define a Destructor :
- The name must start with a tilde symbol (~) and match the class name.
- A class cannot have more than one destructor.
- Unlike constructors, destructors do not accept any parameters.
- They, like constructors, do not have a return type.
- If you don't specify a destructor inside a class, the compiler creates one for you and places it in your code.
Example :
#include <iostream>
using namespace std;
class XYZ
{
public:
XYZ () //defining the constructor
{
cout << "This is inside constructor" << endl;
}
~XYZ() //destructor defining the destructor
{
cout << "This is inside destructor" << endl;
}
};
int main()
{
XYZ obj1; //calling the constructor
cout << "main function terminated." << endl;
return 0;
}
Output:
This is inside constructor
main function terminated.
This is inside destructor
Explanation :
Firstly, class XYZ was created which further helped to define XYZ() constructor and ~XYZ() destructor. When the constructor is invoked, "This is inside constructor" is written, followed by "main function terminated.”, but the object obj1 that was defined previously goes out of scope, and the ~XYZ() destructor is called to de-allocate the memory occupied by obj1.
Example-2 :
#include<iostream>
using namespace std;
class exmpl
{
public:
int x=50;
exmpl() //constructor is created
{
cout<<"It is the Constructor of exmpl !"<<endl;
}
~exmpl() //destructor is defined
{
cout<<"It is the Destructor of exmpl !"<<endl;
}
void print_exmpl() // void function
{
cout<<"exmpl is printed"<<endl;
}
};
int main()
{
exmpl exmpl_obj; // created the example object for the class exmpl
cout<<exmpl_obj.x<<endl;
exmpl_obj.print_exmpl(); //calling the function
return 0;
}
Output :
It is the Constructor of exmpl !
50
exmpl is printed
It is the Destructor of exmpl !
Explanation :
We've set up a variable called a=50 and a method called print_exmpl() inside the exmpl class. We've also defined the exmpl() and ~exmpl() constructors and destructors, respectively .
We constructed an object exmpl_obj that corresponds to the exmpl class above within the main() method. As a result, the constructor exmpl() is requested.
Then we did certain activities on it, such as executing the object's print_exmpl() function.
The destructor for the object exmpl_obj is called instantly after the main() function ends. As may be seen from the output above.
C++ Virtual Destructors
Destructing an object of derived class with non-virtual destructor using a reference of base class can cause unclear behavior. A virtual destructor should be provided in the base class to provide a solution to this problem of unclear behavior.
Virtual destructors are allowed in the Base class. These base class Destructors must be made virtual if upcasting is used to ensure that the object is properly destroyed when the application finishes.
Example :
#include<iostream>
using namespace std;
class BaseClass
{
public:
BaseClass()
{
cout<<"Base Constructor!"<<endl;
}
virtual ~BaseClass()
{
cout<<"Base Destructor!"<<endl;
}
};
class DerivedClass : public BaseClass
{
public:
DerivedClass()
{
cout<<"Derived Constructor!"<<endl;
}
~DerivedClass()
{
cout<<"Derived Destructor!"<<endl;
}
};
int main()
{
BaseClass * obj = new DerivedClass;
delete obj;
}
Output :
Base Constructor!
Derived Constructor!
Derived Destructor!
Base Destructor!
Explanation :
The virtual keyword is being used in this example before the basic destructor this time.
The result shows that the instruction BaseClass *obj = new DerivedClass , inside the main() method calls the constructors BaseClass() and DerivedClass(), respectively.
Since a virtual destructor is present in this base class while the object obj is being deleted, first the destructor of Derived class is called and then the Base class's destructor.
C++ Pure Virtual Destructors :
When the value of a destructor is set to zero, the virtual destructor is defined in the base class. Pure virtual destructor is also feasible, as is virtual destructor. However, the base class should define this Virtual destructor inside itself.
- The one and only major difference between a Virtual and a Pure Virtual Destructor is that a Pure Virtual Destructor makes its Base class Abstract, thus the programmer can't construct any object of that class.
- Pure virtual destructors are not a requirement in the in derived classes.
Example :
#include <iostream>
using namespace std;
// declare a class
class BaseClass {
public:
virtual ~BaseClass() = 0; // it is the Pure Virtual Destructor
};
// Defining the Pure Virtual Destructor
BaseClass :: ~BaseClass() {
cout << "The Pure virtual destructor is being called.\n";
}
class DerivedClass : public BaseClass {
public:
~DerivedClass() {
cout << "The Derived Destructor is being called." << endl;
}
}
int main() {
BaseClass* obj = new DerivedClass;
delete obj;
return 0;
}
Output :
The Pure virtual destructor is being called.
The Derived Destructor is being called.
Explanation :
The result shows that the instruction BaseClass *obj = new DerivedClass , inside the main() method calls the constructors BaseClass() and DerivedClass(), respectively.
Because a pure virtual destructor is present inside the base class when removing object obj, the Derived class's pure virtual destructor is called first, followed by the Base class's derived destructor. Since it is a pure virtual destructor, thus it is not required in the derived class.