Šiuolaikinis PHP palaiko tipo deklaracijas funkcijų parametrams, grąžintoms reikšmėms ir klasės savybėms — ir declare(strict_types=1) joms griežtai privesti. Kartu jie į PHP atneša daug statiškai tipizuotų kalbų saugumo, pagaudami klaidų anksčiau.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Galite tipizuoti parametrus, grąžintinas reikšmes ir klasės savybes. Tipai apima skaliarinius (int, float, string, bool), klases/sąsajas, array, ?Type (nulinę reikšmę leidžiantis), ir 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 pridėjo sąjungų tipus (int|string), susikirtimo tipus ir specialiomis grąžintinas reikšmes (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) perjungia iš leistinos konversijos į griežtą priverstinumą — PHP atmeta tipo nesutapimus vietoj jų tylaus konvertavimo. Tai pagauna klaidų, kurias konversija paslėptų.
Tipo deklaracijos ir griežti tipai yra svarbūs patikimam, lengvai prižiūrimam šiuolaikiniam PHP, ir jie reprezentuoja didžiulį kalbos žingsnį į priekį, už jos lengvai tipizuoto pagrindo.
Tipo deklaracijos parametrams, grąžintoms reikšmėms ir savybėms kodą padarytina savaime dokumentuotina (signatūros aiškiai nurodo lūkesčius) ir leidžia PHP automatiškai pagauti tipo klaidas, o šiuolaikiniai papildymai (sąjungų tipai, nulinę reikšmę leidžiantys tipai) signatūras padarytina tikslesnėmis.
Svarbiausias metodas yra declare(strict_types=1): jis perjungia PHP iš leistinos konversijos (kur "5" be garso tampą 5, potencialiai paslėpdamas klaidų) į griežtą priverstinumą (atmesdamas nesutampančius tipus su aiškiu TypeError) — raktas pagauti klaidų anksčiau ir rašyti patikimą kodą, ir rekomenduojamas šiuolaikinis numatytas reikalavimas.
Supratimas tipo deklaracijų ir griežtų tipų naudojimas yra profesionalus, kasdieninis žinojimas šiuolaikiško PHP programavimo — tai atneša daug statiškai tipizuotų kalbų saugumo į PHP, kodą padarydamas patikimesnį ir lengviau prižiūrimą.
Kadangi šiuolaikinės PHP sistemos ir gerai parašyti kodų pagrindai plačiai naudoja tipizavimą (ir griežtus tipus visur), šio savikontrolės įvaldymas yra būtinas rašyti ir dirbti su kokybiniu šiuolaikiniu PHP, skirdamas tipo-saugų šiuolaikinį kodą nuo klaidoms linkusio lengvai tipizuoto senesnio PHP stiliaus.