جدید PHP type declarations کو function parameters، return values، اور class properties پر سپورٹ کرتا ہے — اور declare(strict_types=1) انہیں سختی سے لاگو کرنے کے لیے۔ یہ PHP کو statically-typed languages کی بہت سی حفاظت لاتے ہیں، bugs کو جلد پکڑتے ہیں۔
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
آپ parameters، return values، اور class properties کو type کر سکتے ہیں۔ Types میں scalars (int, float, string, bool)، classes/interfaces، array، ?Type (nullable)، اور 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 نے union types (int|string)، intersection types، اور special return types (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) نرم coercion سے strict enforcement میں تبدیل کرتا ہے — PHP type mismatches کو مسلسل ڈھلوانے کی بجائے مسترد کرتا ہے۔ یہ وہ bugs پکڑتا ہے جو coercion چھپا سکتے ہیں۔
Type declarations اور strict types مضبوط، دیکھ بھال کے قابل جدید PHP لکھنے کے لیے اہم ہیں، اور وہ language کے loosely-typed origins سے بہت بڑی تبدیلی کی نمائندگی کرتے ہیں۔
Parameters، returns، اور properties پر type declarations کوڈ کو self-documenting بناتے ہیں (signatures واضح طور پر توقعات بتاتے ہیں) اور PHP کو automatically type errors پکڑنے دیتے ہیں، جبکہ جدید اضافے (union types، nullable types) signatures کو درست بناتے ہیں۔
سب سے اہم عمل declare(strict_types=1) ہے: یہ PHP کو نرم coercion سے (جہاں "5" خاموشی سے 5 بن جاتا ہے، ممکنہ طور پر bugs چھپا رہا ہے) strict enforcement میں تبدیل کرتا ہے (mismatched types کو واضح TypeError سے مسترد کرتے ہوئے) — bugs کو جلد پکڑنے اور معتبر code لکھنے کا اہم آلہ، اور تجویز کردہ جدید ڈیفالٹ۔
Type declarations کو سمجھنا اور strict types استعمال کرنا جدید PHP development کے لیے پروفیشنل، روزمرہ کا علم ہے — یہ PHP کو statically-typed languages کی بہت سی حفاظت لاتا ہے، code کو زیادہ مضبوط اور برقرار رکھنے میں آسان بناتا ہے۔
چونکہ جدید PHP frameworks اور اچھی طرح سے لکھے گئے codebases بیک وقت typing اور strict types کا وسیع استعمال کرتے ہیں، اس میں مہارت حاصل کرنا معیار کے جدید PHP کو لکھنے اور کام کرنے کے لیے ضروری ہے، type-safe جدید code کو پرانے PHP کے غلط طریقے سے loosely-typed انداز سے الگ کرتا ہے۔