როგორ მუშაობს PHP-ში დინამიური ტიპიზაცია?

PHP — ეს დინამიური, სუსტი ტიპიზაციის ენა:

• დინამიური ტიპიზაცია: ცვლადის ტიპი განსაზღვრება შესრულების დროს, მისი მინიჭებული მნიშვნელობის საფუძველზე, არა წინასწარ გამოცხადებით.
• სუსტი ტიპიზაცია: PHP შეუძლია გაურკვევლობის გარეშე გარდაქმნას ტიპები (კონტექსტური კონვერსია), რაც ზოგჯერ შეიძლება გამოიწვიოს გაუთვალისწინებელი ქცევა მნიშვნელობებს შორის შედარების ან ოპერაციების დროს სხვადასხვა ტიპების შორის.

მაგალითები:

1. ტიპის ცვლილება:

   <?php
   $variable = 123;    // int
   $variable = "hello"; // string
   $variable = [1, 2]; // array
   ?>
   

2. გაურკვევლობის გარეშე გარდაქმნა შედარების დროს:

   <?php
   var_dump(10 == "10"); // bool(true) - სტრიქონი "10" გარდაქმნილია რიცხვად 10
   var_dump(0 == false); // bool(true) - false გარდაქმნილია რიცხვად 0
   var_dump("abc" == 0); // bool(true) - სტრიქონი "abc" გარდაქმნილია რიცხვად 0, რადგან არ იწყება რიცხვით
   ?>
   

3. მკაცრი შედარების გამოყენება გაურკვევლობის თავიდან ასაცილებლად:

   <?php
   var_dump(10 === "10"); // bool(false) - შედარება როგორც მნიშვნელობით, ასევე ტიპით
   var_dump(0 === false); // bool(false)
   var_dump("abc" === 0); // bool(false)
   ?>
   

დინამიური ტიპიზაცია იძლევა მოქნილობას და აჩქარებს განვითარების პროცესს დასაწყისში, მაგრამ შეიძლება გამოიწვიოს შეცდომები, რომლებიც იპოვება მხოლოდ შესრულების დროს. კოდის სანდოობის გასაზრდელად PHP 7+-ში შეიყვანეს ტიპების დეკლარაციები (type declarations) და მკაცრი რეჟიმი (strict types):

<?php
declare(strict_types=1); // აქტივირებს მკაცრ რეჟიმს მიმდინარე ფაილზე

function sum(int $a, int $b): int { // ტიპების დეკლარაციები და დაბრუნების მნიშვნელობა
    return $a + $b;
}

// sum(1, "2"); // გამოიწვევს TypeError-ს მკაცრ რეჟიმში

?>

ტიპების დეკლარაციები და მკაცრი რეჟიმი საშუალებას იძლევა ტიპების შემოწმება სტატიკური ან შესრულების დროს, რაც ხელს უწყობს უფრო პროგნოზირებადი და ადვილად შენარჩუნებადი კოდის დაწერას.