Why Runtime polymorphism in C++? - Purpose & Use Cases

The Big Idea

What if your program could decide the right action all by itself, no matter how many new types you add?

The Scenario

Imagine you have different types of animals, like dogs and cats, and you want each to make its own sound. Without runtime polymorphism, you would have to write separate code for each animal type everywhere you want to use them.

The Problem

This manual approach means repeating code and checking the type of each animal before calling its sound. It is slow, hard to maintain, and easy to make mistakes when adding new animal types.

The Solution

Runtime polymorphism lets you write one general code that calls the right sound for any animal automatically. The program decides at runtime which sound to play, making your code cleaner and easier to extend.

Before vs After

✗ Before

if (animalType == DOG) { dog.bark(); } else if (animalType == CAT) { cat.meow(); }

✓ After

animal->makeSound();  // Calls the correct sound based on the actual animal type

What It Enables

It enables writing flexible programs that can work with new types without changing existing code.

Real Life Example

In a drawing app, you can have different shapes like circles and squares. Runtime polymorphism lets the app call the correct draw method for each shape without knowing the exact type in advance.

Key Takeaways

Manual type checks make code complex and error-prone.

Runtime polymorphism lets the program choose the right behavior automatically.

This makes code easier to maintain and extend with new types.

Practice

1. What is the main purpose of virtual functions in C++ runtime polymorphism?

easy

A. To allocate memory for objects dynamically

B. To make functions run faster by avoiding function calls

C. To prevent any function from being overridden in derived classes

D. To allow derived classes to override base class methods and decide at runtime which method to call

Solution

1. Step 1: Understand virtual functions role

   Virtual functions allow a base class to declare a function that derived classes can override.

2. Step 2: Explain runtime decision

   At runtime, the program decides which overridden function to call based on the actual object type.

3. Final Answer:

   To allow derived classes to override base class methods and decide at runtime which method to call -> Option D

4. Quick Check:

   Virtual functions enable runtime method selection [OK]

Hint: Virtual means choose function at runtime, not compile time [OK]

Common Mistakes:

• Thinking virtual speeds up function calls
• Believing virtual prevents overriding
• Confusing virtual with memory allocation

2. Which of the following is the correct syntax to declare a virtual function in a base class?

easy

A. void display() virtual;

B. void virtual display();

C. virtual void display();

D. virtual: void display();

Solution

1. Step 1: Recall virtual function syntax

   The keyword virtual comes before the return type in the function declaration.

2. Step 2: Match correct syntax

   virtual void display(); correctly places virtual before void display();

3. Final Answer:

   virtual void display(); -> Option C

4. Quick Check:

   Virtual keyword precedes return type [OK]

Hint: Virtual always goes before return type in declaration [OK]

Common Mistakes:

• Placing virtual after function name
• Using virtual as a label or modifier incorrectly
• Missing semicolon after declaration

3. What will be the output of the following code?

class Base {
public:
    virtual void show() { std::cout << "Base"; }
};
class Derived : public Base {
public:
    void show() override { std::cout << "Derived"; }
};
int main() {
    Base* ptr = new Derived();
    ptr->show();
    delete ptr;
    return 0;
}

medium

A. Derived

B. Base

C. Compilation error

D. Runtime error

Solution

1. Step 1: Identify virtual function usage

   The show() function in Base is virtual and overridden in Derived.

2. Step 2: Understand pointer type and object type

   The pointer is of type Base* but points to a Derived object, so the overridden show() in Derived is called at runtime.

3. Final Answer:

   Derived -> Option A

4. Quick Check:

   Virtual function calls derived version [OK]

Hint: Virtual functions call derived method via base pointer [OK]

Common Mistakes:

• Expecting base class method output
• Confusing pointer type with object type
• Ignoring virtual keyword effect

4. Identify the error in the following code snippet related to runtime polymorphism:

class Animal {
public:
    void sound() { std::cout << "Animal sound"; }
};
class Dog : public Animal {
public:
    void sound() { std::cout << "Bark"; }
};
int main() {
    Animal* a = new Dog();
    a->sound();
    delete a;
    return 0;
}

medium

A. Incorrect pointer type declaration

B. Missing virtual keyword in base class function

C. Derived class function should be static

D. Memory leak due to missing delete

Solution

1. Step 1: Check base class function declaration

   The base class function sound() is not declared virtual, so no runtime polymorphism occurs.

2. Step 2: Effect on function call

   Because sound() is not virtual, calling a->sound() calls the base class version, not the derived one.

3. Final Answer:

   Missing virtual keyword in base class function -> Option B

4. Quick Check:

   Virtual needed for runtime polymorphism [OK]

Hint: Base function must be virtual for polymorphism [OK]

Common Mistakes:

• Assuming override works without virtual
• Thinking pointer type causes error
• Ignoring virtual keyword importance

5. Given the classes below, what will be the output when ptr->identify() is called?

class Shape {
public:
    virtual void identify() { std::cout << "Shape"; }
};
class Circle : public Shape {
public:
    void identify() override { std::cout << "Circle"; }
};
class ColoredCircle : public Circle {
public:
    void identify() override { std::cout << "Colored Circle"; }
};
int main() {
    Shape* ptr = new ColoredCircle();
    ptr->identify();
    delete ptr;
    return 0;
}

hard

A. Colored Circle

B. Circle

C. Shape

D. Compilation error due to multiple overrides

Solution

1. Step 1: Trace virtual function overrides

   identify() is virtual in Shape, overridden in Circle, and again in ColoredCircle.

2. Step 2: Determine actual object type at runtime

   The pointer ptr is of type Shape* but points to a ColoredCircle object, so the most derived override runs.

3. Final Answer:

   Colored Circle -> Option A

4. Quick Check:

   Most derived override called at runtime [OK]

Hint: Runtime calls most derived override in inheritance chain [OK]

Common Mistakes:

• Expecting base or intermediate class output
• Thinking multiple overrides cause errors
• Ignoring virtual override chain