Type hinting with parent classes in PHP - Step-by-Step Execution

Concept Flow - Type hinting with parent classes

Define Parent Class

↓

Define Child Class extends Parent

↓

Function with parameter type hinted as Parent

↓

Call function with Parent instance

→Accept

↓

Call function with Child instance

→Accept

↓

Call function with unrelated class

→Error

The flow shows how a function expects a parameter of the parent class type, allowing instances of the parent or any child class to be passed safely.

Execution Sample

PHP

<?php
class Animal {}
class Dog extends Animal {}
function greet(Animal $a) {
  echo "Hello!";
}
greet(new Dog());
?>

This code defines a parent class Animal and a child class Dog. The greet function accepts an Animal type, so it also accepts Dog instances.

Execution Table

Step	Code Line	Action	Parameter Type	Result
1	class Animal {}	Define parent class Animal	-	Animal class created
2	class Dog extends Animal {}	Define child class Dog	-	Dog class created, inherits Animal
3	function greet(Animal $a) {...}	Define function greet with Animal type hint	Animal	Function greet ready
4	greet(new Dog())	Call greet with Dog instance	Dog (child of Animal)	Accepted, prints 'Hello!'
5	greet(new Animal())	Call greet with Animal instance	Animal	Accepted, prints 'Hello!'
6	greet(new stdClass())	Call greet with unrelated class	stdClass	Error: Type hint violation

💡 Execution stops on error when passing an unrelated class instance to greet.

Variable Tracker

Variable	Start	After greet(new Dog())	After greet(new Animal())	After greet(new stdClass())
$a	undefined	Dog instance	Animal instance	stdClass instance (error)

Key Moments - 2 Insights

Why can the greet function accept a Dog instance when it expects an Animal?

Because Dog is a child class of Animal, it inherits from Animal, so it matches the type hint. See execution_table row 4.

What happens if we pass an unrelated class instance to greet?

It causes a type hint error because the instance does not inherit from Animal. See execution_table row 6.

Visual Quiz - 3 Questions

Look at the execution_table, what type is accepted by the greet function parameter $a?

A Any class instance

B Only instances of Animal

C Instances of Animal and its child classes

D Only instances of Dog

💡 Hint

Check rows 4 and 5 where greet accepts Dog and Animal instances.

At which step does the program produce a type hint error?

A Step 6

B Step 4

C Step 5

D No error occurs

💡 Hint

See execution_table row 6 for the error with stdClass instance.

If we remove 'extends Animal' from class Dog, what happens when calling greet(new Dog())?

A It works fine

B It causes a type hint error

C Dog becomes a parent class

D No change in behavior

💡 Hint

Without inheritance, Dog is unrelated to Animal, so greet(new Dog()) fails type hint.

Concept Snapshot

Type hinting with parent classes in PHP:
- Use class ParentClass {}
- Child classes extend ParentClass
- Function parameters can be type hinted as ParentClass
- Accepts instances of ParentClass or any child class
- Passing unrelated classes causes type errors

Full Transcript

This example shows how PHP type hinting works with parent classes. We define a parent class Animal and a child class Dog that extends Animal. The function greet expects a parameter of type Animal. Because Dog inherits from Animal, passing a Dog instance to greet is allowed. Passing an unrelated class instance causes a type hint error. This helps ensure functions get the right kind of objects, making code safer and clearer.