Hogyan működik a dinamik típusosság a PHP-ben?

A PHP egy dinamikus és gyenge típusú nyelv.

• Dinamikus típuskezelés: Egy változó típusa futás közben kerül meghatározásra az érték alapján, amelyet hozzárendelnek, és nem deklarálják előre kifejezetten.
• Gyenge típuskezelés: A PHP néha implicit típuskonverziókat végez (kontekstuális konverzió), ami néha váratlan viselkedést eredményezhet összehasonlítások vagy műveletek során különböző típusú értékek között.

Példák:

1. Változó típusának módosítása:

   <?php
   $variable = 123;    // int
   $variable = "szia"; // string
   $variable = [1, 2]; // tömb
   ?>
   

2. Implicit típuskonverzió összehasonlításkor:

   <?php
   var_dump(10 == "10"); // bool(true) - a "10" string számmá konvertálódik
   var_dump(0 == false); // bool(true) - a false számmá konvertálódik 0-ra
   var_dump("abc" == 0); // bool(true) - az "abc" string számmá konvertálódik, mert nem számjeggyel kezdődik
   ?>
   

3. Szigorú összehasonlítás használata az implicit konverzió elkerülésére:

   <?php
   var_dump(10 === "10"); // bool(false) - érték és típus szerint is összehasonlítva
   var_dump(0 === false); // bool(false)
   var_dump("abc" === 0); // bool(false)
   ?>
   

Bár a dinamikus típuskezelés rugalmasságot ad és felgyorsítja a fejlesztést a korai szakaszban, hibákhoz vezethet, amelyeket csak futás közben észlelnek. A kód megbízhatóságának növelése érdekében a PHP 7+ bevezette a típusdeklarációkat (type declarations) és a szigorú típus módot (strict types).

<?php
declare(strict_types=1); // A jelenlegi fájlhoz aktiválja a szigorú típus módot

function sum(int $a, int $b): int { // Argumentumok és visszatérési érték típusának deklarálása
    return $a + $b;
}

// sum(1, "2"); // Ez TypeError hibát fog okozni szigorú módban

?>

A típusdeklarációk és a szigorú típus mód lehetővé teszik típusellenőrzések végrehajtását statikus elemzés során vagy futás közben, mielőtt a függvényt meghívnák, ezáltal előrejelezhetőbb és könnyebben karbantartható kód írását segítve.