Moderno PHP supporta dichiarazioni di tipo su parametri di funzione, valori di ritorno e proprietà di classe — e declare(strict_types=1) per farle rispettare rigorosamente. Insieme portano gran parte della sicurezza dei linguaggi tipizzati staticamente in PHP, catturando i bug in anticipo.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Puoi tipizzare parametri, valori di ritorno e proprietà di classe. I tipi includono scalari (int, float, string, bool), classi/interfacce, array, ?Type (nullable), e void.
function process(int|string $id): User|null { } // union type — int OR string
function handle(Countable&Iterator $x): void { } // intersection (PHP 8.1) — BOTH
function get(): static { } // return the called class's type
function nothing(): never { } // never returns (throws/exits, PHP 8.1)
PHP 8 ha aggiunto union types (int|string), intersection types, e tipi di ritorno speciali (static, never).
<?php
declare(strict_types=1); // MUST be the first statement in the file
function add(int $a, int $b): int { return $a + $b; }
add(5, 3); // ✅ 8
add("5", 3); // ❌ TypeError — strict_types REJECTS the string (no coercion)
WITHOUT strict_types (default "coercive" mode):
add("5", 3) → "5" is silently coerced to int 5 → returns 8 (lenient, can hide bugs)
WITH strict_types=1:
add("5", 3) → TypeError immediately (must pass the exact declared type)
declare(strict_types=1) passa dalla coercizione permissiva all'applicazione ristretta — PHP rifiuta le discrepanze di tipo invece di convertirle silenziosamente. Questo cattura i bug che la coercizione nasconderebbe.
Le dichiarazioni di tipo e i tipi ristretti sono importanti per scrivere moderno PHP robusto e mantenibile, e rappresentano un'evoluzione importante del linguaggio oltre le sue origini debolmente tipizzate.
Le dichiarazioni di tipo su parametri, ritorni e proprietà rendono il codice auto-documentato (le firme indicano chiaramente le aspettative) e permettono a PHP di catturare errori di tipo automaticamente, mentre i moderni aggiuntivi (union types, nullable types) rendono le firme precise.
La pratica più importante è declare(strict_types=1): cambia PHP dalla coercizione permissiva (dove "5" diventa silenziosamente 5, potenzialmente nascondendo bug) all'applicazione ristretta (rifiutando i tipi non corrispondenti con un chiaro TypeError) — uno strumento chiave per catturare i bug in anticipo e scrivere codice affidabile, e il consigliato standard moderno.
Comprendere le dichiarazioni di tipo e usare tipi ristretti è conoscenza professionale, quotidiana per lo sviluppo PHP moderno — porta gran parte della sicurezza dei linguaggi tipizzati staticamente in PHP, rendendo il codice più robusto e più facile da mantenere.
Poiché moderni framework PHP e codebases ben scritti usano la tipizzazione estensivamente (e tipi ristretti dappertutto), padroneggiare questo è essenziale per scrivere e lavorare con quality contemporaneo PHP, distinguendo il codice moderno type-safe dallo stile debolmente tipizzato propenso a errori del vecchio PHP.