Hoe werkt dynamische typisering in PHP?

PHP is een taal met dynamische en zwakke typing.

• Dynamische typing: Het type van een variabele wordt tijdens de uitvoering bepaald op basis van de waarde die eraan wordt toegekend, en wordt niet expliciet vooraf gedeclareerd.
• Zwakke typing: PHP kan impliciete typeconversies uitvoeren (contextuele conversie), wat soms kan leiden tot onverwacht gedrag bij vergelijkingen of operaties tussen waarden van verschillende types.

Voorbeelden:

1. Verandering van het type van een variabele:

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

2. Impliciete typeconversie bij vergelijking:

   <?php
   var_dump(10 == "10"); // bool(true) - de string "10" wordt geconverteerd naar het getal 10
   var_dump(0 == false); // bool(true) - false wordt geconverteerd naar het getal 0
   var_dump("abc" == 0); // bool(true) - de string "abc" wordt geconverteerd naar het getal 0, omdat het niet met een getal begint
   ?>
   

3. Gebruik van strikte vergelijking om impliciete conversie te voorkomen:

   <?php
   var_dump(10 === "10"); // bool(false) - wordt vergeleken op waarde en type
   var_dump(0 === false); // bool(false)
   var_dump("abc" === 0); // bool(false)
   ?>
   

Hoewel dynamische typing flexibiliteit biedt en de ontwikkeling versnelt in de vroege fasen, kan het leiden tot fouten die alleen tijdens de uitvoering worden gedetecteerd. Om de betrouwbaarheid van de code te verbeteren, zijn in PHP 7+ type-aankondigingen (type declarations) en strikte types geïntroduceerd.

<?php
declare(strict_types=1); // Activeert de strikte types-modus voor het huidige bestand

function sum(int $a, int $b): int { // Declaratie van argument- en returntypes
    return $a + $b;
}

// sum(1, "2"); // Dit veroorzaakt een TypeError in strikte modus

?>

Type-aankondigingen en de strikte types-modus maken het mogelijk om typecontroles uit te voeren tijdens statische analyse of tijdens de uitvoering vóór het aanroepen van functies, wat bijdraagt aan meer voorspelbare en onderhoudbare code.