PHP modern suporton deklarata tipi në parametrat e funksionit, vlerat kthyese dhe vetitë e klasës — dhe declare(strict_types=1) për t'i zbatuar ato në mënyrë strikte. Së bashku ato sjellin shumicën e sigurimit të gjuhëve me tip statik në PHP, duke kapur bugt në fillim.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Mund të tipizoni parametrat, vlerat kthyese dhe vetitë e klasës. Tipet përfshijnë shkallat (int, float, string, bool), klasat/interfejset, array, ?Type (nullable), dhe 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 shtoi union types (int|string), intersection types, dhe tipet speciale kthyese (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) kalon nga koercion i paduruar në zbatim strict — PHP refuzon mospërputhjet e tipit në vend që t'i konvertojë në heshtje. Kjo kapur bugt që koercion do të fshehte.
Deklaratat e tipit dhe tipet strikte janë të rëndësishme për të shkruar PHP moderne të fortë dhe të mirëmbajtshme, dhe ato përfaqësojnë një evolucion të madh të gjuhës përtej origjinës së saj përmes tipeve të lirshme.
Deklaratat e tipit në parametra, kthime dhe veti e bëjnë kodin self-documenting (nënshkrimet qartë deklarojnë pritjet) dhe i lejojnë PHP-së të kapur gabime tipi automatikisht, ndërsa shtimet moderne (union types, nullable types) e bëjnë nënshkrimet të sakta.
Praktika më e rëndësishme është declare(strict_types=1): ajo kalon PHP-në nga koercion i paduruar (ku "5" në heshtje bëhet 5, potencialisht duke fshehur bugt) në zbatim strict (refuzim i tipeve të mospërputhur me një qartë TypeError) — një mjet kyç për kapin e bugeve në fillim dhe për të shkruar kod të besueshëm, dhe rekomandim modern i paracaktimit.
Kuptimi i deklaratave të tipit dhe përdorimi i tipeve strikte është njohuri profesionale, përditëse për zhvillimin modern të PHP — ajo sjell shumicën e sigurimit të gjuhëve me tip statik në PHP, duke e bërë kodin më të fortë dhe më të lehtë për t'u mirëmbajtë.
Meqë framework-et moderne të PHP dhe bazat kodi të shkruajtura mirë përdorin tipizimin gjerësisht (dhe tipet strikte në të gjithë), zotërimi i kësaj është thelbësor për të shkruar dhe punuar me PHP cilësor bashkëkohor, duke dalluar kodin modern të sigurt për lloj nga stili i gabuar përmes tipeve të lirshme të PHP-së më të vjetër.