Modern PHP stöder typdeklarationer på funktionsparametrar, returvärden och klassegenskaper — och declare(strict_types=1) för att tvinga fram strikta kontroller. Tillsammans ger de mycket av säkerheten från statiskt typade språk till PHP och fångar buggar tidigt.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Du kan deklarera typer för parametrar, returvärden och klassegenskaper. Typer inkluderar skalärtyper (int, float, string, bool), klasser/gränssnitt, array, ?Type (nullable) och 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 lade till union-typer (int|string), intersection-typer och speciella 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) byter från slapphänta tvångkonvertering till strikt validering — PHP förkastar typfel istället för att konvertera dem tyst. Detta fångar buggar som tvångkonvertering skulle dölja.
Typdeklarationer och strikta typer är viktiga för att skriva robust, underhållbar modern PHP, och de representerar en stor utveckling av språket bortom dess löst typade ursprung.
Typdeklarationer på parametrar, returvärden och egenskaper gör koden självförklarande (signaturer tydliggör förväntningar) och låter PHP fånga typfel automatiskt, medan moderna tillägg (union-typer, nullable-typer) gör signaturer precisa.
Den viktigaste praktiken är declare(strict_types=1): den byter PHP från slapphänta tvångkonvertering (där "5" tyst blir 5, potentiellt döljande buggar) till strikt validering (förkastar felaktiga typer med ett tydligt TypeError) — ett viktigt verktyg för att fånga buggar tidigt och skriva tillförlitlig kod, och den rekommenderade moderna standarden.
Att förstå typdeklarationer och använda strikta typer är professionell, vardaglig kunskap för modern PHP-utveckling — det ger mycket av säkerheten från statiskt typade språk till PHP, vilket gör kod mer robust och lättare att underhålla.
Eftersom modern PHP-ramverk och väl skriven kod använder typisering omfattande (och strikta typer genomgående), är det väsentligt att behärska detta för att skriva och arbeta med kvalitativ samtida PHP, vilket skiljer typesäker modern kod från den felbenägen löst typade stilen från äldre PHP.