Skip to main content
Engineering LibreTexts

5.3: More Virtual Functions

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    \( \newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\)

    ( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\id}{\mathrm{id}}\)

    \( \newcommand{\Span}{\mathrm{span}}\)

    \( \newcommand{\kernel}{\mathrm{null}\,}\)

    \( \newcommand{\range}{\mathrm{range}\,}\)

    \( \newcommand{\RealPart}{\mathrm{Re}}\)

    \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\)

    \( \newcommand{\Argument}{\mathrm{Arg}}\)

    \( \newcommand{\norm}[1]{\| #1 \|}\)

    \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\)

    \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    \( \newcommand{\vectorA}[1]{\vec{#1}}      % arrow\)

    \( \newcommand{\vectorAt}[1]{\vec{\text{#1}}}      % arrow\)

    \( \newcommand{\vectorB}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vectorC}[1]{\textbf{#1}} \)

    \( \newcommand{\vectorD}[1]{\overrightarrow{#1}} \)

    \( \newcommand{\vectorDt}[1]{\overrightarrow{\text{#1}}} \)

    \( \newcommand{\vectE}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash{\mathbf {#1}}}} \)

    \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \)

    \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)

    What is the use?

    Virtual functions allow us to create a list of base class pointers and call methods of any of the derived classes without even knowing kind of derived class object.

    Consider an employee management software for an organization.

    Let the code has a simple base class Employee , the class contains virtual functions like raiseSalary(), transfer(), promote(), etc. Different types of employees like Manager, Engineer, etc. may have their own implementations of the virtual functions present in base class Employee.

    In our complete software, we just need to pass a list of employees everywhere and call appropriate functions without even knowing the type of employee. For example, we can easily raise the salary of all employees by iterating through the list of employees. Every type of employee may have its own logic in its class, but we don’t need to worry about them because if raiseSalary() is present for a specific employee type, only that function would be called.


    class Employee { 
        virtual void raiseSalary() 
            /* common raise salary code */
        virtual void promote() 
            /* common promote code */
    class Manager : public Employee { 
        virtual void raiseSalary() 
            /* Manager specific raise salary code, may contain 
            increment of manager specific incentives*/
        virtual void promote() 
            /* Manager specific promote */
    // Similarly, there may be other types of employees 
    // We need a very simple function 
    // to increment the salary of all employees 
    // Note that emp[] is an array of pointers 
    // and actual pointed objects can 
    // be any type of employees. 
    // This function should ideally 
    // be in a class like Organization, 
    // we have made it global to keep things simple 
    void globalRaiseSalary(Employee* emp[], int n) 
        for (int i = 0; i < n; i++) 
            // Polymorphic Call: Calls raiseSalary() 
            // according to the actual object, not 
            // according to the type of pointer 

    Like globalRaiseSalary(), there can be many other operations that can be performed on a list of employees without even knowing the type of the object instance.

    How does the compiler perform runtime resolution?

    The compiler maintains two things to serve this purpose:

    1. vtable: A table of function pointers, maintained per class.
    2. vptr: A pointer to vtable, maintained per object instance (see this for an example).

     Example of how a virtual function works

    Compiler adds additional code at two places to maintain and use vptr.

    1) Code in every constructor. This code sets the vptr of the object being created. This code sets vptr to point to the vtable of the class.
    2) Code with polymorphic function call (e.g. bp->show() in above code). Wherever a polymorphic call is made, the compiler inserts code to first look for vptr using base class pointer or reference (In the above example, since pointed or referred object is of derived type, vptr of derived class is accessed). Once vptr is fetched, vtable of derived class can be accessed. Using vtable, address of derived derived class function show() is accessed and called.

    Adapted from:
    "Virtual Functions and Runtime Polymorphism in C++ | Set 1 (Introduction)" by brain56Geeks for Geeks is licensed under CC BY-SA 4.0

    5.3: More Virtual Functions is shared under a not declared license and was authored, remixed, and/or curated by LibreTexts.

    • Was this article helpful?