Какая система типов применяется в PHP?

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

• Динамическая типизация: Тип переменной определяется в процессе выполнения программы во время присваивания ей значения, а не при объявлении. Переменная может содержать значения разных типов в течение своего жизненного цикла.

  <?php
  $variable = 10;      // integer
  echo gettype($variable) . "\n";
  
  $variable = "hello"; // string
  echo gettype($variable) . "\n";
  ?>
  

• Слабая (нестрогая) типизация: PHP автоматически преобразует типы данных при необходимости, например, при арифметических операциях или сравнениях. Это может привести к неожиданным результатам, если не контролировать типы явно.

  <?php
  echo "10" + 5; // Вывод: 15 (строка "10" преобразована в число)
  echo "\n";
  if ("5" == 5) { // Сравнение "5" и 5 с автоматическим приведением типов
      echo "Равно"; // Вывод: Равно
  }
  ?>
  

Тем не менее, начиная с PHP 7, появилась возможность использовать:

• Объявления скалярных типов: Позволяют указывать ожидаемый тип аргументов функций, возвращаемых значений и свойств классов (PHP 7.4+).

  <?php
  declare(strict_types=1); // Строгий режим типизации для текущего файла
  
  function addNumbers(int $a, int $b): int {
      return $a + $b;
  }
  
  // addNumbers("1", 2); // Это вызовет TypeError в строгом режиме
  echo addNumbers(1, 2);
  ?>
  

• Объявления возвращаемых типов: Указывают тип данных, который должна возвращать функция.

• Объявления типа свойства: Указывают тип данных, который может содержать свойство класса.

• Объявления объединяющих типов: Позволяют указать, что переменная, аргумент, свойство или возвращаемое значение могут иметь один из нескольких типов (PHP 8+).

• Объявления пересекающихся типов: Позволяют указать, что переменная, аргумент, свойство или возвращаемое значение должны быть экземпляром всех указанных интерфейсов или классов (PHP 8.1+).

• Тип mixed: Указывает, что элемент может быть любого типа (PHP 8+).

• Тип never: Указывает, что функция или метод никогда не возвращает значение (т.е. либо завершает выполнение скрипта, либо выбрасывает исключение) (PHP 8.1+).

Использование этих возможностей позволяет частично приблизить PHP к строгой типизации, улучшая читаемость кода и облегчая отладку. Применение declare(strict_types=1); в начале файла включает строгий режим типизации для скалярных типов, где автоматическое приведение типов при вызове функций и методов не происходит.