The virtual function and pure virtual function both are the concepts of run time polymorphism. The main difference between ‘virtual function’ and ‘pure virtual function’ is that ‘virtual function’ has its definition in the base class and also the inheriting derived classes redefine it.
The pure virtual function has no definition in the base class, and all the inheriting derived classes has to redefine it. However, the virtual function is also called as dynamic dispatch and run-time dispatch, due to the function called is specified in the run time in accordance with the type of the object used.
Polymorphism is supported by both the languages C++ and Java. In Java, the term “overriding” is used instead of ‘virtual function’, as the virtual function is the term of C++.
Content: Virtual Function Vs Pure Virtual Function
Comparison Chart
Basis for Comparison | Virtual Function | Pure Virtual Function |
---|---|---|
Basic | 'Virtual function' has their definition in the base class. | 'Pure Virtual Function' has no definition in the base class. |
Declaration | virtual funct_name(parameter_list) {. . . . .}; | virtual funct_name(parameter_list)=0; |
Derived class | All derived classes may or may not override the virtual function of the base class. | All derived classes must override the virtual function of the base class. |
Effect | Virtual functions are hierarchical in nature; it does not affect compilation if any derived classes do not override the virtual function of the base class. | If all derived classes fail to override the virtual function of the base class, the compilation error will occur. |
Abstract class | No concept. | If a class contains at least one pure virtual function, then it is declared abstract. |
Definition of Virtual Function
The virtual function is the member function of the base class, and it is redefined by the derived classes which inherits the base class. It is not necessary that all the inheriting derived classes must redefine the virtual function, it is only redefined by those derived classes which may require its functioning.
A virtual function is created by the declaring the function in the base class preceded with the keyword ‘virtual’.
Declaration
class base{ public : virtual type funt_name( parameter-list) { . . . } };
The inheriting derived classes can redefine the virtual function without any ‘virtual’ keyword. Derived classes redefine the virtual function to accomplish its task. As the virtual function is redefined in derived classes, we have multiple forms of the same function. Now, which version of the function is being called, depends on the what kind of object is referred to invoke that function.
Multilevel inheritance
In multilevel inheritance, where a derived class that has inherited the virtual function from its base class, when itself is used as a base class for another derived class, the virtual function still can be overridden. So, when a virtual function is inherited its virtual nature is also inherited.
Virtual functions are also hierarchical in nature, i.e. if a derived class do not override/redefine the virtual function inherited from the base class and when derived class’s object invokes that virtual function, then the virtual function defined by the base class is invoked.
Definition of Pure Virtual Function
As seen above if derived class do not override the virtual function then the virtual function defined by the base class is used. But, what if the base class itself doesn’t define the virtual function. Many times, the base class has no definition for the virtual function, or sometimes you want that all derived classes must override the virtual function.
To handle these above two situations, C++ supports the concept of “Pure Virtual Function“. A ‘pure virtual function’ is declared in base class but do not have its definition in the base class. The pure virtual function is declared as follows.
virtual type funct_name(parameter_list)=0;
Whenever a virtual function in the base class is made “pure”, then each derived class must mandatorily override the pure virtual function of the base class. If the derived class fails to override the pure virtual function of the base class, it will result in compilation error.
Abstract class
The class that contains at least one pure function is called ‘abstract class’. No objects of abstract classes can be created, but you can create references and pointers to abstract classes. Members of the abstract classes can be accessed through the object of the derived classes which inherits the abstract base class.
A class which you want to declare abstract, use the keyword ‘abstract’ in front of the ‘class’ keyword.
//for example abstract class class-name{ . . virtual type funct_name(parameter_list)=0; . . };
Key Differences Between Virtual Function and Pure Virtual Function
Note
The prototype of the ‘virtual function’ and ‘pure virtual function’ remains the same throughout the program.
Conclusion
The ‘virtual functions’ and ‘pure virtual function’ both have their importance, as in ‘virtual functions’, all derived class do not need to redefine the virtual function and where we want that all derived class should redefine the virtual function, pure virtual function best applies there.
ncG1vNJzZmislZi1pbXFn5yrnZ6YsrR6wqikaJyZm7OmvsSnmp5lkprBuLHEp2SvoaKpwqK4jJ%2Bsp5uknryvecCnm2aopaeybsLIq6uumZxis7a6wq2gqKZencGuuA%3D%3D