Что такое типизация в языке PHP?

Типизация в PHP относится к системе, определяющей типы данных для значений и переменных. До PHP 7 PHP был языком с динамической, слабой типизацией. Начиная с PHP 7, добавлена поддержка строгой типизации.

Основные понятия:

• Динамическая типизация: Тип переменной определяется во время выполнения на основе значения, которое ей присваивается. Тип может меняться в процессе выполнения программы.
• Слабая типизация: PHP допускает неявное преобразование типов между различными типами данных в определенных операциях. Например, строка "123" может быть автоматически преобразована в число 123 при арифметических операциях.
• Строгая типизация (с PHP 7): Позволяет объявлять ожидаемые типы для аргументов функций, возвращаемых значений, свойств классов и скалярных типов (int, float, string, bool). Может быть включена с помощью declare(strict_types=1);. При включенной строгой типизации PHP не выполняет неявные преобразования между скалярными типами.

Примеры типизации в PHP:

<?php

// Динамическая и слабая типизация (поведение по умолчанию до PHP 7, или если strict_types не включен)
$a = "Hello"; // string
$a = 10; // int - тип переменной изменился
$b = "5";
$c = $a + $b; // 10 + "5" => 15 (неявное преобразование строки в число)

echo $c; // Выведет 15

// Строгая типизация (с PHP 7)
declare(strict_types=1);

function addNumbers(int $x, int $y): int { // Объявление типов для аргументов и возвращаемого значения
    return $x + $y;
}

// echo addNumbers("10", 20); // Вызовет TypeError, если strict_types=1
echo addNumbers(10, 20); // Выведет 30

class User
{
    public string $name; // Объявление типа для свойства

    public function __construct(string $name)
    {
        $this->name = $name;
    }
}

$user = new User("Alice");
// $user = new User(123); // Вызовет TypeError, если strict_types=1

Типизация, особенно строгая, повышает надежность кода, упрощает его чтение и отладку, а также позволяет раньше выявлять ошибки.