PHP modern mendukung deklarasi tipe pada parameter fungsi, nilai kembalian, dan properti kelas — dan declare(strict_types=1) untuk memberlakukannya secara ketat. Bersama-sama, mereka membawa banyak keamanan bahasa yang diketik secara statis ke PHP, menangkap bug sejak dini.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Anda dapat mengetikkan parameter, nilai kembalian, dan properti kelas. Tipe mencakup skalar (int, float, string, bool), kelas/antarmuka, 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 menambahkan tipe gabungan (int|string), tipe persimpangan, dan tipe kembalian khusus (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) beralih dari koersi yang longgar ke penegakan ketat — PHP menolak ketidaksesuaian tipe alih-alih diam-diam mengonversinya. Ini menangkap bug yang akan disembunyikan oleh koersi.
Deklarasi tipe dan tipe ketat penting untuk menulis PHP modern yang kuat dan dapat dipelihara, dan mereka mewakili evolusi besar bahasa melampaui asalnya yang diketik secara longgar.
Deklarasi tipe pada parameter, pengembalian, dan properti membuat kode mendokumentasikan dirinya sendiri (tanda tangan secara jelas menyatakan harapan) dan membiarkan PHP menangkap kesalahan tipe secara otomatis, sementara penambahan modern (tipe gabungan, tipe nullable) membuat tanda tangan presisi.
Praktik paling penting adalah declare(strict_types=1): ini beralih PHP dari koersi longgar (di mana "5" diam-diam menjadi 5, berpotensi menyembunyikan bug) ke penegakan ketat (menolak tipe yang tidak cocok dengan TypeError yang jelas) — alat kunci untuk menangkap bug sejak dini dan menulis kode yang andal, dan default modern yang direkomendasikan.
Memahami deklarasi tipe dan menggunakan tipe ketat adalah pengetahuan profesional, sehari-hari untuk pengembangan PHP modern — ini membawa banyak keamanan bahasa yang diketik secara statis ke PHP, membuat kode lebih kuat dan lebih mudah dipelihara.
Karena framework PHP modern dan codebases yang ditulis dengan baik menggunakan typing secara ekstensif (dan tipe ketat di seluruh tempat), menguasai ini sangat penting untuk menulis dan bekerja dengan PHP kontemporer berkualitas, membedakan kode modern yang aman dari tipe gaya PHP lama yang rentan terhadap kesalahan.
Perpustakaan pertanyaan wawancara IT dengan jawaban mendetail — dari Junior hingga Senior.
Donasi