Типы и обработка ошибок

Объявление типа в PHP — не подсказка и не аннотация: это проверка в рантайме, выполняемая на границе функции при каждом вызове. Компилятор ничего не выводит и не стирает — он лишь запоминает объявление, а сверяет значение движок в момент передачи аргумента. Отсюда два важных следствия. Во-первых, режим приведения решает файл, который делает вызов: declare(strict_types=1) действует по файлу и на его собственные вызовы, поэтому строгий файл, зовущий нестрогую библиотеку, проверяется строго, а нестрогий вызывающий вашей строгой библиотеки всё равно получает приведение на входе. Во-вторых, нарушение объявления — это не «предупреждение анализатора», а брошенный TypeError.

Модель ошибок с PHP 7 разделена надвое, и это второе, что здесь спрашивают. Throwable — интерфейс, а под ним две параллельные ветви: Exception — прикладные сбои, которые вы обязаны обработать, и Error — сбои движка (TypeError, ValueError, DivisionByZeroError). Ветви не пересекаются, поэтому catch (Exception $e) никогда не поймает Error, и на границе приложения ловить надо \Throwable. Рядом живёт третий, совсем другой мир — диагностика движка (warning, notice, deprecation): это не брошенные объекты, их catch не видит вовсе, и превратить их в исключения можно только через set_error_handler(). Ловушки темы стоит назвать сразу: return внутри finally перекрывает значение из try и проглатывает брошенное исключение; #[\NoDiscard] из PHP 8.5 поднимает Warning, а не фатальную ошибку, и глушится новым приведением (void); а атрибут сам по себе не делает ничего — пока его кто-нибудь не прочитает через Reflection. Разбор по слоям — ниже.

Карта темы

• Объявления типов — union, intersection, nullable и never, проверка на границе при каждом вызове и вариантность сигнатур при переопределении.
• strict_types и приведение скаляров — почему директива действует по файлу, почему решает место вызова и какое единственное расширение разрешено даже в строгом режиме.
• Ошибки против исключений — три яруса диагностики, что PHP 7 сделал перехватываемым, что осталось фатальным и что делает #[\NoDiscard].
• Иерархия Throwable — интерфейс Throwable и две ветви под ним, почему catch (Exception) не ловит Error и как строить иерархию исключений модуля.
• try, catch и finally — почему возвращаемое значение вычисляется до finally, как return из finally теряет исключение и что делает multi-catch.
• Собственные обработчики ошибок — что перехватывает set_error_handler(), чем от него отличается set_exception_handler() и как вообще увидеть фатальную ошибку.
• Атрибуты и Reflection — почему атрибут инертен без читателя, чем он лучше docblock-аннотации и что происходит в newInstance().

Частые ошибки и ловушки

Значение для собеседований

Это тема, где кандидата ловят на двух точных механизмах. Первый: «где именно действует declare(strict_types=1)?» — правильный ответ звучит как «по файлу, и решает тот файл, который делает вызов», а не «включает строгую типизацию в проекте». Второй: «поймает ли catch (Exception $e) вызов метода на null?» — правильный ответ «нет, это Error из параллельной ветви». Оба вопроса проверяют не словарь, а модель: понимает ли кандидат, что типы проверяются в рантайме на границе вызова, а сбои движка с PHP 7 стали такими же брошенными объектами, как и прикладные исключения, но по другой ветви.

Что обычно проверяют:

• Что union принимает и что отвергает; почему ?int — это ровно int|null.
• Что требует intersection-тип и почему int&string невозможен.
• Чем never отличается от void.
• Где действует strict_types и чей файл это решает.
• Разницу warning, fatal error и исключения; что PHP 7 сделал перехватываемым.
• Связь Throwable, Error и Exception — и почему catch (Exception) не покрывает оба мира.
• Порядок вычисления return и finally; что случается с исключением при return из finally.
• Что перехватывает set_error_handler() и зачем перебрасывать warning как ErrorException.
• Зачем нужны атрибуты, если есть docblock, и что делает getAttributes() / newInstance().

Типичный неверный ответ: «strict_types включает строгую типизацию во всём приложении». За ним обычно следует план «добавим директиву во все 400 файлов и посмотрим» — и продовый инцидент, потому что каждая числовая строка из формы и из колонки базы, до сих пор молча приводившаяся к int, начинает бросать TypeError. Второй классический провал — единственный catch (\Exception $e) на границе приложения: сбой движка вроде вызова метода на null через него проходит насквозь и превращается в белый экран, а корреляционного id, по которому поддержка нашла бы строку лога, не остаётся вовсе.