Why Abstract classes in C++? - Purpose & Use Cases

The Big Idea

What if you could force your program to never forget important features for different objects?

The Scenario

Imagine you are building a program to manage different types of vehicles. You want to write code for common features like starting the engine, but each vehicle type has its own way to do it. Without abstract classes, you might write separate code for each vehicle, repeating yourself a lot.

The Problem

Writing separate code for each vehicle type is slow and error-prone. If you want to add a new vehicle, you must rewrite or copy code. It's easy to forget to implement some features, causing bugs. Managing many similar classes becomes confusing and messy.

The Solution

Abstract classes let you define a common blueprint for all vehicles. You specify which features must be implemented by each vehicle type, without writing the full code upfront. This keeps your program organized, avoids repetition, and ensures every vehicle has the required features.

Before vs After

✗ Before

class Car {
public:
    void startEngine() { /* car-specific start */ }
};
class Bike {
public:
    void startEngine() { /* bike-specific start */ }
};

✓ After

class Vehicle {
public:
    virtual void startEngine() = 0; // force derived classes to implement
};
class Car : public Vehicle {
public:
    void startEngine() override { /* car start */ }
};

What It Enables

Abstract classes enable you to design clear, reusable, and safe code structures that enforce essential behaviors across different types.

Real Life Example

Think of a remote control that works with many devices. The remote expects each device to respond to commands like power on/off. Abstract classes are like the remote's contract, ensuring every device knows how to respond.

Key Takeaways

Abstract classes define a required interface without full implementation.

They prevent code duplication and enforce consistent behavior.

They make adding new types easier and safer.

Practice

1. What is true about an abstract class in C++?

easy

A. It can be instantiated like any other class.

B. It cannot be instantiated directly.

C. It must have no member functions.

D. It cannot have any data members.

Solution

1. Step 1: Understand abstract class instantiation rules

   Abstract classes have at least one pure virtual function, so they cannot create objects directly.

2. Step 2: Check other options

   The other options are incorrect because abstract classes can have member functions and data members.

3. Final Answer:

   It cannot be instantiated directly. -> Option B

4. Quick Check:

   Abstract class = no direct objects [OK]

Hint: Abstract classes always have pure virtual functions [OK]

Common Mistakes:

• Thinking abstract classes can create objects
• Believing abstract classes cannot have data members
• Confusing abstract classes with interfaces

2. Which of the following is the correct way to declare a pure virtual function in a C++ abstract class?

easy

A. virtual void func() = 0;

B. void func() = 0;

C. virtual void func();

D. void func() {};

Solution

1. Step 1: Recall pure virtual function syntax

   Pure virtual functions are declared with 'virtual' keyword and '= 0' at the end.

2. Step 2: Analyze options

   virtual void func() = 0; matches the correct syntax. void func() = 0; misses 'virtual'. virtual void func(); is a normal virtual function. void func() {}; is a normal function with a body.

3. Final Answer:

   virtual void func() = 0; -> Option A

4. Quick Check:

   Pure virtual = virtual + '= 0' [OK]

Hint: Pure virtual always ends with '= 0;' [OK]

Common Mistakes:

• Omitting 'virtual' keyword
• Adding function body to pure virtual
• Confusing normal virtual with pure virtual

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

#include <iostream>
class Base {
public:
    virtual void show() = 0;
};
class Derived : public Base {
public:
    void show() { std::cout << "Hello"; }
};
int main() {
    Derived d;
    d.show();
    return 0;
}

medium

A. No output

B. Compilation error

C. Hello

D. Runtime error

Solution

1. Step 1: Check abstract class and derived implementation

   Base has a pure virtual function 'show'. Derived overrides it with a concrete implementation.

2. Step 2: Analyze main function output

   Derived object 'd' calls 'show()', which prints "Hello".

3. Final Answer:

   Hello -> Option C

4. Quick Check:

   Derived implements pure virtual, so prints output [OK]

Hint: Derived must implement pure virtual to avoid errors [OK]

Common Mistakes:

• Expecting compilation error without implementation
• Thinking pure virtual functions run by themselves
• Confusing output with no output

4. Identify the error in this code snippet:

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

class Concrete : public Abstract {
public:
    void display() { std::cout << "Hi"; }
};

int main() {
    Abstract a;
    Concrete c;
    c.display();
    return 0;
}

medium

A. Cannot instantiate abstract class 'Abstract' directly.

B. Missing implementation of display() in Concrete.

C. Syntax error in class declaration.

D. No error, code runs fine.

Solution

1. Step 1: Check instantiation of abstract class

   Abstract class 'Abstract' has a pure virtual function, so cannot create object 'a'.

2. Step 2: Verify other parts

   Concrete implements display(), so no error there. Syntax is correct.

3. Final Answer:

   Cannot instantiate abstract class 'Abstract' directly. -> Option A

4. Quick Check:

   Abstract objects not allowed [OK]

Hint: Never create objects of abstract classes [OK]

Common Mistakes:

• Trying to instantiate abstract class
• Ignoring pure virtual function rules
• Assuming implementation missing in derived

5. You want to design a shape system where every shape must provide its area calculation. Which is the best way to enforce this using abstract classes in C++?

hard

A. Create a class Shape with no functions and add area() only in derived classes.

B. Create a class Shape with a normal function double area() that returns 0, and override it in derived classes.

C. Create a class Shape with a virtual function double area() with empty body.

D. Create an abstract class Shape with a pure virtual function double area() = 0; and derive specific shapes implementing area().

Solution

1. Step 1: Understand requirement for enforcing area() implementation

   Using a pure virtual function in an abstract class forces all derived classes to implement area().

2. Step 2: Evaluate options

   Create an abstract class Shape with a pure virtual function double area() = 0; and derive specific shapes implementing area(). uses pure virtual function, which is the best way. Create a class Shape with a normal function double area() that returns 0, and override it in derived classes. returns 0 by default, which may hide missing implementations. Create a class Shape with no functions and add area() only in derived classes. does not enforce area() in base. Create a class Shape with a virtual function double area() with empty body. has virtual but not pure, so no enforcement.

3. Final Answer:

   Create an abstract class Shape with a pure virtual function double area() = 0; and derive specific shapes implementing area(). -> Option D

4. Quick Check:

   Pure virtual enforces implementation [OK]

Hint: Use pure virtual to force derived class methods [OK]

Common Mistakes:

• Using normal virtual instead of pure virtual
• Not enforcing method in base class
• Returning default values hiding missing overrides