C++ Tutorial Index

C++ Tutorial C++ History C++ Installation C++ First Program C++ cin and cout C++ Data type C++ Variable C++ operator C++ Keywords

C++ Control Statements

C++ If C++ Nested if C++ If-else C++ If-else-if C++ Switch C++ Break C++ Continue C++ Goto C++ For loop C++ While loop C++ Do while loop

C++ Functions

C++ Call by Value C++ Call by Reference C++ Recursion Function C++ Inline function C++ Friend function

C++ Arrays

Single dimension array Two dimension array

C++ Strings

C++ Strings

C++ Inheritance

C++ Inheritance Single level Inheritance Multilevel Inheritance Multiple Inheritance Hierarchical Inheritance Hybrid Inheritance

C++ Polymorphism

C++ Polymorphism C++ Overloading C++ Overriding C++ Virtual Function

C++ Pointers

C++ Pointers C++ this pointer

C++ Exception Handling

C++ Exception Handling

C++ Constructors

C++ Constructors Default Constructor Parameterize Constructor Copy constructor Constructor Overloading Destructor

C++ File Handling

C++ File Handling C++ Writing to file C++ Reading file C++ Close file

Miscellaneous

C Vs C++ C++ Comments C++ Data Abstraction C++ Identifier C++ Memory Management C++ Storage Classes C++ Void Pointer C++ Array To Function C++ Expressions C++ Features C++ Interfaces C++ Encapsulation std::min in C++ External merge sort in C++ Remove duplicates from sorted array in C++ Precision of floating point numbers Using these functions floor(), ceil(), trunc(), round() and setprecision() in C++ C++ References C++ Friend Functions C++ Mutable keyword Unary Operators in C++ Initialize Array of objects with parameterized constructors in C++ Differences between #define & const in C/C++ C++ Program to Implement Shell Sort C++ Program to Implement Merge Sort Storage Classes in C Vector resize() in C++ Passing by Reference Vs. Passing by the pointer in C++ Free vs delete() in C++ goto statement in C and C++ C++ program to read string using cin.getline() C++ String Concatenation Heap Sort in C++ Swap numbers in C++ Input Iterators in C++ Fibonacci Series in C++ C ++ Program: Alphabet Triangle and Number Triangle C++ Program: Matrix Multiplication C++ Program to Print Fibonacci Triangle Stack in C++ Maps in C++ Queue in C++ C++ Bitset C++ Algorithms Priority Queue in C++ C++ Multimap C++ Deque Function Pointer in C++ Sizeof() Operators in C++ C++ array of Pointers free() Vs delete in C Timsort Implementation Using C++ CPP Templates C++ Aggregation C++ Enumeration C++ Math Functions C++ Object Class C++ Queue Initialize Vector in C++ Vector in C++ C++ STL Components Function overloading in C++ C++ Maximum Index Problem C++ find missing in the second array C++ Program to find the product array puzzle C++ Program To Find Largest Subarray With 0 Sum C++ Program To Move All Zeros To The End Of The Array C++ Program to find the element that occurs once C++ Program to find the largest number formed from an array Constructor Vs Destructor C++ Namespaces C++ OOPs Concept C++ Static C++ Structs C++ Try-Catch C++ User Defined Exceptions C++ Virtual Destructor C++ vs C# Malloc() and new in C++ Palindrome Number Program in C++ Snake Code in C++ Splitting a string in C++ Structure Vs Class in C++ Virtual Function Vs Pure Virtual Function C++ Bidirectional Iterators C++ Forward Iterators C++ Iterators C++ Output Iterators C++ Range-based For Loop Converting string into integer in C++ LCM Program in C++ Type conversion in C++ Add two numbers using the function in C++ Advantage and disadvantage friend function C++ Armstrong Number Program in C++ ATM machine program in C++ using functions Binary to Decimal in C++ Bit Manipulation in C++ C++ Constructor C++ Dijkstra Algorithm Using the Priority Queue C++ int into String C++ Signal Handling Decimal to Binary in C++ Decimal to Hexadecimal in C++ Decimal to Octal in C++ Factorial Program in C++ Function in C++ Hexadecimal to Decimal in C++ Octal to Decimal in C++ Reverse a Number in C++ Structure Vs Class in C++ C++ Forward Iterators C++ Output Iterators C++ Prime number program Char Array to String in C++ Constructor Overloading in C++ Default arguments in C++ Different Ways to Compare Strings in C++ Dynamic Binding in C++ Program to convert infix to postfix expression in C++ SET Data Structure in C++ Upcasting and Downcasting in C++ Reverse an Array in C++ Fast Input and Output in C++ Delete Operator in C++ Copy elision in C++ C++ Date and Time C++ Bitwise XOR Operator Array of sets in C++ Binary Operator Overloading in C++ Binary Search in C++ Implementing the sets without C++ STL containers Scope Resolution Operator in C++ Smart pointers in C++ Types of polymorphism in C++ Exception Handling in C++ vs Java Const Keyword in C++ Type Casting in C++ Static keyword in C++ vs Java Inheritance in C++ vs Java How to concatenate two strings in C++ Programs to Print Pyramid Patterns in C++ swap() function in C++ Structure of C++ Program Stringstream in C++ and its applications rand() and srand() in C / C++ C++ Ternary Operator C++ Scope of Variables While Loop Examples in C++ Star pattern in C++ using For Loops For Loop Examples in C++ Do-While Loop Examples in C++ Top 5 IDEs for C++ That You Should Try Once Assertions in C/C++ C++ Convert Int to String Continue in C++ While loop Diamond Pattern in C++ using For Loop How to Reverse a String in C++ using Do-While Loop How to Reverse a String in C++ using For Loop How to Reverse a String in C++ using While Loop Infinite loop in C++ Loops in C++ Returning Multiple Values from a Function using Tuple and Pair in C++ wcscpy(), wcslen(), wcscmp() Functions in C++ Auto keyword in C++ C++ 11 vs C++ 14 vs C++ 17 C++ STL (Standard Template Library) Differences Between C Structures and C++ Structures Divide by Zero Exception in C++ Dynamic Constructor in C++ Dynamic Memory Allocation in C++ Find the Size of Array in C/C++ without using sizeof() function Floating Point Operations and Associativity in C, C++ and Java Hello World Program in C++ How to create a table in C++ How to Setup Environment for C++ Programming on Mac Implementation of a Falling Matrix in C++ Message Passing in C++ Pointer to Object in C++ Templates in C++ vs Generics in Java Ways to Copy a Vector in C++ What does Buffer Flush mean in C++ sort() function in C++ Structure Sorting (By Multiple Rules) in C++ Similarities between C++ and Java std::distance in C++ Array program in C++ C++ Tricks for Competitive Programming Desired Capabilities in Selenium Web Driver in C++ Socket Programming in C++ Template Specialization in C++ Classes and Objects in C++ Convex hull Algorithm in C++ DES in C++ C++ vardiac() function Difference between Two Sets in C++ Difference between Exit and Return Structured Binding in C++ Differences between Local and Global Variable Bitwise Operator vs Logical Operator Difference between OOP and POP in C++ Fork in C++ Functors in C++ How to call a void function in C++ How to create a directory or folder in C/C++ How to create a library in C++ How to create a stack in C++ How to create the Processes with Fork in C++ How to Handle Divide by Zero Exception in C++ Lambda Expression in C++ Pattern programs in C++ Roadmap to C++ Programming Substring in C++ Virtual base class in C++ Bits stdc++.h in C++ Top 14 Best Free C++ IDE (Editor & Compiler) for Windows in 2022 Bitmasking in C++ Auto Keyword in C++ Features of OOPS in C++ Hospital Management Project in C++ How to Declare Unordered Sets in C++ How to Sort an Array in C++ Include Guards in C++ Iostream in C++ Method overriding in C++ How to run program in turbo c++ How to Use Getline in C++ Leap Year Program in C++ Naming Convention in C++ New Operator in C++ Nullptr in C++ Object Slicing in C++ Principles of Object-Oriented Programming in C++ Processing strings using std string stream in C++ Pure Virtual Function in C++ With Example Program Random Number Generator in C++ Singleton Design Pattern in C++ Size_t Data Type in C++ Skyline Problem in C++ System() function in C++ Web Development in C++ Data Hiding in C++ Difference between exit() and _Exit() in C++ Hashing in C++ Object in C++ Sum of all Elements between k1’th and k2’th Smallest Elements Virtual class in C++ Vector Size in C++ Top best IDEs for C/C++ Developers in 2022 Tensorflow in C++ Sliding Window Technique in C++ Reverse String Word-Wise in C++ Returning a Function Pointer from a Function in C/C++ RTTI in C++ Pthreads or POSIX Threads in C++ Reserved Keywords in C++ Passing a Vector to a function in C++ 10 Best C and C++ Books for Beginners & Advanced Programmers Add two numbers represented by two arrays in C++ Array of Object in C++ C++ Program For FCFS Containership in C++ Counting Frequencies of Array Elements in C++ Decltype type Specifier in C++ Dynamic _Cast in C++ Difference between int main() and int main(void) in C/C++ Depth First Search Program to Traverse a Graph in C++ Features and Use Of Pointers in C/C++ Fread Function in C++ Programming Fscanf Function in The C++ Functions in C++ With Types and Examples Gmtime Function in C/C++ How is Multiset Implemented in C++ How to Build a Program in C++ How to Declare a 2d Array Dynamically in C++ inheritance Program in C++ int Max and int Min in C/C++ is It Fine to Write Void Main Or Main in C/C++ How to create a button in C++ abs() function in C++ Compile Time Polymorphism in C++ Division in C++ Factorial of a Number in C++ using while Loop Multiset in C++ 4 Pillars of OOPs Approach in C++ Backtracking Time Complexity in C++ C++ Global Variable C++ Pipe Tutorial Observer Design Pattern in C++ Private Inheritance in C++ Pthread in C++ Parameters SDL library in C++ with Examples Pointers in C++ Abstract Factory Design Pattern in C++ Ascending order in C++ How the value is passed in C++ Call by Pointer in C++ Constexpr in C++ Deadlock in C++ Design Patterns in C++ Factory Method for Designing Pattern in C++ How to calculate size of string in C++ Name Mangling and extern in C++ Preventing Object Copy in C++ Program that produces different results in C and C++ Quick Sort in C++ Single Handling in C++ Type difference of Character literals in C VS C++ Use of Inheritance in C++ User-defined literals in C++ Vector methods in C++ Void * in C and C++ Zombie and Orphan Process in C++ Isprint() in C++ List and Vector in C++ List iterators in C++ Merging Two Vectors in C++ Sleep function in C++ Stoi function in C++ String erase() in C++ String Trim in C++ When should we write own Assignment operator in C++ C++ tcp client server example C++ tcp server example Early Binding and Late Binding in C++ Factory Design Pattern in C++ Fisher-Yates shuffle algorithm in C++ For Auto in C++ Group anagrams in C++ How to convert binary string to int in C++ How to convert string to float in C++ How to remove space from string in C++ How to use pair in C++ How to use the string find() in C++ Dynamic Casting in C++ 2D Vector Initialization in C++ C++ GUI Visual Studio C++ IPC C++ Macro Function Example C++ Permutation Overloading Stream Insertion in C++ Overloading array Index operator in C++ Operators that cannot be overloaded in C++ Operator overloading in C++ isprint() function in c++ Is_trivial function in C++ Is assignment operator Inherited in C++ div() function in C++ Default Assignment Operator and References in C++ Copy Constructor vs Assignment Operator in C++ Conversion Operator in C++ Array sum in C++ STL C++ Define Macro C++ Design C++ Factory Pattern TCP Client Server Example in C++ Convert String to Uppercase in C++ exit() and _Exit() in C and C++ Initializer list in C++ Iterator invalidation in C++ Lower bound in C++ Modulus of Two float numbers or double number Pass by value in C++ Set insert function in C++ Std partition_point in C++ Unary Operator Overloading in C++ Using Default Arguments with Virtual Functions Virtual Functions and Runtime Polymorphism What is endl in C++ What is Unary Operator Overloading in C++ Which operators cannot be overloaded in C++ C++ Program to Divide the String Into N equal Parts Gray Code to Binary Code in C++ How to get the value of pi in C++ Multimap value_comp() function in C++ Vector of Vectors in C++ Naïve Bayes Algorithm in C++ Minimum Cost Path Problem in C++ 10 C++ Programming Tricks You Should Know btowc() function in C++ forward_list::cend() in C++ Unordered_multimap max_load_factor() function in C++ Cpp_int in c++ Dynamic Objects in C++ FLOCK() FUNCTION IN C++ Generate Random Double Numbers in C++ How to Assign Infinity to a Number in C++ Jump statements in C++ Multipath inheritance in C++ Out of Range Exception in C++ Size of Class in C++ Size of string in C++ std::binary_negate in c++ Thread_local in C++ Tokenizing a String in C++ Ancestors of a Node in Binary Search Tree C++ program for Double to String Conversion C++ Program to Demonstrate Use of Formatting Flags on Float Output Clamp in C++ K-Dimensional Tree in C++ Mutable Lambda in C++ Power Set in C++ Program to Find Sum of Geometric Progression Std::Back_inserter in C++ Strpbrk() function in C++ Size of int in C++ TYPES OF MANIPULATORS IN C++ Double colon in C++ How to sort vector in C++ How to use Setprecision in C++ How to write a Vector in C++ Insertion in Splay Tree in C++ Merge Sort Algorithm in C++ Printing a Character using ASCII value in C++ Regex in C++ Size of Data Types in C++ Abstract Factory Design Pattern in C++ Sqrtf() function in C++ Static Casting in C++ Using Range in Switch Case in C++ wcstoimax() and wcstoumax() function in C++ What is float in C++ What is the Diamond Problem in C++ Best way to learn C++ ios setstate() function in C++ Nested Namespace in C++ Single Inheritance in C++

