Modern PHP understøtter typedeklarationer på funktionsparametre, returværdier og klasseegenskaber — og declare(strict_types=1) til at håndhæve dem strengt. Sammen bringer de meget af sikkerheden fra statisk typede sprog til PHP og fanger fejl tidligt.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Du kan skrive typer på parametre, returværdier og klasseegenskaber. Typer omfatter skalarer (int, float, string, bool), klasser/interfaces, 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 tilføjede union types (int|string), intersection types og specielle 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) skifter fra mild typetilpasning til streng håndhævelse — PHP afviser typefejl i stedet for stiltiende at konvertere dem. Dette fanger fejl, som typetilpasning ville skjule.
Typedeklarationer og strenge typer er vigtige for at skrive robust, vedligeholdbar modern PHP, og de repræsenterer en større udvikling af sproget ud over dets løst typede oprindelser.
Typedeklarationer på parametre, returværdier og egenskaber gør kode selvdokumenterende (signaturer præciserer klart forventninger) og lader PHP fange typefejl automatisk, mens moderne udvidelser (union types, nullable types) gør signaturer præcise.
Den vigtigste praksis er declare(strict_types=1): det skifter PHP fra mild typetilpasning (hvor "5" stiltiende bliver 5, potentielt skjulende fejl) til streng håndhævelse (afvisende uoverensstemmende typer med en klar TypeError) — et vigtigt værktøj til at fange fejl tidligt og skrive pålidelig kode, og den anbefalede moderne standard.
At forstå typedeklarationer og bruge strenge typer er professionel, daglig viden for modern PHP-udvikling — det bringer meget af sikkerheden fra statisk typede sprog til PHP, hvilket gør kode mere robust og lettere at vedligeholde.
Da moderne PHP-frameworks og vel skrevne kodebaser bruger typing omfattende (og strenge typer overalt), er det at mestre dette væsentligt for at skrive og arbejde med kvalitet nutidigt PHP, hvilket adskiller typesikker moderne kode fra den fejludsatte løst typede stil fra ældre PHP.