Moderní PHP podporuje deklarace typů na parametrech funkcí, návratových hodnotách a vlastnostech tříd — a declare(strict_types=1) pro jejich přísné vynucování. Společně přinášejí do PHP velkou část bezpečnosti staticky typovaných jazyků, což umožňuje včasné odhalení chyb.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Můžete typovat parametry, návratové hodnoty a vlastnosti tříd. Typy zahrnují skaláry (int, float, string, bool), třídy/rozhraní, array, ?Type (nullable) a 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 přidalo union typy (int|string), intersection typy a speciální návratové typy (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) přepíná z benevolentní koerce na přísné vynucování — PHP odmítá typy, které se neshodují, místo tiché jejich konverze. To odhaluje chyby, které by koerce skryla.
Deklarace typů a striktní typy jsou důležité pro psaní robustního a udržitelného moderního PHP a představují významný vývoj jazyka za jeho volně typované počátky.
Deklarace typů na parametrech, návratových hodnotách a vlastnostech činí kód samo-dokumentující (signatury jasně uvádějí očekávání) a umožňují PHP automaticky zachytit chyby typů, zatímco moderní doplňky (union typy, nullable typy) činí signatury přesnými.
Nejdůležitější praktikou je declare(strict_types=1): přepíná PHP z benevolentní koerce (kde "5" tiše devient 5, což může skrýt chyby) na přísné vynucování (odmítnutí neodpovídajících typů jasnou chybou TypeError) — klíčový nástroj pro včasné odhalení chyb a psaní spolehlivého kódu, doporučená moderní výchozí hodnota.
Porozumění deklaracím typů a používání striktních typů je profesionální, každodenní znalostí pro moderní vývoj PHP — přináší do PHP velkou část bezpečnosti staticky typovaných jazyků, činí kód robustnějším a snáze udržovatelným.
Protože moderní PHP frameworky a kvalitně napsané kódové základy používají typování rozsáhle (a striktní typy všude), zvládnutí tohoto je zásadní pro psaní a práci s kvalitním současným PHP, což rozlišuje typově bezpečný moderní kód od chybě-náchylného volně typovaného stylu staršího PHP.