Virtual Functions and Runtime Polymorphism

Introduction to Virtual Functions and Runtime Polymorphism

Virtual functions and runtime polymorphism are important concepts in object-oriented programming. They allow a program to work with objects of different classes in a uniform way by treating them as instances of a common base class. This is accomplished by using virtual functions, which allow functions to be bound to their implementations at a later time or during runtime.

Understanding Virtual Functions

Virtual functions are functions that are declared in a base class and overridden in derived classes. When a function is called using a pointer or reference to the base class, they permit derived classes to offer their own implementation of the function, which is invoked in place of the base class implementation.

For example, consider the following code:

#include<iostream>
using namespace std;


class Animal {
public:
    virtual void makeSound() {
        cout << "The animal makes a sound" << endl;
    }
};


class Dog : public Animal {
public:
    void makeSound() override {
        cout << "The dog barks" << endl;
    }
};


class Cat : public Animal {
public:
    void makeSound() override {
        cout << "The cat meows" << endl;
    }
};


int main() {
    Animal* animal1 = new Dog();
    Animal* animal2 = new Cat();
    
    animal1->makeSound();
    animal2->makeSound();
    
    delete animal1;
    delete animal2;
    
    return 0;
}

Explanation:

  • First, a base class Animal is defined, which has a virtual function makeSound().
  • The keyword virtual denotes that derived classes have the ability to override this function. The implementation of this function in the base class simply outputs a generic message saying, "The animal makes a sound".
  • Two derived classes, Dog and Cat, are then defined, which inherit from the Animal class.
  • They each provide their own implementation of the makeSound() function, which outputs a more specific message saying, "The dog barks" or "The cat meows".
  • In the main() function, two pointers of type Animal* are created, which are initialized to point to new instances of the Dog and Cat classes, respectively. This is an example of polymorphism, as the derived classes are treated as if they were instances of the base class.
  • Next, the makeSound() function is called on both pointers using the -> operator.
  • The result demonstrates that the function is called according to the actual type of the object referenced to rather than the static type of the pointer.
  • With the delete operator, the objects' dynamically allocated memory is finally released.

