Why Pure virtual functions in C++? - Purpose & Use Cases

The Big Idea

What if your program could force every part to do its job perfectly, every time?

The Scenario

Imagine you are building a program with different types of animals, each making a unique sound. You try to write separate functions for each animal's sound manually, but you want a way to ensure every animal class has its own sound function.

The Problem

Manually checking if every animal class has a sound function is slow and error-prone. You might forget to add the function in some classes, causing bugs or inconsistent behavior. It's like having a checklist but no way to enforce it automatically.

The Solution

Pure virtual functions let you define a function that must be implemented by every subclass. This means the compiler forces you to provide the specific behavior for each animal, ensuring consistency and preventing mistakes.

Before vs After

✗ Before

class Animal { public: void sound() { /* maybe empty or default */ } };

✓ After

class Animal { public: virtual void sound() = 0; };

What It Enables

It enables creating a clear contract for subclasses, guaranteeing they implement essential behaviors while allowing flexible and safe design.

Real Life Example

In a drawing app, you have a base Shape class with a pure virtual draw() function. Every shape like Circle or Rectangle must implement draw(), so the app knows how to display each shape correctly.

Key Takeaways

Pure virtual functions enforce that subclasses implement specific functions.

They prevent incomplete or inconsistent class designs.

They help create flexible and reliable code structures.

Practice

1. What is the main purpose of a pure virtual function in C++?

easy

A. To force derived classes to implement the function

B. To allow creating objects of the base class

C. To provide a default implementation in the base class

D. To make the function private

Solution

1. Step 1: Understand pure virtual function role

   A pure virtual function is declared with = 0 and has no body in the base class.

2. Step 2: Effect on derived classes

   Derived classes must provide their own implementation of this function, or they become abstract too.

3. Final Answer:

   To force derived classes to implement the function -> Option A

4. Quick Check:

   Pure virtual function = forces implementation [OK]

Hint: Pure virtual means must override in child class [OK]

Common Mistakes:

• Thinking pure virtual allows base class objects
• Assuming pure virtual provides default code
• Confusing pure virtual with private functions

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

easy

A. void draw() = 0;

B. virtual void draw() = 0;

C. virtual void draw() {}

D. void virtual draw() = 0;

Solution

1. Step 1: Recall pure virtual function syntax

   Pure virtual functions use the keyword virtual and end with = 0;.

2. Step 2: Check each option

   virtual void draw() = 0; matches the correct syntax: virtual void draw() = 0;. Others have wrong order, missing virtual, or provide a body.

3. Final Answer:

   virtual void draw() = 0; -> Option B

4. Quick Check:

   Syntax = virtual + = 0 [OK]

Hint: Pure virtual = virtual + = 0 at end [OK]

Common Mistakes:

• Placing 'virtual' after return type incorrectly
• Adding function body {} for pure virtual
• Omitting 'virtual' keyword

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

#include <iostream>
class Shape {
public:
  virtual void draw() = 0;
};

class Circle : public Shape {
public:
  void draw() { std::cout << "Circle drawn" << std::endl; }
};

int main() {
  Circle c;
  c.draw();
  return 0;
}

medium

A. No output

B. Compilation error: cannot instantiate abstract class

C. Circle drawn

D. Runtime error

Solution

1. Step 1: Analyze class Shape

   Shape has a pure virtual function draw(), so Shape is abstract and cannot be instantiated.

2. Step 2: Analyze class Circle

   Circle overrides draw() with its own implementation, so Circle is concrete and can be instantiated.

3. Step 3: Check main function

   Circle object c is created and c.draw() prints "Circle drawn".

4. Final Answer:

   Circle drawn -> Option C

5. Quick Check:

   Derived class implements pure virtual = prints output [OK]

Hint: Derived class must implement to create objects [OK]

Common Mistakes:

• Trying to instantiate abstract base class
• Forgetting to override pure virtual function
• Expecting no output due to pure virtual

4. Identify the error in this code snippet:

class Animal {
public:
  virtual void sound() = 0;
};

class Dog : public Animal {
};

int main() {
  Dog d;
  d.sound();
  return 0;
}

medium

A. No error, code runs fine

B. Animal class should not have pure virtual functions

C. Dog object cannot be created because main is missing

D. Dog class does not implement pure virtual function sound()

Solution

1. Step 1: Check pure virtual function in Animal

   Animal declares sound() as pure virtual, so Animal is abstract.

2. Step 2: Check Dog class implementation

   Dog inherits Animal but does not implement sound(), so Dog remains abstract and cannot be instantiated.

3. Step 3: Analyze main function

   Trying to create Dog object d causes compilation error because Dog is abstract.

4. Final Answer:

   Dog class does not implement pure virtual function sound() -> Option D

5. Quick Check:

   Abstract class must implement all pure virtual functions [OK]

Hint: Derived must implement all pure virtual functions [OK]

Common Mistakes:

• Assuming base class cannot have pure virtual functions
• Thinking missing main causes error here
• Believing code runs without overriding pure virtual

5. Given the following classes, which statement is true?

#include <iostream>
class Base {
public:
  virtual void f() = 0;
  virtual void g() { std::cout << "Base g" << std::endl; }
};

class Derived : public Base {
public:
  void f() override { std::cout << "Derived f" << std::endl; }
  void g() override { std::cout << "Derived g" << std::endl; }
};

int main() {
  Base* b = new Derived();
  b->f();
  b->g();
  delete b;
  return 0;
}

hard

A. Output is:
Derived f
Derived g

B. Output is:
Base f
Base g

C. Compilation error because Base has pure virtual function

D. Runtime error due to calling pure virtual function

Solution

1. Step 1: Understand Base class

   Base has pure virtual f() and virtual g() with implementation.

2. Step 2: Analyze Derived class

   Derived overrides both f() and g() with its own implementations.

3. Step 3: Check main function calls

   Pointer b of type Base* points to Derived object. Virtual calls invoke Derived versions of f() and g().

4. Final Answer:

   Output is: Derived f Derived g -> Option A

5. Quick Check:

   Virtual functions call derived overrides [OK]

Hint: Virtual calls use derived class methods [OK]

Common Mistakes:

• Expecting base class methods to run
• Thinking pure virtual causes compile error here
• Confusing pure virtual with runtime error