Moderne PHP støtter typeerklæringer på funksjonsparametere, returverdier og klasseegenskaper — og declare(strict_types=1) for å håndheve dem strengt. Sammen bringer de mye av sikkerheten fra statisk typede språk til PHP, og fanger opp feil tidlig.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Du kan type parametere, returverdier og klasseegenskaper. Typer inkluderer skalarer (int, float, string, bool), klasser/grensesnitt, array, ?Type (nullable), og 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 la til union types (int|string), intersection types, og spesielle returtyper (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) bytter fra mild tvang til streng håndhevelse — PHP avviser typebrudd i stedet for å konvertere dem stillt. Dette fanger opp feil som tvang ville skjult.
Typeerklæringer og strenge typer er viktige for å skrive robust, vedlikeholdbar moderne PHP, og de representerer en stor utvikling av språket utover dets løst typede opprinnelse.
Typeerklæringer på parametere, returverdier og egenskaper gjør kode selv-dokumenterende (signaturer angir klart forventninger) og lar PHP fange type-feil automatisk, mens moderne tillegg (union types, nullable types) gjør signaturer presise.
Den viktigste praksis er declare(strict_types=1): det bytter PHP fra mild tvang (der "5" stillt blir 5, potensialt skjuler feil) til streng håndhevelse (avviser mismatched typer med en klar TypeError) — et nøkkelverktøy for å fange opp feil tidlig og skrive pålitelig kode, og den anbefalte moderne standarden.
Å forstå typeerklæringer og bruke strenge typer er faglig, daglig kunnskap for moderne PHP-utvikling — det bringer mye av sikkerheten fra statisk typede språk til PHP, og gjør kode mer robust og lettere å vedlikeholde.
Siden moderne PHP-rammeverk og velskrevet kodebase bruker typing extensively (og strenge typer gjennomgående), er det essensielt for å skrive og arbeide med kvalitets moderne PHP, og skiller type-sikker moderne kode fra den feilaktig løst typede stilen fra eldre PHP.