Program Output:

Virtual Functions and Runtime Polymorphism

Polymorphism

In object-oriented programming, polymorphism is a key idea that enables programs to interact uniformly with objects from various classes. Compile-time polymorphism and run-time polymorphism are the two primary varieties of polymorphism.

Compile-time polymorphism is achieved through the use of function overloading or templates, which allow multiple functions with the same name to be defined, but with different argument types or numbers. Based on the static types of the arguments, the correct function is chosen at compile time.

Runtime polymorphism, on the other hand, is achieved through the use of virtual functions and inheritance, which allow derived classes to provide their own implementation of a function that is declared in the base class. In contrast to the compile-time selection of the proper implementation of the function based on the static type of the pointer or reference, the runtime selection is based on the actual type of the object.

Pure Virtual Functions and Abstract Classes

When a virtual function is declared in a base class but not implemented there, the function is said to be pure virtual. As an alternative, derived classes are supposed to replace them. An abstract class, which cannot be instantiated, is one that has one or more pure virtual functions. Instead, it is intended to be used as a base class for derived classes that offer their own implementation of the pure virtual functions.

For example, consider the following code:

#include <iostream>
using namespace std;


class Animal {
public:
    virtual void makeSound() = 0; // pure virtual function
    virtual ~Animal() {}
};


