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

Warning или notice — это диагностика: движок сообщает о ней, а выполнение идёт дальше. Fatal error останавливает скрипт целиком. Исключение — это объект, который вы бросаете через throw; оно разматывает стек до подходящего catch, а если такого нет, скрипт падает с fatal error.

Атрибут — это структурированные метаданные вида #[Route('/users')] над классом, методом, свойством или параметром. Движок разбирает их и на этом останавливается: читают их через Reflection — getAttributes() возвращает объявления, а newInstance() создаёт объект атрибута. Класс атрибута несёт #[Attribute].

?int — сокращение для int|null: тот же тип, та же проверка в рантайме. Разница лишь в охвате: ? ставится ровно перед одним типом, поэтому nullable-union из двух типов приходится писать как int|string|null. Формы не смешиваются, и ?int|string — ошибка разбора.

Throwable — интерфейс, который реализует всё бросаемое. Под ним две отдельные ветви: Exception — прикладные сбои, которые вы обязаны обработать, и Error — сбои движка вроде TypeError. Поэтому catch (Exception $e) никогда не ловит Error — для обоих ловите Throwable.

Union принимает значение, подходящее под любой один из перечисленных типов, а остальное отвергает с TypeError на границе. int|string берёт int или строку, но не null — чтобы разрешить null, пишут int|string|null. Проверка идёт в месте вызова, при каждом вызове, в рантайме.

PHP 7 превратил большинство сбоев движка в брошенные объекты Error — вызов метода на null, TypeError, DivisionByZeroError, — поэтому catch (\Error) или catch (\Throwable) их обрабатывает. По-настоящему фатальным осталось то, откуда движок продолжить не может: исчерпание памяти, лимит времени, ошибка разбора.

Стройте иерархию на том, как обязан ОТРЕАГИРОВАТЬ вызывающий, а не на том, где возник сбой. Опубликуйте одно базовое исключение (или интерфейс-метку), которое бросает весь модуль, чтобы вызывающий ловил модуль, не зная его. Разделяйте лишь там, где различается обработка. Код отказа несите типизированным свойством, а не внутри сообщения.

Он меняет только скалярные объявления типов, действует по файлу, и решает тот файл, который делает ВЫЗОВ, а не тот, что объявляет функцию. Строгий файл, зовущий нестрогую библиотеку, проверяется строго; нестрогий вызывающий вашей строгой библиотеки всё равно получает приведение.

Intersection принимает только значение, удовлетворяющее сразу всем перечисленным типам, — объект, реализующий и Countable, и Iterator. В нём допустимы лишь имена классов и интерфейсов; скаляры, null и array отвергаются, поэтому int&string — ошибка компиляции. Появился в PHP 8.1.

never говорит, что функция никогда не возвращает управление вызывающему: она либо бросает, либо зовёт exit(), либо крутится вечно. Это не void — функция с void возвращается, просто без значения. Анализаторы считают код после такого вызова недостижимым, а return внутри never-функции — ошибка.

Docblock — это комментарий: движок его выбрасывает, поэтому каждый фреймворк перечитывал исходный текст своим регулярным выражением, а опечатка молча падала. Атрибут — настоящий синтаксис: его разбирает движок, разрешает как имя класса, автозагружает и выдаёт через Reflection. Опечатка в имени класса атрибута — находимая ошибка.

Возвращаемое значение вычисляется и откладывается, затем выполняется finally, и лишь потом функция возвращает. Поэтому finally выполняется всегда: и при обычном return, и при исключении, и при break. Если finally сам делает return, его значение перекрывает значение из try, а исключение из try теряется.

set_error_handler() перехватывает диагностику движка — warning и notice, — но не исключения и не fatal error, от которого восстановиться нельзя. Обработчик обычно перебрасывает их как ErrorException, чтобы один try/catch покрывал оба мира и warning нельзя было проигнорировать.

PHP допускает ковариантные типы возврата и контравариантные типы параметров, и оба проверяются движком на этапе компиляции. Переопределение вправе сузить возврат — вернуть Dog там, где родитель возвращал Animal, — и расширить параметр, принимая Animal там, где родитель брал Dog. Правило одно: подстановка Лисков.

#[\NoDiscard] помечает функцию, чей возвращаемый результат обязан быть использован. Вызов с выброшенным результатом поднимает Warning в рантайме, и забытый результат перестаёт быть незаметным. Когда отбросить его намеренно, новое приведение (void) глушит предупреждение: (void) $conn->close();.

Обрабатывайте один раз, на границе фреймворка: единственный обработчик, ловящий \Throwable, — тогда Error от движка тоже покрыт. Контроллер ловит лишь то, от чего способен восстановиться. Обработчик сопоставляет исключению код статуса и устойчивую форму ошибки, добавляет корреляционный id, который же возвращает пользователю, и пишет его в лог со стеком и контекстом.

Выкатывайте по файлу, начиная с ЛИСТЬЕВ: решает файл, который делает ВЫЗОВ, поэтому директива в листе, который сам почти ничего не зовёт, почти ничего и не превратит в TypeError. Приведения, которые начнут падать, ищите до прода статическим анализом и прогоном тестов в строгом режиме. Там, где функция честно берёт оба типа, объявляйте int|string и нормализуйте внутри.