Modern PHP ondersteunt typeaanduidingen op functieparameters, retourwaarden en klasseigenschappen — en declare(strict_types=1) om deze strikt af te dwingen. Samen brengen ze veel van de veiligheid van statisch getypeerde talen naar PHP, waardoor bugs vroeg worden opgespoord.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Je kunt parameters, retourwaarden en klasseigenschappen typen. Typen omvatten scalairen (int, float, string, bool), klassen/interfaces, array, ?Type (nullable) en 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 voegde union types (int|string), intersection types en speciale retourtypen (static, never) toe.
<?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) schakelt van soepele coërcitie over op strikte handhaving — PHP verwerpt typemismatches in plaats van ze stilzwijgend om te zetten. Dit vangt bugs op die coërcitie zou verbergen.
Typeaanduidingen en strikte typen zijn belangrijk voor het schrijven van robuuste, onderhoudbare moderne PHP, en ze vertegenwoordigen een grote evolutie van de taal voorbij zijn losjes getypeerde oorsprong.
Typeaanduidingen op parameters, retourwaarden en eigenschappen maken code zelfverklarend (signatures stellen verwachtingen duidelijk) en stellen PHP in staat type-errors automatisch op te sporen, terwijl moderne toevoegingen (union types, nullable types) signatures nauwkeurig maken.
De belangrijkste praktijk is declare(strict_types=1): het schakelt PHP over van soepele coërcitie (waarbij "5" stilzwijgend 5 wordt, waardoor bugs mogelijk worden verborgen) naar strikte handhaving (mismatches afwijzen met een duidelijke TypeError) — een belangrijk hulpmiddel voor het vroeg opsporen van bugs en het schrijven van betrouwbare code, en de aanbevolen moderne standaard.
Inzicht in typeaanduidingen en het gebruik van strikte typen is professionele, dagelijks gebruikte kennis voor moderne PHP-ontwikkeling — het brengt veel van de veiligheid van statisch getypeerde talen naar PHP, waardoor code robuuster en gemakkelijker te onderhouden is.
Omdat moderne PHP-frameworks en goed geschreven codebases typering uitgebreid gebruiken (en strikte typen overal), is het beheersen hiervan essentieel voor het schrijven van en werken met kwaliteit van eigentijdse PHP, wat typeveilige moderne code onderscheidt van de foutgevoelige losjes-getypeerde stijl van oudere PHP.