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.

Practice

1.

What does type hinting with a parent class in PHP allow?

For example, using function foo(ParentClass $obj).

easy

A. It disables type checking for the function parameter.

B. It restricts the function to accept only the exact parent class, not child classes.

C. It only accepts objects of child classes, not the parent class itself.

D. It allows passing any object that is an instance of the parent class or its child classes.

Solution

1. Step 1: Understand type hinting with parent classes

   Type hinting with a parent class means the function accepts objects of that class or any subclass.

2. Step 2: Apply to the example

   Using ParentClass $obj allows passing instances of ParentClass or any class that extends it.

3. Final Answer:

   It allows passing any object that is an instance of the parent class or its child classes. -> Option D

4. Quick Check:

   Parent class type hint = accepts parent or child objects [OK]

Hint: Parent class hint accepts parent and child objects [OK]

Common Mistakes:

• Thinking only exact parent class objects are accepted
• Believing child classes are excluded
• Confusing type hinting with disabling checks

2.

Which of the following is the correct syntax to type hint a function parameter with a parent class Animal in PHP?

function feed(____ $pet) { /* ... */ }

easy

A. Animal $pet

B. $pet Animal

C. class Animal $pet

D. type Animal $pet

Solution

1. Step 1: Recall PHP type hint syntax

   In PHP, the type hint comes before the variable name: Type $variable.

2. Step 2: Apply to the example

   For class Animal, the correct syntax is Animal $pet.

3. Final Answer:

   Animal $pet -> Option A

4. Quick Check:

   Type hint before variable name = Animal $pet [OK]

Hint: Type hint is class name before variable with $ [OK]

Common Mistakes:

• Placing variable before type hint
• Adding extra keywords like 'class' or 'type'
• Omitting the $ sign on variable

3.

Given the code below, what will be the output?

class Vehicle {}
class Car extends Vehicle {}

function startEngine(Vehicle $v) {
    echo get_class($v);
}

$car = new Car();
startEngine($car);

medium

A. Error: Type mismatch

B. Vehicle

C. Car

D. No output

Solution

1. Step 1: Understand type hinting with inheritance

   The function expects a Vehicle object or subclass. Car extends Vehicle, so passing Car is valid.

2. Step 2: Analyze output of get_class()

   get_class($v) returns the actual class name of the object, which is 'Car'.

3. Final Answer:

   Car -> Option C

4. Quick Check:

   Type hint accepts subclass; get_class returns actual class [OK]

Hint: get_class shows actual object class, not type hint [OK]

Common Mistakes:

• Assuming output is parent class name
• Expecting a type error for subclass
• Thinking no output is produced

4.

What is the error in the following PHP code?

class Fruit {}
class Apple extends Fruit {}

function eat(Apple $fruit) {
    echo "Eating apple";
}

$fruit = new Fruit();
eat($fruit);

medium

A. Syntax error: missing semicolon

B. Fatal error: Argument must be of type Apple, Fruit given

C. No error, outputs 'Eating apple'

D. Warning: Undefined variable $fruit

Solution

1. Step 1: Check type hint and argument

   The function expects an Apple object, but the argument is a Fruit object (parent class).

2. Step 2: Understand PHP type hint rules

   PHP requires the argument to be the hinted class or subclass, not a parent class. Passing Fruit causes a fatal error.

3. Final Answer:

   Fatal error: Argument must be of type Apple, Fruit given -> Option B

4. Quick Check:

   Type hint mismatch with parent class argument = fatal error [OK]

Hint: Child class hint rejects parent class objects [OK]

Common Mistakes:

• Thinking parent class can replace child hint
• Expecting no error on type mismatch
• Confusing syntax error with type error

5.

Consider the following classes and function:

class Employee {}
class Manager extends Employee {}
class Developer extends Employee {}

function assignTask(Employee $e) {
    if ($e instanceof Manager) {
        return "Assigning management task";
    } elseif ($e instanceof Developer) {
        return "Assigning coding task";
    } else {
        return "Assigning general task";
    }
}

$worker = new Manager();
echo assignTask($worker);

What will be the output and why?

hard

A. Assigning management task

B. Assigning coding task

C. Assigning general task

D. Type error: argument must be Employee

Solution

1. Step 1: Check type hint and argument

   The function accepts any Employee or subclass. Manager is a subclass, so passing $worker is valid.

2. Step 2: Evaluate instanceof conditions

   The code checks if $e is a Manager, which is true, so it returns "Assigning management task".

3. Final Answer:

   Assigning management task -> Option A

4. Quick Check:

   Type hint accepts subclass; instanceof detects Manager [OK]

Hint: Type hint parent + instanceof child checks for behavior [OK]

Common Mistakes:

• Expecting type error for subclass argument
• Ignoring instanceof checks order
• Assuming general task is assigned