Moderni PHP tukee tyyppiilmoituksia funktioparametreille, palautusarvoille ja luokkien ominaisuuksille — sekä declare(strict_types=1) niiden tiukkaan valvomiseen. Yhdessä ne tuovat paljon staattiisesti tyypitetyistä kielistä saatua turvallisuutta PHP:ään ja havaitsevat virheet varhain.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Voit tyypittää parametrit, palautusarvot ja luokkien ominaisuudet. Tyypit sisältävät skalaarit (int, float, string, bool), luokat/rajapinnat, array, ?Type (nullable) ja 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 lisäsi union-tyypit (int|string), intersection-tyypit ja erikoispalautustyypit (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) vaihtaa sallivasta koersioinnista tiukkaan valvomiseen — PHP hylkää tyyppien epäsopivuuden sen sijaan, että muuntaisi ne äänettömästi. Tämä havaitsee virheet, jotka koersioin peittäisi.
Tyyppiilmoitukset ja strict types ovat tärkeitä kirjoitettaessa kestävää ja ylläpidettävää modernia PHP:tä, ja ne edustavat kielen merkittävää kehitystä sen löyhästi tyypityn alkuperän jälkeen.
Typpeilmoitukset parametreille, palautusarvoille ja ominaisuuksille tekevät koodista itsedokumentoivaa (allekirjoitukset selvästi ilmaisevat odotukset) ja antavat PHP:lle mahdollisuuden havaita tyyppien virheet automaattisesti, kun taas nykyaikaiset lisäykset (union-tyypit, nullable-tyypit) tekevät allekirjoituksista tarkkoja.
Tärkein käytäntö on declare(strict_types=1): se vaihtaa PHP:n sallivasta koersioinnista (jossa "5" muuttuu äänettömästi 5:ksi, mikä voi piilottaa virheet) tiukkaan valvomiseen (epäsopivat tyypit hylätään selkeällä TypeError-virheilmoituksella) — keskeinen työkalu virheiden varhaiseen havaitsemiseen ja luotettavan koodin kirjoittamiseen, ja moderni suositeltu oletus.
Typpeilmoitusten ymmärtäminen ja strict-tyyppien käyttö on ammattimaista, jokapäiväistä osaamista modernia PHP-kehitystä varten — se tuo paljon staattiisesti tyypitetyistä kielistä saatua turvallisuutta PHP:ään, tekee koodista kestävämpi ja helpommin ylläpidettävää.
Koska nykyaikaiset PHP-kehitysympäristöt ja hyvin kirjoitetut koodikannat käyttävät laajasti tyypitystä (ja strict-tyyppejä kaikkialla), sen hallitseminen on välttämätöntä laadukkaiden nykypäivän PHP-koodien kirjoittamiselle ja kanssa työskentelylle, erottaen tyyppi-turvallisen modernin koodin vanhan PHP:n virheiden alttiista löyhän tyyppien tyyliin.