A modern PHP támogatja a típusdeklarációkat a függvény paramétereknél, visszatérési értékeknél és osztálytulajdonságoknál — és a declare(strict_types=1) direktívát azok szigorú érvényesítéséhez. Együtt a statikusan tipizált nyelvek biztonsági szintjét hozzák a PHP-hez, korán felismerve a hibákat.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Típusozhat paramétereket, visszatérési értékeket és osztálytulajdonságokat. A típusok közé tartoznak a skalárok (int, float, string, bool), osztályok/interfészek, array, ?Type (nullable), és 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)
A PHP 8 hozzáadott union típusokat (int|string), intersection típusokat és spéciális visszatérési típusokat (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)
A declare(strict_types=1) a laza típuskonverzióról a szigorú érvényesítésre vált — a PHP elutasítja a típuseltéréseket ahelyett, hogy csendesen konvertálná őket. Ez felismer olyan hibákat, amelyeket a konverzió eltakarhat.
A típusdeklarációk és szigorú típusok fontosak a robusztus, karbantartható modern PHP írásához, és a nyelvnek a laza tipizálásból való jelentős fejlődésének képviselik.
A paraméterekre, visszatérésekre és tulajdonságokra vonatkozó típusdeklarációk öndokumentáló kódot készítenek (az aláírások világosan kifejezik az elvárásokat) és lehetővé teszik a PHP-nek a típushibák automatikus felismerését, míg a modern kiegészítések (union típusok, nullable típusok) az aláírásokat pontosabbá teszik.
A legfontosabb gyakorlat a declare(strict_types=1): a PHP-t a laza konverzióból (ahol a "5" csendesen 5-té válik, potenciálisan hibákat eltakarva) a szigorú érvényesítésre váltja (az eltérő típusokat világos TypeError-ral elutasítva) — a hibák korai felismerésének és megbízható kód írásának kulcsfontosságú eszköze, és a modern ajánlott alapértelmezett érték.
A típusdeklarációk megértése és szigorú típusok használata a modern PHP-fejlesztés professzionális, napi ismerete — a statikusan tipizált nyelvek biztonsági szintjét hozzák a PHP-hez, robusztusabbá és könnyebben karbantarthatóvá téve a kódot.
Mivel a modern PHP keretrendszerek és jól megírt kódbázisok széles körben használnak tipizálást (és szigorú típusokat végig), ennek elsajátítása nélkülözhetetlen a kiváló kortárs PHP írásához és használatához, megkülönböztetve a típusbiztos modern kódot a régebbi PHP hibalehetőséges laza tipizálási stílusától.