Is-a relationship mental model in C Sharp (C#) - Step-by-Step Execution

Concept Flow - Is-a relationship mental model

Base Class

↓

Derived Class

↓

Derived Class Instance

↓

Can use Base Class methods and properties

The 'Is-a' relationship means a derived class is a type of its base class, so it inherits its features and can be used wherever the base class is expected.

Execution Sample

C Sharp (C#)

using System;

class Animal {
  public void Eat() {
    Console.WriteLine("Eating food");
  }
}
class Dog : Animal {}

class Program {
  static void Main() {
    Dog myDog = new Dog();
    myDog.Eat();
  }
}

This code shows a Dog class inheriting from Animal, so a Dog object can use the Eat method defined in Animal.

Execution Table

Step	Action	Evaluation	Result
1	Define class Animal with method Eat	No output	Animal class created with Eat method
2	Define class Dog inheriting Animal	No output	Dog class created, inherits Eat method
3	Create Dog instance myDog	No output	myDog is a Dog object, also an Animal
4	Call myDog.Eat()	Calls Eat method from Animal	Prints 'Eating food'
5	Program ends	No further actions	Execution stops

💡 Program ends after calling Eat method on Dog instance

Variable Tracker

Variable	Start	After Creation	Final
myDog	null	Dog instance created	Dog instance with access to Eat method

Key Moments - 2 Insights

Why can myDog call Eat() even though Eat is defined in Animal, not Dog?

Because Dog inherits from Animal, it 'is a' type of Animal and gets all its methods, so myDog can use Eat() as shown in step 4 of the execution_table.

Does Dog have its own Eat method in this example?

No, Dog does not define Eat itself but inherits it from Animal, so calling myDog.Eat() uses the Animal version (see step 4).

Visual Quiz - 3 Questions

Look at the execution_table, what is printed when myDog.Eat() is called at step 4?

A "Dog is eating"

B No output

C "Eating food"

D Error: method not found

💡 Hint

Check step 4 in execution_table where myDog.Eat() prints the output.

At which step is the Dog instance created?

A Step 3

B Step 2

C Step 1

D Step 4

💡 Hint

Look at the action column in execution_table for instance creation.

If Dog did not inherit Animal, what would happen when calling myDog.Eat()?

A It would print "Eating food" anyway

B It would cause a compile-time error

C It would call a default Eat method

D It would print nothing

💡 Hint

Inheritance allows access to Eat method; without it, step 4 would fail.

Concept Snapshot

Is-a relationship means a derived class inherits from a base class.
Derived class objects can use base class methods and properties.
Syntax: class Derived : Base {}
Example: Dog is an Animal, so Dog inherits Animal's methods.
This supports code reuse and polymorphism.

Full Transcript

The Is-a relationship in programming means one class is a type of another class. Here, Dog inherits from Animal, so Dog 'is an' Animal. This means Dog gets all methods Animal has, like Eat. When we create a Dog object and call Eat, it uses the Animal's Eat method. This is shown step-by-step: defining classes, creating an instance, and calling the inherited method. Beginners often wonder why Dog can call Eat without defining it; the answer is inheritance. Without inheritance, calling Eat on Dog would cause an error. This model helps organize code by sharing common behavior in base classes.