PHP modern suportă declarații de tip pe parametrii funcțiilor, valori returnate și proprietăți de clasă — și declare(strict_types=1) pentru a le aplica strict. Împreună, ele aduc o mare parte din siguranța limbajelor cu tipuri statice în PHP, detectând bug-uri devreme.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Poți tipa parametrii, valori returnate și proprietăți de clasă. Tipurile includ scalari (int, float, string, bool), clase/interfețe, array, ?Type (nullable), și 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 a adăugat union types (int|string), intersection types, și tipuri speciale de retur (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) comută de la coerție ușor de folosit la aplicare strictă — PHP respinge nepotriviri de tip în loc să le convertească în tăcere. Aceasta detectează bug-uri pe care coerția le-ar ascunde.
Declarațiile de tip și tipurile stricte sunt importante pentru scrierea PHP robust și ușor de întreținut în era modernă, și reprezintă o evoluție majoră a limbajului dincolo de originile sale cu tipuri libere.
Declarațiile de tip pe parametrii, retur și proprietăți fac codul auto-documentat (semnăturile declară clar așteptări) și permit PHP să detecteze erori de tip automat, în timp ce adăugirile moderne (union types, nullable types) fac semnăturile precise.
Practica cea mai importantă este declare(strict_types=1): aceasta comută PHP de la coerție ușoară (unde "5" devine în tăcere 5, ascunzând potențial bug-uri) la aplicare strictă (respingând tipuri nepotrivite cu un TypeError clar) — un instrument cheie pentru detectarea bug-urilor devreme și scrierea codului de încredere, și recomandarea modernă implicită.
Înțelegerea declarațiilor de tip și utilizarea tipurilor stricte este cunoaștere profesională, cotidiană pentru dezvoltarea PHP modernă — aduce o mare parte din siguranța limbajelor cu tipuri statice în PHP, făcând codul mai robust și mai ușor de întreținut.
Deoarece framework-urile PHP moderne și codebase-urile bine scrise utilizează tipizarea pe scară largă (și tipurile stricte peste tot), stăpânirea acestui lucru este esențială pentru scrierea și lucrul cu PHP contemporan de calitate, distinzând codul modern cu tipuri sigure de stilul loosely-typed prone la erori din PHP-ul mai vechi.