თანამედროვე 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) ცვლის მდელი კოერციის ხისტ აღმოჩენამდე — PHP უარყოფს ტიპის შეუთავსობებას თავდაჯერებული კონვერტირების ნაცვლად. ეს ჭერს ხარვეზებს, რომლებიც კოერცია დაიმალავდა.
ტიპის დეკლარაციები და ხისტი ტიპები მნიშვნელოვანია ძლიერი, მოვლენისმიერი თანამედროვე PHP დაწერისთვის, და ისინი წარმოადგენენ ენის დიდ ევოლუციას მის თავდაპირველი ღია აკრეფის მიღმა.
ტიპის დეკლარაციები პარამეტრებზე, დაბრუნებებზე და თვისებებზე აყენებენ კოდს თვით-დოკუმენტირებული (ხელმოწერები აშკარად აცხადებენ მოლოდინეს) და უშვებენ PHP-ს დაჭერაფერ ტიპის ხარვეზებს ავტომატურად, ხოლო თანამედროვე დამატებები (კავშირის ტიპები, nullable ტიპები) აკეთებენ ხელმოწერებს განსაზღვრული.
ყველაზე მნიშვნელოვანი პრაქტიკა არის declare(strict_types=1): ის ცვლის PHP-ს მდელი კოერციის ხისტ აღმოჩენამდე (სადაც "5" უხმოდ ხდება 5, შესაძლოა დამალოს ხარვეზები) ხისტი აღმოჩენამდე (უარყოფს შეუთავსო ტიპებს წკ TypeError-ით) — მნიშვნელოვანი ხელსაწყო ხარვეზების ადრე დაჭერისა და საიმედო კოდის დაწერის জন্য, და რეკომენდირებული თანამედროვე ნაგულისხმევი.
თანამედროვე PHP ფრეიმვორკებისა და კარგად დაწერილი კოდების გაცნობა და ხისტი ტიპის გამოყენება პროფესიონალური, ყოველდღიური ცოდნაა თანამედროვე PHP განვითარებისთვის — ის მოიტანს მრავალ სტატიკურად აკრეფილი ენის უსაფრთხოებას PHP-ში, აკეთებს კოდს უფრო ძლიერი და უადვილესი შენარჩუნებისთვის.
მას შემდეგ, რაც თანამედროვე PHP ფრეიმვორკები და კარგი დაწერილი კოდებაზე ვრცელი აკრეფა გამოიყენება (და ხისტი ტიპები მთელი გამოიყენება), ამის ოსტატური პრაქტიკა აუცილებელია ხარისხიანი თანამედროვე PHP დაწერისა და მუშაობისთვის, განასხვავებს ტიპ-უსაფრთხო თანამედროვე კოდს ძველი PHP-ის ხარვეზებითი ღიაკრეფილი სტილის გამოსამჟღავნებლად.