आधुनिक PHP function parameters, return values, और class properties पर type declarations का समर्थन करता है — और इन्हें कठोरता से लागू करने के लिए declare(strict_types=1)। मिलकर ये statically-typed languages की अधिकांश सुरक्षा PHP में लाते हैं, 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) lenient coercion से strict enforcement में बदल देता है — PHP type mismatches को चुपचाप convert करने के बजाय अस्वीकार कर देता है। यह उन bugs को पकड़ता है जिन्हें coercion छिपा देता।
Type declarations और strict types robust, maintainable आधुनिक PHP लिखने के लिए महत्वपूर्ण हैं, और वे language के loosely-typed मूल से परे एक प्रमुख विकास का प्रतिनिधित्व करते हैं।
parameters, returns, और properties पर type declarations code को self-documenting बनाते हैं (signatures स्पष्ट रूप से अपेक्षाएँ बताते हैं) और PHP को type errors स्वचालित रूप से पकड़ने देते हैं, जबकि आधुनिक परिवर्धन (union types, nullable types) signatures को सटीक बनाते हैं।
सबसे महत्वपूर्ण अभ्यास है declare(strict_types=1): यह PHP को lenient coercion (जहाँ "5" चुपचाप 5 बन जाता है, संभावित रूप से bugs छिपाता है) से strict enforcement (mismatched types को स्पष्ट TypeError के साथ अस्वीकार करना) में बदल देता है — bugs को जल्दी पकड़ने और विश्वसनीय code लिखने के लिए एक प्रमुख tool, और अनुशंसित आधुनिक default।
type declarations को समझना और strict types का उपयोग करना आधुनिक PHP development के लिए पेशेवर, रोज़मर्रा का ज्ञान है — यह statically-typed languages की अधिकांश सुरक्षा PHP में लाता है, code को अधिक robust और बनाए रखने में आसान बनाता है।
चूँकि आधुनिक PHP frameworks और अच्छी तरह से लिखे गए codebases typing का व्यापक उपयोग करते हैं (और throughout strict types), इसमें महारत हासिल करना गुणवत्तापूर्ण समकालीन PHP लिखने और उसके साथ काम करने के लिए आवश्यक है, जो type-safe आधुनिक code को पुराने PHP की error-prone loosely-typed शैली से अलग करता है।