PHP hiện đại hỗ trợ khai báo kiểu cho tham số hàm, giá trị trả về và thuộc tính class — và declare(strict_types=1) để thực thi chúng một cách nghiêm ngặt. Cùng nhau, chúng mang phần lớn sự an toàn của các ngôn ngữ định kiểu tĩnh vào PHP, bắt lỗi sớm.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Bạn có thể định kiểu cho tham số, giá trị trả về và thuộc tính class. Kiểu bao gồm vô hướng (int, float, string, bool), class/interface, array, ?Type (nullable), và void.
function process(int|string $id): User|null { } // union type — int HOẶC string
function handle(Countable&Iterator $x): void { } // intersection (PHP 8.1) — CẢ HAI
function get(): static { } // trả về kiểu của class được gọi
function nothing(): never { } // không bao giờ trả về (ném/thoát, PHP 8.1)
PHP 8 thêm union type (int|string), intersection type, và các kiểu trả về đặc biệt (static, never).
<?php
declare(strict_types=1); // PHẢI là câu lệnh đầu tiên trong file
function add(int $a, int $b): int { return $a + $b; }
add(5, 3); // ✅ 8
add("5", 3); // ❌ TypeError — strict_types TỪ CHỐI chuỗi (không ép kiểu)
KHÔNG có strict_types (chế độ "coercive" mặc định):
add("5", 3) → "5" bị âm thầm ép thành int 5 → trả về 8 (dễ dãi, có thể che lỗi)
VỚI strict_types=1:
add("5", 3) → TypeError ngay lập tức (phải truyền đúng kiểu đã khai báo)
declare(strict_types=1) chuyển từ ép kiểu dễ dãi sang thực thi nghiêm ngặt — PHP từ chối kiểu không khớp thay vì âm thầm chuyển đổi. Điều này bắt được những lỗi mà ép kiểu sẽ che giấu.
Khai báo kiểu và strict types quan trọng để viết PHP hiện đại vững chắc, dễ bảo trì, và chúng đại diện cho một bước tiến hóa lớn của ngôn ngữ khỏi nguồn gốc định kiểu lỏng.
Khai báo kiểu trên tham số, giá trị trả về và thuộc tính khiến code tự diễn giải (chữ ký nêu rõ kỳ vọng) và để PHP bắt lỗi kiểu tự động, trong khi các bổ sung hiện đại (union type, nullable type) làm chữ ký chính xác hơn.
Thực hành quan trọng nhất là declare(strict_types=1): nó chuyển PHP từ ép kiểu dễ dãi (nơi "5" âm thầm thành 5, có thể che lỗi) sang thực thi nghiêm ngặt (từ chối kiểu không khớp với một TypeError rõ ràng) — một công cụ then chốt để bắt lỗi sớm và viết code đáng tin cậy, và là mặc định hiện đại được khuyến nghị.
Hiểu khai báo kiểu và dùng strict types là kiến thức chuyên nghiệp, hằng ngày cho phát triển PHP hiện đại — nó mang phần lớn sự an toàn của các ngôn ngữ định kiểu tĩnh vào PHP, làm code vững chắc và dễ bảo trì hơn.
Vì các framework PHP hiện đại và các codebase được viết tốt dùng định kiểu rộng rãi (và strict types xuyên suốt), thành thạo điều này là thiết yếu để viết và làm việc với PHP đương đại chất lượng, phân biệt code hiện đại an toàn kiểu với phong cách định kiểu lỏng dễ lỗi của PHP cũ.