Moderan PHP podržava deklaracije tipova na parametrima funkcija, povratnim vrijednostima i svojstvima klasa — i declare(strict_types=1) za njihovo strogo enforcement. Zajedno donose većinu sigurnosti statički tipiziranih jezika u PHP, lovećih greške rano.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Možete tipizirati parametre, povratne vrijednosti i svojstva klasa. Tipovi uključuju skalare (int, float, string, bool), klase/sučelja, 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 je dodao union tipove (int|string), intersection tipove, i specijalne povratne tipove (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) prebacuje od blagih pretvorbi na strogu enforcement — PHP odbacuje nepodudaranja tipova umjesto tihe konverzije. Ovo lovače greške koje bi konverzija mogla sakriti.
Deklaracije tipova i strogi tipovi važni su za pisanje robusnog, održavnog modernog PHP-a, i predstavljaju glavnu evoluciju jezika izvan njegova slobodno tipiziranog podrijetla.
Deklaracije tipova na parametrima, povratnim vrijednostima i svojstvima čine kod 自objašnjavajućim (potpisi jasno navode očekivanja) i omogućuju PHP-u da automatski lovće greške tipova, dok moderna dodaci (union tipovi, nullable tipovi) čine potpise preciznim.
Najvažnija praksa je declare(strict_types=1): prebacuje PHP od blagih pretvorbi (gdje "5" tiho postaje 5, potencijalno skrivajući greške) na strogu enforcement (odbacujući nepodudarane tipove s jasnom TypeError) — ključni alat za ranije hvatanje grešaka i pisanje pouzdanog koda, i preporučeni moderni zadani standard.
Razumijevanje deklaracija tipova i korištenje strogih tipova je profesionalno, svakodnevno znanje za moderni PHP razvoj — donosi većinu sigurnosti statički tipiziranih jezika u PHP, čineći kod robusnijom i lakšim za održavanje.
Budući da moderni PHP frameworki i dobro napisani kodovi koriste tipiziranje ekstenzivno (i stroge tipove svugdje), savladavanje toga je neophodno za pisanje i rad s kvalitetnim suvremenim PHP kodom, razlikujući type-safe moderni kod od pogrebnog slobodno tipiziranog stila starijeg PHP-a.