Why polymorphism matters in C Sharp (C#) - Visual Breakdown

Concept Flow - Why polymorphism matters

Create base class reference

↓

Assign derived class object

↓

Call method via base reference

↓

Derived class method runs

↓

Program uses different objects interchangeably

Polymorphism lets a base class reference call methods of derived classes, enabling flexible and interchangeable object use.

Execution Sample

C Sharp (C#)

using System;

class Animal {
  public virtual void Speak() {
    Console.WriteLine("Animal speaks");
  }
}
class Dog : Animal {
  public override void Speak() {
    Console.WriteLine("Dog barks");
  }
}

class Program {
  static void Main() {
    Animal a = new Dog();
    a.Speak();
  }
}

This code shows a base class reference calling a derived class method, demonstrating polymorphism.

Execution Table

Step	Action	Object Type	Method Called	Output
1	Create Dog object	Dog	N/A	No output
2	Assign Dog object to Animal reference 'a'	Dog	N/A	No output
3	Call a.Speak()	Dog	Dog.Speak()	Dog barks
4	End of execution	N/A	N/A	Program ends

💡 Method call completes, program ends

Variable Tracker

Variable	Start	After Step 1	After Step 2	After Step 3	Final
a	null	null	Dog object	Dog object	Dog object

Key Moments - 2 Insights

Why does calling Speak() on 'a' run Dog's Speak() and not Animal's?

Because 'a' refers to a Dog object and Speak() is virtual and overridden, the runtime calls Dog's Speak() (see execution_table step 3).

Can we assign different derived objects to the same base reference?

Yes, polymorphism allows the base class reference 'a' to hold any derived class object, enabling flexible code reuse.

Visual Quiz - 3 Questions

Look at the execution_table, what is the output when a.Speak() is called at step 3?

A No output

B Animal speaks

C Dog barks

D Compilation error

💡 Hint

Check the 'Output' column in execution_table row for step 3

At which step is the Dog object assigned to the Animal reference 'a'?

A Step 2

B Step 3

C Step 1

D Step 4

💡 Hint

Look at the 'Action' column in execution_table for assignment

If we create a Cat class derived from Animal and assign it to 'a', what method runs when calling a.Speak()?

A Animal's Speak()

B Cat's Speak()

C Dog's Speak()

D No method runs

💡 Hint

Polymorphism calls the derived class method of the actual object assigned to 'a'

Concept Snapshot

Polymorphism lets a base class reference hold derived objects.
Calling virtual methods runs the derived class version.
This enables flexible, interchangeable object use.
Use 'virtual' in base and 'override' in derived classes.
It helps write reusable and extendable code.

Full Transcript

Polymorphism is a key idea in programming where a base class reference can point to objects of derived classes. When you call a method on the base reference, the program runs the version of the method from the actual derived object. This lets you write code that works with many types of objects in a flexible way. In the example, an Animal reference 'a' holds a Dog object. Calling a.Speak() runs Dog's Speak method, not Animal's. This happens because Speak is marked virtual in Animal and overridden in Dog. Polymorphism helps you reuse code and add new types easily without changing existing code.