Nowoczesny PHP obsługuje deklaracje typów w parametrach funkcji, wartościach zwracanych i właściwościach klas — oraz declare(strict_types=1) do ich ścisłego egzekwowania. Razem przynoszą one wiele bezpieczeństwa języków statycznie typowanych do PHP, wyłapując błędy na wczesnym etapie.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Możesz typować parametry, wartości zwracane i właściwości klas. Typy obejmują skalary (int, float, string, bool), klasy/interfejsy, 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 dodało typy unii (int|string), typy przecięcia i specjalne typy zwracane (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) przełącza z pobłażliwej koercji na ścisłe egzekwowanie — PHP odrzuca niezgodności typów zamiast ich milcząco konwertować. To wyłapuje błędy, które koercja by ukryła.
Deklaracje typów i typy ścisłe są ważne do pisania niezawodnego, łatwego w utrzymaniu nowoczesnego PHP i reprezentują główną ewolucję języka poza jego luźno typowanymi początkami.
Deklaracje typów w parametrach, zwracanych wartościach i właściwościach sprawiają, że kod jest samodokumentujący się (sygnatury wyraźnie określają oczekiwania) i pozwalają PHP automatycznie wyłapywać błędy typów, podczas gdy nowoczesne dodatki (typy unii, typy nullable) sprawiają, że sygnatury są precyzyjne.
Najważniejszą praktyką jest declare(strict_types=1): przełącza PHP z pobłażliwej koercji (gdzie "5" milcząco staje się 5, potencjalnie ukrywając błędy) na ścisłe egzekwowanie (odrzucanie niedopasowanych typów z jasnym TypeError) — kluczowe narzędzie do wyłapywania błędów na wczesnym etapie i pisania niezawodnego kodu, i zalecanego nowoczesnego standardu.
Zrozumienie deklaracji typów i używanie typów ścisłych to profesjonalna, codzienna wiedza dla nowoczesnego tworzenia PHP — przynosi wiele bezpieczeństwa języków statycznie typowanych do PHP, czyniąc kod bardziej niezawodnym i łatwiejszym w utrzymaniu.
Ponieważ nowoczesne frameworki PHP i dobrze napisane bazy kodów używają typowania intensywnie (i typów ścisłych wszędzie), opanowanie tego jest niezbędne do pisania i pracy z jakościowym współczesnym PHP, odróżniającym typ-bezpieczny nowoczesny kod od podatnego na błędy luźno typowanego stylu starszego PHP.