Современный PHP поддерживает объявления типов для параметров функций, возвращаемых значений и свойств классов — и declare(strict_types=1) для их строгого применения. Вместе они привносят во многом безопасность статически типизированных языков в PHP, выявляя ошибки на ранних этапах.
{
= ;
? = ;
{
->balance += ;
}
{
->balance;
}
}
Вы можете типизировать параметры, возвращаемые значения и свойства классов. Типы включают скаляры (int, float, string, bool), классы/интерфейсы, array, ?Type (nullable) и void.
function process(int|string $id): User|null { } // union type — int OR string
function handle(Countable&Iterator $x): void { } // intersection (PHP 8.1) — BOTH
function get(): static { } // return the called class's type
function nothing(): never { } // never returns (throws/exits, PHP 8.1)
PHP 8 добавил union типы (int|string), intersection типы и специальные возвращаемые типы (static, never).
<?php
declare(strict_types=1); // MUST be the first statement in the file
function add(int $a, int $b): int { return $a + $b; }
add(5, 3); // ✅ 8
add("5", 3); // ❌ TypeError — strict_types REJECTS the string (no coercion)
WITHOUT strict_types (default "coercive" mode):
add("5", 3) → "5" is silently coerced to int 5 → returns 8 (lenient, can hide bugs)
WITH strict_types=1:
add("5", 3) → TypeError immediately (must pass the exact declared type)
declare(strict_types=1) переключает PHP с мягкого приведения типов на строгое применение — PHP отклоняет несоответствия типов вместо того, чтобы молча их преобразовывать. Это выявляет ошибки, которые приведение типов скрывало бы.
Объявления типов и строгие типы критически важны для написания надёжного, поддерживаемого современного PHP, и они представляют значительную эволюцию языка за пределы его слабо типизированных истоков.
Объявления типов для параметров, возвращаемых значений и свойств делают код самодокументируемым (сигнатуры ясно показывают ожидания) и позволяют PHP автоматически выявлять ошибки типов, в то время как современные дополнения (union типы, nullable типы) делают сигнатуры точными.
Наиболее важная практика — declare(strict_types=1): она переключает PHP с мягкого приведения типов (где "5" молча становится 5, потенциально скрывая ошибки) на строгое применение (отклонение несоответствующих типов с чётким TypeError) — ключевой инструмент для выявления ошибок на ранних этапах и написания надёжного кода, и рекомендуемый современный стандарт.
Понимание объявлений типов и использование строгих типов — это профессиональные, повседневные знания для разработки современного PHP — это приносит во многом безопасность статически типизированных языков в PHP, делая код более надёжным и легче поддерживаемым.
Поскольку современные PHP фреймворки и хорошо написанные кодовые базы широко используют типизацию (и строгие типы повсеместно), овладение этим необходимо для написания и работы с качественным современным PHP, отличая типобезопасный современный код от подверженного ошибкам слабо типизированного стиля старого PHP.