Описание типов — PHP: Основы программирования

Когда мы пишем на PHP, то не особо задумываемся над типами данных. Мы просто пишем код и ожидаем, что данные будут соответствовать нашим ожиданиям:

<?php

function sayHelloTo($name)
{
    print_r("Hello, {$name}");
}

Функция выше, ожидает на вход строку. Это видно по тому, как используется переменная $name. А что, если мы ошибемся и передадим массив (мы пока не проходили массивы, но без них такую ошибку не получить)? Давайте попробуем.

<?php

// Не обращайте внимание на то, что мы не проходили массивы. Главное здесь то, что в функцию передается не то, что ожидается:
sayHelloTo([]);
// PHP Notice:  Array to string conversion

Хотя код отработает, результат не будет соответствовать нашим ожиданиям. В принципе, ничего смертельного в таком поведении нет - это просто цена за использование динамической типизации (о ней будет позже). В тех местах, где входной тип особенно важен, можно добавить соответствующую проверку и генерировать исключение, если переданы неверные данные. По крайней мере так делали раньше, до введения в язык type hinting.

Type Hinting - это механизм, который позволяет явно указывать типы параметров. Интерпретатор использует их в своей работе и возбуждает исключение в тех ситуациях, когда тип не соответствует ожидаемому. По крайней мере, это так работает в большинстве языков, где присутствует данный механизм. В PHP все чуть сложнее и хуже из-за слабой типизации. Несмотря на то, что можно жестко указать тип int, это не значит, что интерпретатор начнет ругаться на все остальное. Он спокойно проглотит и логический тип и строковый выполнив автоматическое приведение.

Чтобы объявить тип аргумента, необходимо перед его именем добавить имя требуемого типа:

<?php

// int говорит о том, что ожидается число:
function sayHelloTo(int $name)
{
    print_r("Hello, {$name}");
}

// всё что может быть приведено к указанному типу будет считаться подходящим
sayHelloTo(false); // Hello, 0
sayHelloTo('1'); // Hello, 1

Попробуем указать тип аргумента - string (строка).

<?php

function sayHelloTo(string $name)
{
    print_r("Hello, {$name}");
}

sayHelloTo([]);
// PHP Fatal error:  Uncaught TypeError: Argument 1 passed to sayHelloTo() must be of the type string, array given

Теперь ошибка совсем другая - нам явно говорят о том, что типы не сошлись. Увидеть и исправить подобную ошибку уже значительно легче. Рассмотрим еще один пример - с несколькими параметрами:

<?php

function get(string $text, int $index, $default = null)
{
    return isset($text[$index]) ? $text[$index] : $default;
}

get('hi', 3, 8); // 8

get('ho', 'hey');
// PHP Fatal error:  Uncaught TypeError: Argument 2 passed to get() must be of the type integer, string given

Обратите внимание на отсутствие типа у $default. Значение по умолчанию может быть абсолютно любым, поэтому тип не указывается.

Null не похож на другие типы данных и ведет себя особым образом. Типы данных в PHP не являются nullable, это значит, что если мы ждем на вход значение определенного типа, например, строку, то этим значением не может быть Null, но, если указать значение, по умолчанию равное Null, то указанный тип становится nullable и появится возможность передавать Null снаружи.

Не nullable

<?php

function printStr(string $value)
{
    echo $value;
}
printStr(null);
// PHP Fatal error:  Uncaught TypeError: Argument 1 passed to printStr() must be of the type string, null given

nullable

<?php

function printStr(string $value = null)
{
   echo $value;
}
printStr(null);

С версии PHP 7.2 появилась возможность указывать тип не только для входящих параметров, но и для возврата функции. Оно записывается через двоеточие после закрывающей скобки:

<?php

function sum(int $a, int $b): int
{
    return $a + $b;
}

Если ошибиться в теле функции выше и вернуть строку, то интерпретатор скажет об этом:

TypeError: Return value of sum() must be of the type integer, string returned

Строгие типы

Type Hinting, в его базовом варианте, не очень помогает выявить ошибки типов. Он больше полезен в качестве документации и подсказок в редакторе. Но в PHP есть специальная директива, включающая режим строгой проверки:

<?php

// Включение режима строгой проверки
declare(strict_types = 1);

function AddIntAndFloat(int $a, float $b): int
{
    return (string) $a + $b;
}

echo AddIntAndFloat(1.4, '2');
// Fatal error: Uncaught TypeError: Argument 1 passed to AddIntAndFloat() must be of the type int, float given
echo AddIntAndFloat(1, '2');
// Fatal error: Uncaught TypeError: Argument 2 passed to AddIntAndFloat() must be of the type float, string given

// Integers can be passed as float-points :
echo AddIntAndFloat(1, 1);
// Fatal error: Uncaught TypeError: Return value of AddIntAndFloat() must be of the type integer, string returned

В таком варианте не происходит автоматического преобразования типов. PHP выполняет точную проверку и выводит ошибку, если типы не совпали.

Дополнительные материалы

1. Официальная документация
2. Строгая типизация

Остались вопросы? Задайте их в разделе «Обсуждение»

Вам ответят команда поддержки Хекслета или другие студенты.