Type declarations for parameters in PHP - Step-by-Step Execution

Concept Flow - Type declarations for parameters

Function called with arguments

↓

Check each parameter type

↓

Type matches

↓

Use value

↓

Function body executes

↓

Return result or end

When a function is called, PHP checks if the arguments match the declared types. If they do, the function runs; if not, an error occurs.

Execution Sample

PHP

<?php
declare(strict_types=1);
function greet(string $name) {
  return "Hello, $name!";
}
echo greet("Alice");
?>

This code defines a function that requires a string parameter and prints a greeting.

Execution Table

Step	Action	Parameter	Passed Value	Type Check Result	Function Output
1	Function greet called	$name	"Alice"	string matches string
2	Inside function	$name	"Alice"	Valid	"Hello, Alice!"
3	Function returns				"Hello, Alice!"
4	Output printed				Hello, Alice!

💡 Function ends after returning the greeting string.

Variable Tracker

Variable	Start	After call	Final
$name	undefined	"Alice"	"Alice"

Key Moments - 2 Insights

What happens if we pass a number instead of a string to greet()?

PHP will throw a TypeError because the parameter $name expects a string, as shown in the type check step in the execution_table.

Can we omit the type declaration and still pass any value?

Yes, if no type is declared, PHP accepts any type, but you lose the safety of type checking, which can cause bugs later.

Visual Quiz - 3 Questions

Look at the execution_table, what is the type check result when greet is called with "Alice"?

A Type mismatch error

B No type declared

C string matches string

D Integer matches string

💡 Hint

Check the 'Type Check Result' column in the first row of execution_table.

At which step does the function return the greeting string?

A Step 1

B Step 3

C Step 2

D Step 4

💡 Hint

Look at the 'Function Output' column to find when the return happens.

If we remove the type declaration from the parameter, what changes in the execution?

A Type check step is skipped

B Function will always error

C Parameter becomes integer automatically

D Function output changes

💡 Hint

Refer to the 'Type Check Result' column and think about what happens without type declarations.

Concept Snapshot

Type declarations specify what type a function parameter must be.
PHP checks argument types when the function is called.
If types don't match, PHP throws an error.
If no type is declared, any type is accepted.
This helps catch bugs early and makes code clearer.

Full Transcript

This visual trace shows how PHP checks parameter types when calling a function with type declarations. The function greet requires a string parameter named $name. When called with "Alice", PHP confirms the argument is a string, allowing the function to run and return a greeting. If a wrong type is passed, PHP would throw a TypeError. Without type declarations, PHP accepts any type but loses safety. Tracking the variable $name shows it holds the passed string during execution. This helps beginners understand how PHP enforces types for function parameters step-by-step.