Kā darbojas dinamiskā tipizācija PHP?

PHP — tas dinamiska, vāja tipizācijas valoda:

• Dinamiskā tipizācija: Mainīgā tips tiek noteikts izpildes laikā, balstoties uz piešķirto vērtību, nevis iepriekš deklarējot.
• Vāja tipizācija: PHP var veikt netiešu tipu pārvēršanu (konteksta konversiju), kas dažreiz var novest pie negaidītas uzvedības, salīdzinot vai veicot operācijas starp dažādu tipu vērtībām.

Piemēri:

1. Tipa maiņa:

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

2. Netieša tipu pārvēršana salīdzināšanas laikā:

   <?php
   var_dump(10 == "10"); // bool(true) - rinda "10" tiek pārvērsta skaitlī 10
   var_dump(0 == false); // bool(true) - false tiek pārvērsts skaitlī 0
   var_dump("abc" == 0); // bool(true) - rinda "abc" tiek pārvērsta skaitlī 0, jo tā nesākas ar skaitli
   ?>
   

3. Stingra salīdzināšana, lai izvairītos no netiešas pārvēršanas:

   <?php
   var_dump(10 === "10"); // bool(false) - tiek salīdzināta gan vērtība, gan tips
   var_dump(0 === false); // bool(false)
   var_dump("abc" === 0); // bool(false)
   ?>
   

Dinamiskā tipizācija nodrošina elastību un paātrina izstrādes procesu sākotnējā posmā, taču tā var novest pie kļūdām, kas tiek atklātas tikai izpildes laikā. Koda drošības uzlabošanai PHP 7+ ieviesa tipa deklarācijas un stingru režīmu:

<?php
declare(strict_types=1); // Iespējo stingru režīmu

function sum(int $a, int $b): int { // Tipa deklarācijas un atgriešanas vērtības norādīšana
    return $a + $b;
}

// sum(1, "2"); // Tas izraisīs TypeError stingrā režīmā

?>

Tipa deklarācijas un stingrs režīms ļauj veikt tipu pārbaudi statiskās analīzes vai izpildes laikā, kas veicina prognozējamāku un uzturamu koda rakstīšanu.