Moderni PHP podpira deklaracije tipov na parametrih funkcij, povratnih vrednostih in lastnostih razredov — ter declare(strict_types=1) za njihovo strogo uveljavitev. Skupaj prinašata veliko varnosti statično tipiziranih jezikov v PHP, pri čemer zgodaj ujameta napake.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Tipizirate lahko parametre, povratne vrednosti in lastnosti razredov. Tipi vključujejo skalarne tipe (int, float, string, bool), razrede/vmesnike, array, ?Type (nullable) in 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 je dodal unijske tipe (int|string), presečne tipe in posebne povratne tipe (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) preklopi iz popustljivega prisilnega pretvarjanja na strogo uveljavitev — PHP zavrne neskladnosti tipov namesto da bi jih nemo pretvoril. To ujame napake, ki bi jih prisilno pretvarjanje skrivalo.
Deklaracije tipov in strogi tipi so pomembni za pisanje robustnega in vzdrživanega sodobnega PHP-ja in predstavljajo veliko razvojo jezika onkraj njegovih ohlapno tipiziranih izvorov.
Deklaracije tipov na parametrih, povratnih vrednostih in lastnostih naredijo kodo samo-dokumentirajočo (podpisi jasno navedejo pričakovanja) in omogočijo PHP-ju avtomatično ujemanje napak tipov, medtem ko moderne dodane možnosti (unijski tipi, nullable tipi) naredijo podpise natančne.
Najvažnejša praksa je declare(strict_types=1): preklopi PHP iz popustljivega prisilnega pretvarjanja (kjer se "5" nemo pretvori v 5, kar lahko skriva napake) v strogo uveljavitev (zavrne neskladne tipe z jasno TypeError) — ključno orodje za zgodnje ujemanje napak in pisanje zanesljive kode, ter priporočena sodobna privzeta nastavitev.
Razumevanje deklaracij tipov in uporaba strogih tipov je strokovno, vsakodnevno znanje za sodobni PHP razvoj — prinašata varnost statično tipiziranih jezikov v PHP, kar kodo naredi bolj robustno in lažjo za vzdrževanje.
Ker sodobni PHP ogrodja in dobro napisane osnove kode pogosto uporabljajo tipiziranje (in stroge tipe povsod), je obvladovanje tega bistveno za pisanje in delo s kakovostnim sodobnim PHP-jem, razlikovanje med varnim moderniziranim kodom in napačljivim ohlapno tipiziranim slogom starejšega PHP-ja.