Difference Between Virtual and Pure Virtual Function (with Comparison Chart)

April 2022 · 5 minute read

virtual fun 1The 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
  • Definition
  • Key Differences
  • Conclusion
  • Comparison Chart

    Basis for ComparisonVirtual FunctionPure Virtual Function
    Basic'Virtual function' has their definition in the base class.'Pure Virtual Function' has no definition in the base class.
    Declarationvirtual funct_name(parameter_list) {. . . . .};virtual funct_name(parameter_list)=0;
    Derived classAll 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.
    EffectVirtual 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 classNo 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

  • Virtual functions are definitely defined in the base class and redefined (override) in the derived class. On the other hand, pure virtual function the base class is particularly not defined in the base class
  • Derived class if required redefine (override) the virtual function whereas, in case of pure virtual function derived class has to definitely redefine the pure virtual function.
  • If the derived class fails to redefine (override) the virtual function it can use the virtual function of the base class. Conversely, if a derived class fails to override pure virtual function then compilation error occurs.
  • Base class containing the virtual function can be instantiated i.e. its object can be created. As against, the base class containing pure virtual function i.e. an abstract class can not be instantiated as an abstract class is not fully defined.
  • 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