يدعم PHP الحديث إعلانات الأنواع على معاملات الدوال والقيم المرجعة وخصائص الفئات — و**declare(strict_types=1)** لفرضها بصرامة. معاً، يجلبان الكثير من سلامة اللغات المكتوبة بشكل ثابت إلى PHP، واكتشاف الأخطاء مبكراً.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
يمكنك كتابة أنواع المعاملات والقيم المرجعة وخصائص الفئات. تتضمن الأنواع الأنواع الأساسية (int, float, string, bool)، والفئات والواجهات، وarray، و?Type (قابل للفراغ)، و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 أنواع الاتحاد (int|string)، وأنواع التقاطع، وأنواع مرجعة خاصة (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) يحول من التحويل المتساهل إلى الفرض الصارم — يرفض PHP عدم التطابق بين الأنواع بدلاً من تحويلها بصمت. هذا يكتشف الأخطاء التي كان التحويل سيخفيها.
إعلانات الأنواع والأنواع الصارمة مهمة لكتابة PHP حديث قوي وقابل للصيانة، وتمثل تطوراً رئيسياً للغة تجاوز أصولها المكتوبة بشكل فضفاض.
إعلانات الأنواع على المعاملات والقيم المرجعة والخصائص تجعل الكود موثقاً ذاتياً (التوقيعات تحدد بوضوح التوقعات) وتسمح لـ PHP باكتشاف أخطاء الأنواع تلقائياً، بينما الإضافات الحديثة (أنواع الاتحاد، الأنواع القابلة للفراغ) تجعل التوقيعات دقيقة.
أهم ممارسة هي declare(strict_types=1): إنها تحول PHP من التحويل المتساهل (حيث "5" يتحول بصمت إلى 5، مما قد يخفي الأخطاء) إلى الفرض الصارم (رفض الأنواع غير المتطابقة برسالة TypeError واضحة) — أداة أساسية لاكتشاف الأخطاء مبكراً وكتابة كود موثوق، والافتراضي الحديث الموصى به.
فهم إعلانات الأنواع واستخدام الأنواع الصارمة هو معرفة احترافية يومية لتطوير PHP الحديث — إنه يجلب الكثير من سلامة اللغات المكتوبة بشكل ثابت إلى PHP، مما يجعل الكود أكثر قوة وأسهل في الصيانة.
بما أن أطر عمل PHP الحديثة والأكواس المكتوبة بشكل جيد تستخدم الكتابة على نطاق واسع (والأنواع الصارمة في كل مكان)، فإن إتقان هذا أمر ضروري لكتابة والعمل مع جودة PHP المعاصرة، مما يميز الكود الحديث الآمن من حيث النوع عن أسلوب PHP الأقدم الفضفاض الذي يحتوي على أخطاء.