class Dog : public Animal {
public:
    void makeSound() override {
        cout << "Woof!" << endl;
    }
};


class Cat : public Animal {
public:
    void makeSound() override {
        cout << "Meow!" << endl;
    }
};


int main() {
    Animal* animal1 = new Dog();
    Animal* animal2 = new Cat();
    
    animal1->makeSound();
    animal2->makeSound();
    
    delete animal1;
    delete animal2;
    
    return 0;
}

Explanation:

  • This program demonstrates the concept of abstract classes, virtual functions, and runtime polymorphism in C++.
  • First, we define an abstract class Animal which contains a pure virtual function makeSound().
  • The ‘= 0’ syntax for the pure virtual function indicates that it has no implementation in the base class and that derived classes must implement it. This makes the class Animal an abstract class which cannot be instantiated.
  • Next, we define two derived classes, Dog and Cat, both of which inherit from the Animal class. In each derived class, we override the makeSound() function and provide a unique implementation for the sound that each animal makes.
  • In the main() function, we create two pointers of type Animal*, animal1 and animal2, and assign them to newly created Dog and Cat objects using dynamic memory allocation.
  • We then call the makeSound() function on each of these objects using the arrow operator ->.
  • Since the makeSound() function is a virtual function, the appropriate implementation of this function for the respective object is called at runtime. In other words, we achieve runtime polymorphism.
  • Finally, we delete the dynamically allocated objects to free up memory

