Применение строгой проверки типов в PHP (strict_types)

Расширенные примеры использования strict_types

1. Сравнение coercive и strict для разных типов

В coercive режиме PHP автоматически приводит строки к числам, а числа к строкам при необходимости. В strict режиме это запрещено.

<?php
// coervice.php (без declare)
function sum(int $a, int $b): int {
    return $a + $b;
}
echo sum('5', '10'); // 15
?>

<?php
// strict.php
declare(strict_types=1);
function sumStrict(int $a, int $b): int {
    return $a + $b;
}
echo sumStrict('5', '10'); // TypeError
?>

Результат для coervice.php: 15
Результат для strict.php: ошибка TypeError

2. Строгая типизация с nullable типами и значениями по умолчанию

Если параметр может быть null, его тип указывается с вопросительным знаком (начиная с PHP 7.1) или через union с null.

<?php
declare(strict_types=1);
function greet(?string $name): string {
    return 'Hello, ' . ($name ?? 'guest');
}
echo greet('Alice'); // Hello, Alice
echo greet(null);    // Hello, guest
echo greet(42);      // TypeError: Argument 1 must be of type ?string, int given
?>

Hello, Alice
Hello, guest
TypeError

3. Union types с пересечением типов

Union позволяет передавать несколько разных типов. При этом автоматического приведения между ними не происходит - передаваемое значение должно точно соответствовать одному из типов union.

<?php
declare(strict_types=1);
function process(int|float $value): float {
    return $value * 2;
}
echo process(5);    // 10
echo process(2.5);  // 5.0
echo process('5');  // TypeError: Argument 1 must be of type int|float, string given
?>

10
5.0
TypeError

4. Строгая типизация с void и never (PHP 8.1)

Тип never указывает, что функция никогда не возвращает управление (всегда вызывает exit/die или выбрасывает исключение).

<?php
declare(strict_types=1);
function terminate(string $msg): never {
    echo $msg;
    exit;
}
function safeDivision(int $a, int $b): int {
    if ($b === 0) {
        terminate('Division by zero');
    }
    return $a / $b;
}
echo safeDivision(10, 0); // Ничего не выведет, произойдёт exit
?>

Division by zero (скрипт завершится)

5. Взаимодействие строгих и нестрогих файлов при include

Файл с declare(strict_types=1) подключает файл без строгого режима. Важно понимать, что проверка типов происходит при определении функции (в её файле), а не при её вызове.

<?php // main_strict.php
declare(strict_types=1);
require 'helper_coervice.php';
function calculate(int $x): int { return $x * 2; }
echo calculate('5'); // TypeError в main_strict.php
echo increment('3'); // Функция increment из helper_coervice.php (без strict) получит строку '3', но в её файле нет strict, поэтому она преобразует строку в int
?>

<?php // helper_coervice.php
function increment(int $a): int {
    return $a + 1;
}
?>

TypeError на строке echo calculate('5'); (строгий режим в main_strict.php не даёт преобразовать '5' в int).
Если вызвать increment('3'), то внутри helper_coervice.php (coervice) '3' будет преобразовано в 3, результат 4. Строгий режим main_strict.php на эту функцию не влияет.

6. Стрелочные функции (arrow functions) со строгими типами

Стрелочные функции также подчиняются строгой типизации, если файл объявлен как strict.

<?php
declare(strict_types=1);
$add = fn(int $a, int $b): int => $a + $b;
echo $add(4, 5);   // 9
echo $add(4, '5'); // TypeError
?>

9
TypeError

7. Типизированные свойства класса (PHP 7.4+)

Свойства с указанием типа также проверяются в строгом режиме. Попытка присвоить значение несовместимого типа вызывает TypeError, даже если присваивание происходит внутри того же класса.

<?php
declare(strict_types=1);
class User {
    public int $id;
    public string $name;
}
$user = new User();
$user->id = 'abc';  // TypeError: Cannot assign string to property User::$id of type int
?>

TypeError

8. Использование strict_types в генераторах

Генераторы могут иметь типизированные параметры и возвращаемый тип (например, Generator). Тип возвращаемого значения генератора - это тип, который возвращает yield, но в строгом режиме типы элементов могут быть проверены.

<?php
declare(strict_types=1);
function rangeInt(int $start, int $end): Generator {
    for ($i = $start; $i <= $end; $i++) {
        yield $i;
    }
}
foreach (rangeInt('1', 3) as $val) {  // TypeError: Argument 1 must be of type int, string given
    echo $val;
}
?>

TypeError, так как переданы строки '1' и '3'

9. Пользовательская обработка TypeError

Можно реализовать собственный класс, наследующий TypeError, для кастомизации сообщений или логики.

<?php
declare(strict_types=1);
class MyTypeError extends TypeError {}

function safeMultiply(int $a, int $b): int {
    if (!is_int($a) || !is_int($b)) {
        throw new MyTypeError('Only integers allowed');
    }
    return $a * $b;
}
try {
    echo safeMultiply('x', 2);
} catch (MyTypeError $e) {
    echo 'Поймана ошибка: ' . $e->getMessage();
}
?>

Поймана ошибка: Only integers allowed

10. Тип mixed и строгая типизация

mixed означает любой тип. В строгом режиме mixed принимает любое значение без неявных преобразований, но и без контроля.

<?php
declare(strict_types=1);
function debug(mixed $data): string {
    return var_export($data, true);
}
echo debug('test');  // 'test'
echo debug(42);      // 42
echo debug(null);    // NULL
?>

'test'
42
NULL

Эти примеры демонстрируют, как строгая типизация в PHP помогает писать более предсказуемый код, требуя явного указания типов и предотвращая скрытые ошибки преобразования.