Теория: Описание типов

В этом уроке мы поближе познакомимся с типами данных и обсудим нюансы работы с ними.

Когда мы пишем на 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)
{
    $length = strlen($text);
    return ($index >= 0) && ($index < $length)  ? $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.

Представим, что мы ждем на вход значение определенного типа — например, строку. В PHP строка не может иметь значение 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

Еще функция может ничего не возвращать. Например, если она принимает строку, добавляет в конец восклицательный знак и затем печатает результат на экран:

<?php

function sayItLoud(string $text): void
{
    $loudText = "{$text}!";
    print_r($loudText);
}

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

Строгие типы

В его базовом варианте Type Hinting не очень помогает выявить ошибки типов. Он больше полезен в качестве документации и подсказок в редакторе.

Но в PHP есть специальная директива, включающая режим строгой проверки:

<?php

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

function AddIntAndFloat(int $a, float $b): int
{
    return $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

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

Типы значений, допускающие значение NULL

Если поставить знак ? перед названием типа данных, то он помечается как обнуляемый — то есть допускающий значение Null.

Это значит, что значение может быть как указанного типа, так и null. Это работает как для входных параметров, так и для возвращаемых функцией значений:

<?php

function isPersonMrSmith(?string $person): bool
{
    // Тут какая-то логика
}

Запись выше означает, что функция isPersonMrSmith() может принять в качестве параметра строку или null.

Стоит сказать, что null должен быть передан явно — isPersonMrSmith(null). Иначе интерпретатор выдаст ошибку:

<?php

isPersonMrSmith();
// Fatal error: Uncaught ArgumentCountError: Too few arguments to function

Посмотрим, как ? работает с типом возвращаемого значения:

<?php

public function getName(string $person): ?string
{
    // Тут какая-то логика
}

Функция getName() принимает переменную $person. Затем функция должна вернуть строку с именем человека. Но иногда строки с именем нет — тогда возвращается null.