Program Output:

Virtual Functions and Runtime Polymorphism

Late Binding and Runtime Polymorphism

Virtual functions enable late binding or runtime binding of functions to their implementations. In other words, rather than being decided upon at compile time based on the static type of the pointer or reference, the implementation of the function is decided upon at runtime based on the actual type of the object.

For example, in the previous example, the makeSound() function is called on objects of type Animal*, which is the static type of the pointers. The function that is called, however, is actually implemented depending on the actual type of the objects, which are Dog and Cat, at runtime.

This behaviour is known as runtime polymorphism because the behaviour of the program is determined at runtime based on the actual types of the objects rather than at compile-time based on the static types of the pointers or references.

Advantages of Virtual Functions and Runtime Polymorphism

Virtual functions and runtime polymorphism provide several advantages in object-oriented programming. They enable a program to work with objects of different classes in a uniform way, by treating them as instances of a common base class. This can simplify the code and make it more flexible, as new derived classes can be added without modifying the existing code.

Virtual functions also enable dynamic dispatch, which means that the appropriate implementation of a function is selected at runtime based on the actual type of the object. This can improve the performance of the program, as it avoids the need for complex if-else or switch statements to select the appropriate implementation of the function.

Limitations of Virtual Functions and Runtime Polymorphism

Virtual functions and runtime polymorphism also have some limitations in object-oriented programming. They can introduce some overhead in the program, as the function call must be resolved at runtime, which can be slower than calling a non-virtual function that is resolved at compile-time.

Another limitation is that virtual functions can only be used with pointer or reference types, not with objects. As a result, objects of a derived class cannot be utilised as parameters or return values of functions that need objects of the base class,

In derived classes, virtual functions can be overridden, but they cannot be concealed. This means that if a derived class defines a function with the same name as a virtual function in the base class, the derived class function will always be called, even if the object is treated as an instance of the base class.

Conclusion

In object-oriented programming, runtime polymorphism and virtual functions are key ideas.

They enable a program to work with objects of different classes in a uniform way, by treating them as instances of a common base class. By using virtual functions, which enable runtime or late binding of functions to their implementations, this is accomplished.

Although virtual functions and runtime polymorphism have some limitations, they provide several advantages in object-oriented programming, including flexibility, code simplification, and the dynamic dispatch.