Как работи динамичното типизиране в PHP?

PHP е език с динамично и слабовидно типизиране.

• Динамично типизиране: Типът на променлива се определя по време на изпълнение въз основа на стойността, която ѝ се приписва, и не се декларира явно предварително.
• Слабо типизиране: PHP може да извършва неявни преобразувания на типове (контекстуално преобразуване), което понякога може да доведе до неочаквано поведение при сравнения или операции между стойности от различни типове.

Примери:

1. Промяна на типа на променлива:

   <?php
   $variable = 123;    // int
   $variable = "здравей"; // string
   $variable = [1, 2]; // масив
   ?>
   

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 в строг режим

?>

Декларациите за типове и строгият режим позволяват извършване на проверки на типове по време на статичен анализ или по време на изпълнение преди извикването на функция, което допринася за по-предсказуем и поддържан код.