PHP'da dinamik tiplash qanday ishlaydi?

PHP — bu dinamik va zaif tiplangan til.

• Dinamik tiplash: O'zgaruvchining turi bajarilish vaqtida unga berilgan qiymat asosida aniqlanadi va oldindan aniq e'lon qilinmaydi.
• Zaif tiplash: PHP ba'zan turli tiplardagi qiymatlar o'rtasida kutilmagan xatti-harakatlarga olib kelishi mumkin bo'lgan noaniq tip konvertatsiyasini (kontekstual konvertatsiya) amalga oshirishi mumkin.

Misollar:

1. O'zgaruvchining turini o'zgartirish:

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

2. Solishtirishda noaniq tip konvertatsiyasi:

   <?php
   var_dump(10 == "10"); // bool(true) - "10" satri raqamga aylantiriladi
   var_dump(0 == false); // bool(true) - false raqamga aylantiriladi
   var_dump("abc" == 0); // bool(true) - "abc" satri raqamga aylantiriladi, chunki raqam bilan boshlanmaydi
   ?>
   

3. Noaniq konvertatsiyani oldini olish uchun qat'iy solishtirishdan foydalanish:

   <?php
   var_dump(10 === "10"); // bool(false) - qiymat va tur bo'yicha solishtiriladi
   var_dump(0 === false); // bool(false)
   var_dump("abc" === 0); // bool(false)
   ?>
   

Dinamik tiplash moslashuvchanlikni ta'minlaydi va dastlabki bosqichlarda rivojlanishni tezlashtiradi, ammo faqat bajarilish vaqtida aniqlanadigan xatolarga olib kelishi mumkin. Kodning ishonchliligini oshirish uchun PHP 7+ da tip deklaratsiyalari (type declarations) va qattiq tip rejimi (strict types) joriy etildi.

<?php
declare(strict_types=1); // Joriy fayl uchun qattiq tip rejimini yoqadi

function sum(int $a, int $b): int { // Argumentlar va qaytish qiymati uchun tip deklaratsiyalari
    return $a + $b;
}

// sum(1, "2"); // Bu qat'iy rejimda TypeError xatosini keltirib chiqaradi

?>

Tip deklaratsiyalari va qattiq tip rejimi statik tahlil yoki funksiyani chaqirishdan oldin bajarilish vaqtida tip tekshiruvlarini amalga oshirishga imkon beradi, bu esa kodni yanada prognozli va boshqariladigan qiladi.