PHP moden menyokong type declarations pada parameter function, nilai pulangan, dan property kelas — dan declare(strict_types=1) untuk menguatkuasakannya dengan ketat. Bersama-sama mereka membawa banyak keselamatan bahasa bertaip statik kepada PHP, menangkap pepijat awal.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Anda boleh menjeniskan parameter, nilai pulangan, dan property kelas. Jenis termasuk scalar (int, float, string, bool), kelas/interface, array, ?Type (nullable), dan 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 menambah union types (int|string), intersection types, dan jenis pulangan khas (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) bertukar daripada coercion yang lembut kepada penguatkuasaan ketat — PHP menolak ketidaksepadanan jenis dan bukannya menukarnya secara senyap. Ini menangkap pepijat yang coercion akan sembunyikan.
Type declarations dan strict types adalah penting untuk menulis PHP moden yang teguh dan boleh diselenggara, dan ia mewakili evolusi besar bahasa ini melangkaui asal-usulnya yang loosely-typed.
Type declarations pada parameter, pulangan, dan property menjadikan kod mendokumentasikan dirinya sendiri (tandatangan menyatakan jangkaan dengan jelas) dan membolehkan PHP menangkap ralat jenis secara automatik, manakala penambahan moden (union types, nullable types) menjadikan tandatangan tepat.
Amalan paling penting ialah declare(strict_types=1): ia bertukar PHP daripada coercion yang lembut (di mana "5" secara senyap menjadi 5, berpotensi menyembunyikan pepijat) kepada penguatkuasaan ketat (menolak jenis yang tidak sepadan dengan TypeError yang jelas) — alat utama untuk menangkap pepijat awal dan menulis kod yang boleh dipercayai, dan lalai moden yang disyorkan.
Memahami type declarations dan menggunakan strict types ialah pengetahuan harian yang profesional untuk pembangunan PHP moden — ia membawa banyak keselamatan bahasa bertaip statik kepada PHP, menjadikan kod lebih teguh dan lebih mudah diselenggara.
Memandangkan framework PHP moden dan codebase yang ditulis dengan baik menggunakan typing secara meluas (dan strict types di seluruhnya), menguasai ini adalah penting untuk menulis dan bekerja dengan PHP kontemporari yang berkualiti, membezakan kod moden yang type-safe daripada gaya loosely-typed PHP lama yang terdedah kepada ralat.