आधुनिक PHP फंक्शन पॅरामीटर्स, रिटर्न व्हॅल्यूज आणि क्लास प्रॉपर्टीज वर टाइप डिक्लेरेशन्स सपोर्ट करते — आणि त्यांना कठोरपणे लागू करण्यासाठी declare(strict_types=1) देते. एकत्रितपणे ते PHP मध्ये स्टेटिकली-टाइप्ड भाषांची अनेक सुरक्षा आणतात, बग लवकर पकडतात.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
तुम्ही पॅरामीटर्स, रिटर्न व्हॅल्यूज आणि क्लास प्रॉपर्टीज टाइप करू शकता. टाइप्समध्ये स्केलर्स (int, float, string, bool), क्लासेज/इंटरफेसेज, 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 ने यूनियन टाइप्स (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) उदार coercion पासून कठोर अंमलबजावणीत बदलते — PHP टाइप मिसमॅचेस अस्वीकार करते त्यांना चुप करून कन्व्हर्ट करण्याऐवजी. हे coercion लपवून ठेवणारे बग पकडते.
टाइप डिक्लेरेशन्स आणि स्ट्रिक्ट टाइप्स मजबूत, राखरखावयोग्य आधुनिक PHP लिहिण्यासाठी महत्वाचे आहेत, आणि ते भाषेच्या शिथिल-टाइप्ड मूळच्या पलीकडे एक मोठी उत्क्रांती दर्शवितात.
पॅरामीटर्स, रिटर्न्स आणि प्रॉपर्टीज वर टाइप डिक्लेरेशन्स कोड स्व-दस्तऐवजीकरण करतात (सिग्नेचर्स स्पष्टपणे अपेक्षा सांगतात) आणि PHP ला टाइप एरर्स स्वयंचलितपणे पकडू देतात, तर आधुनिक जोडणी (यूनियन टाइप्स, nullable टाइप्स) सिग्नेचर्स अचूक बनवितात.
सर्वात महत्वाचा सरावा आहे declare(strict_types=1): हे PHP ला उदार coercion पासून (जेथे "5" चुप करून 5 होते, संभाव्यतः बग लपवून ठेवते) कठोर अंमलबजावणीत बदलते (स्पष्ट TypeError सह मिसमॅचेड टाइप्स अस्वीकार करते) — बग लवकर पकडण्याचे आणि विश्वसनीय कोड लिहिण्याचे मुख्य साधन, आणि सुची केलेले आधुनिक डिफॉल्ट.
टाइप डिक्लेरेशन्स समजून घेणे आणि स्ट्रिक्ट टाइप्स वापरणे आधुनिक PHP विकासासाठी व्यावसायिक, दैनंदिन ज्ञान आहे — हे PHP मध्ये स्टेटिकली-टाइप्ड भाषांची सुरक्षा आणते, कोड अधिक मजबूत आणि राखरखावणीसाठी सोपे बनवते.
आधुनिक PHP फ्रेमवर्क्स आणि चांगल्या-लिहिलेले कोडबेसेस विस्तृतपणे टाइपिंग वापरत असल्याने (आणि संपूर्णपणे स्ट्रिक्ट टाइप्स), याविषयी प्रमाणित होणे गुणवत्तेच्या समकालीन PHP सह लिहिणे आणि काम करण्यासाठी आवश्यक आहे, टाइप-सेफ आधुनिक कोडला जुन्या PHP च्या त्रुटीपूर्ण शिथिल-टाइप्ड शैलीपासून वेगळे करते.