PHP: полный мануал с примерами, функциями и ООП

<?php
declare(strict_types=1);

$quantity = 0;
try {
    echo "Проверяем количество чая\n";
    if ($quantity < 1) { throw new InvalidArgumentException('Выберите хотя бы одну упаковку'); }
    echo "Заказ готов к оформлению\n";
} catch (InvalidArgumentException $error) {
    echo $error->getMessage(), "\n";
}
echo "Форма остаётся доступной для исправления\n";

Проверяем количество чая
Выберите хотя бы одну упаковку
Форма остаётся доступной для исправления

try начинает защищённый участок. throw прерывает его, поэтому строка об успешном оформлении не выполняется. catch выбирается по типу, получает объект ошибки и извлекает getMessage. Затем выполнение продолжается после блока; само исключение не рисует HTML-форму.

<?php
foreach ([new Exception('Сеть'), new Error('Дефект кода')] as $error) {
    try { throw $error; }
    catch (Throwable $caught) {
        echo get_class($caught), ':', $caught->getMessage(), "\n";
    }
}

Exception:Сеть
Error:Дефект кода

Массив содержит два учебных объекта. get_class читает конкретный тип. На границе worker или HTTP-запроса общий catch полезен для завершения и закрытой диагностики; глубоко внутри не надо скрывать все Throwable и подменять результат пустым массивом.

<?php
try { throw new InvalidArgumentException('Количество не прошло проверку'); }
catch (InvalidArgumentException $error) { echo "Исправьте входные данные\n"; }
catch (Exception $error) { echo "Операция недоступна\n"; }

Исправьте входные данные

Первый подходящий catch выигрывает. Если поставить общий Exception раньше, специальная ветвь перестанет получать этот объект. Для повторов платёжных запросов дополнительно нужны идемпотентность и правила API.

<?php
function describeFailure(Throwable $error): string {
    return get_class($error) . ': ' . $error->getMessage();
}
echo describeFailure(new RuntimeException('Таймаут')), "\n";
echo describeFailure(new TypeError('Неверный тип')), "\n";

RuntimeException: Таймаут
TypeError: Неверный тип

Параметр Throwable ограничивает вход объектами этого договора. return отдаёт строку вызывающему коду; echo находится снаружи, поэтому обработчик не отправляет текст посетителю сам.

<?php
declare(strict_types=1);

class SupplierUnavailable extends RuntimeException {}
function loadTitles(): array { throw new SupplierUnavailable('Поставщик не ответил'); }
try { loadTitles(); }
catch (SupplierUnavailable $error) { echo 'Каталог будет обновлён позже: ', $error->getMessage(), "\n"; }
catch (Throwable $error) { echo "Неожиданная ошибка каталога\n"; }

Каталог будет обновлён позже: Поставщик не ответил

Собственный тип наследует RuntimeException и тем самым Exception/Throwable. Его польза — отдельная реакция вызывающего кода. Обычный класс не может сам implements Throwable; расширяют разрешённое семейство Exception или Error. Общий catch ставится после конкретного.

<?php
declare(strict_types=1);

$error = new Exception('Не удалось сохранить заказ A-42', 41);
echo 'Сообщение: ', $error->getMessage(), "\n";
echo 'Код приложения: ', $error->getCode(), "\n";
echo $error->getPrevious() === null ? "Вложенная причина не передана\n" : "Есть вложенная причина\n";
$empty = new Exception();
echo $empty->getMessage() === '' ? "Без сообщения читателю нечего объяснить\n" : $empty->getMessage();

Сообщение: Не удалось сохранить заказ A-42
Код приложения: 41
Вложенная причина не передана
Без сообщения читателю нечего объяснить

Конструктор Exception принимает message, code и previous. По умолчанию это пустая строка, 0 и null. Код 41 здесь условный код приложения, а не HTTP-статус. Технические сообщения с путями, SQL и секретами не выдавайте посетителю напрямую.

<?php
class PresetFailure extends Exception {
    protected $message = 'Базовое описание';
    protected $code = 42;
}
$first = new PresetFailure();
$second = new PresetFailure('', 0);
$third = new PresetFailure('Другое описание', 7);
echo $first->getMessage(), ':', $first->getCode(), "\n";
echo '[', $second->getMessage(), ']:', $second->getCode(), "\n";
echo $third->getMessage(), ':', $third->getCode(), "\n";

Базовое описание:42
[]:42
Другое описание:7

Наблюдение PHP 8.5.11: пропущенное сообщение сохраняет предустановленное, явная пустая строка заменяет его; code=0 не перезаписывает предустановленный 42, а ненулевой 7 заменяет. Чтобы избежать неожиданного скрытого состояния, в новом коде обычно явно задают смысл через собственный конструктор и parent::__construct. Не делайте такой приём основой внешнего протокола кодов.

<?php
try { missingCatalogHelper(); }
catch (Error $error) {
    echo get_class($error), "\n";
    echo "Операция остановлена\n";
}

Error
Операция остановлена

В реальном проекте проверьте имя, namespace, Composer autoload и подключение кода. Убрать сообщение через пустой catch — не исправление.

<?php
try {
    try { throw new Error('Ошибка реализации'); }
    catch (Exception $error) { echo "Эта ветвь не сработает\n"; }
} catch (Throwable $error) { echo "Пойман общий Throwable\n"; }

Пойман общий Throwable

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

<?php
set_error_handler(static function (int $level, string $message, string $file, int $line): bool {
    if (!(error_reporting() & $level) || $level !== E_USER_WARNING) {
        return false;
    }
    throw new ErrorException($message, 0, $level, $file, $line);
});
try {
    trigger_error('Учебный отказ источника', E_USER_WARNING);
} catch (ErrorException $error) {
    echo $error->getMessage(), "\n";
    echo $error->getSeverity() === E_USER_WARNING ? "Уровень: пользовательское предупреждение\n" : "Другой уровень\n";
} finally {
    restore_error_handler();
}

Учебный отказ источника
Уровень: пользовательское предупреждение

Обработчик переводит только выбранный E_USER_WARNING, сохраняя сообщение, уровень, файл и строку. Возврат false оставляет остальные события штатному механизму. finally восстанавливает предыдущий обработчик; глобально превращать любую диагностику в исключение без политики опасно для совместимости.

<?php
declare(strict_types=1);

function greeting(string $name): string { return 'Здравствуйте, ' . $name; }
try { greeting(); }
catch (ArgumentCountError $error) { echo "Не передан обязательный аргумент
"; }

Не передан обязательный аргумент

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

<?php
declare(strict_types=1);

try { strlen('SKU', 'extra'); }
catch (ArgumentCountError $error) { echo "strlen принимает одну строку
"; }

strlen принимает одну строку

Перед изменением вызова проверьте сигнатуру: дополнительное значение не станет автоматически настройкой функции.

<?php
declare(strict_types=1);

function doubleQuantity(int $quantity): int { return $quantity * 2; }
try { doubleQuantity('4'); }
catch (TypeError $error) { echo "Ожидалось целое число
"; }

Ожидалось целое число

В этом самостоятельном файле включён strict_types=1. На границе формы сначала проверяют текст по правилам целого количества и лишь затем преобразуют.

<?php
declare(strict_types=1);

function itemCount(): int { return 'many'; }
try { itemCount(); }
catch (TypeError $error) { echo "Функция вернула неверный тип
"; }

Функция вернула неверный тип

Это ошибка реализации функции. Перехват не превращает many в корректное количество. Для typed-свойства аналогичная проверка сработает при несовместимом присваивании.

<?php
declare(strict_types=1);

try { explode('', 'A-42'); }
catch (ValueError $error) { echo "Нужен непустой разделитель
"; }

Нужен непустой разделитель

Перед вызовом в настройках интеграции проверьте, что выбран реальный разделитель. Для разбора символов существуют str_split/mb_str_split с другим договором.

<?php
declare(strict_types=1);

try { array_chunk([1, 2, 3], 0); }
catch (ValueError $error) { echo "Размер порции должен быть больше нуля
"; }

Размер порции должен быть больше нуля

В пакетной отправке лимит 0 не означает «без лимита». Задайте отдельный договор такой настройки, а в array_chunk передавайте допустимый размер.

<?php
declare(strict_types=1);

try { $mask = 1 << -1; }
catch (ArithmeticError $error) { echo "Нельзя сдвинуть на отрицательное число битов
"; }

Нельзя сдвинуть на отрицательное число битов

Оператор << сдвигает биты влево. Для выбора направления нужен другой оператор >> с неотрицательным количеством, а не отрицательная настройка.

<?php
declare(strict_types=1);

try { intdiv(PHP_INT_MIN, -1); }
catch (ArithmeticError $error) { echo "Результат вне диапазона int
"; }

Результат вне диапазона int

Отрицательная граница int по модулю больше положительной. Её деление на −1 невозможно представить тем же int. Для больших точных чисел выбирают соответствующую библиотеку, а не незаметную потерю точности во float.

<?php
declare(strict_types=1);

$sum = 120;
$count = 0;
try { $average = $sum / $count; }
catch (DivisionByZeroError $error) { echo "Нет наблюдений для среднего
"; }

Нет наблюдений для среднего

Для ожидаемого пустого набора лучше заранее проверить count и показать «нет данных». Значение 0 в роли среднего скрыло бы разницу между пустым набором и реальным нулём.

<?php
declare(strict_types=1);

$prices = [];
if ($prices === []) {
    echo "Нет данных
";
} else {
    echo array_sum($prices) / count($prices), "
";
}

Нет данных

Проверка пустоты — нормальная ветвь задачи. Исключение нужно для неожиданного нарушения договора или границы библиотеки.

<?php
declare(strict_types=1);

try { throw new AssertionError('Нарушен внутренний инвариант'); }
catch (AssertionError $error) { echo $error->getMessage(), "
"; }

Нарушен внутренний инвариант

Пример учит типу и catch; он не доказывает, что assert включён на вашем сервере.

<?php
declare(strict_types=1);

if ((int) ini_get('zend.assertions') !== 1) {
    echo "Для опыта нужен zend.assertions=1
";
} else {
    try { assert(false, 'Ожидался заполненный набор'); }
    catch (AssertionError $error) { echo $error->getMessage(), "
"; }
}

Ожидался заполненный набор

Этот результат проверен в локальном CLI с zend.assertions=1. На среде с отключёнными assertions выводится диагностическая первая ветвь. Проверку пользовательского ввода оформляют обычным if, который нельзя вырезать настройкой.

<?php
declare(strict_types=1);

try { eval('function broken( {'); }
catch (CompileError $error) { echo get_class($error), "
"; }

ParseError

eval здесь получает постоянную ошибочную учебную строку. Никогда не передавайте в eval текст формы, API или редактируемой пользователем настройки. ParseError — потомок CompileError начиная с PHP 7.3.

<?php
declare(strict_types=1);

try {
    throw new CompileError('Учебная ошибка подготовки шаблона');
} catch (Exception $error) {
    echo "Это ветвь отказов приложения\n";
} catch (Error $error) {
    echo 'Шаблон не подготовлен: ', $error->getMessage(), "\n";
}

Шаблон не подготовлен: Учебная ошибка подготовки шаблона

Это явная локальная модель выбора catch, а не обещание перехватить любую ошибку компиляции основного файла. Если основной файл не разобран, его try ещё не начал работать. ParseError отдельного загружаемого файла можно перехватить уже выполняющимся загрузчиком — следующий опыт делает именно это.

<?php
declare(strict_types=1);

try { eval('return (1 + );'); }
catch (ParseError $error) { echo "Синтаксис фрагмента повреждён
"; }

Синтаксис фрагмента повреждён

Строка константная и предназначена только для опыта. Для формул, правил и шаблонов пользователя применяют ограниченный формат данных/выражений вместо выполнения произвольного PHP.

<?php
declare(strict_types=1);

try { require __DIR__ . '/broken.php'; }
catch (ParseError $error) { echo basename($error->getFile()), "
"; }

broken.php

В скачиваемом самостоятельном примере есть отдельный broken.php с намеренно повреждённым синтаксисом. Проверен реальный require, а не только создание объекта.

<?php
declare(strict_types=1);

$method = 'drone';
try { $label = match ($method) { 'pickup' => 'Самовывоз', 'courier' => 'Курьер' }; }
catch (UnhandledMatchError $error) { echo "Неизвестная доставка
"; }

Неизвестная доставка

Не подставляйте автоматически дешёвый вариант доставки: это может изменить стоимость заказа. Разделяйте неизвестные данные и допустимый выбор.

<?php
declare(strict_types=1);

$status = '1';
$label = match ($status) { 1 => 'Числовой статус', default => 'Нужна нормализация входа' };
echo $label, "
";

Нужна нормализация входа

default здесь возвращает понятное описание для опыта. В обработчике API нормализуют тип по его договору; обычное приведение любого текста в int может скрыть ошибку.

<?php
declare(strict_types=1);

function feed(): Generator { yield 'SKU-1'; throw new RuntimeException('Источник упал'); }
function relay(Generator $source): Generator { yield from $source; }
$source = feed();
$outer = relay($source);
echo $outer->current(), "
";
try { $source->next(); } catch (RuntimeException $error) { echo "Источник закрыт ошибкой
"; }
try { $outer->next(); } catch (ClosedGeneratorException $error) { echo "У делегата нет результата
"; }

SKU-1
Источник закрыт ошибкой
У делегата нет результата

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

<?php
declare(strict_types=1);

function oneItem(): Generator { yield 'SKU-1'; return 'done'; }
$items = oneItem();
foreach ($items as $item) { echo $item, "
"; }
var_dump($items->current());
echo $items->getReturn(), "
";

SKU-1
NULL
done

Не пишите catch ClosedGeneratorException вокруг любого current в предположении, что завершение всегда вызывает исключение. Смотрите договор конкретного метода.

<?php
declare(strict_types=1);

try { Fiber::suspend(); }
catch (FiberError $error) { echo "Сейчас нет выполняющейся Fiber
"; }

Сейчас нет выполняющейся Fiber

Fiber::suspend возвращает управление тому, кто запустил Fiber. В основном потоке такого владельца нет.

<?php
declare(strict_types=1);

$fiber = new Fiber(static function (): void {});
$fiber->start();
try { $fiber->start(); }
catch (FiberError $error) { echo "Fiber уже запускалась
"; }

Fiber уже запускалась

Для новой задачи создают новую Fiber. Для приостановленной используют resume; для завершённой возобновление тоже недопустимо.

<?php
declare(strict_types=1);

function parseDemoBody(): array
{
    throw new RequestParseBodyException('Неподдерживаемый формат тела');
}
try { parseDemoBody(); }
catch (RequestParseBodyException $error) {
    echo "Запрос отклонён: проверьте Content-Type и формат тела\n";
}

Запрос отклонён: проверьте Content-Type и формат тела

PHP 8.4+. Это самостоятельная демонстрация выбора типа catch на явно созданном объекте; она не выполняет HTTP-разбор. Следующий CLI-опыт показывает только отсутствие Content-Type. Полный HTTP-сценарий с реальным телом относится к главе о жизненном цикле HTTP и проверяется серверным запуском.

<?php
declare(strict_types=1);

try { request_parse_body(); }
catch (RequestParseBodyException $error) { echo "Нет данных о типе тела
"; }

Нет данных о типе тела

Самостоятельный CLI-пример не имеет HTTP Content-Type. Проверен именно этот путь; успешный multipart и серверные лимиты этим опытом не подтверждены.

<?php
declare(strict_types=1);

try {

$validated = false;
if (!$validated) { throw new LogicException('Карточка ещё не проверена'); }
echo "Карточка опубликована\n";

} catch (LogicException $error) {
    echo $error->getMessage(), "\n";
}

Карточка ещё не проверена

Сначала конкретное условие задачи, затем LogicException переносит причину отказа к catch. Это внутренний порядок действий: опубликованию предшествует проверка. Повтор того же вызова без исправления состояния не поможет.

<?php
declare(strict_types=1);

function publishCard(bool $validated, string $title): string
{
    if (!$validated) { throw new LogicException('Сначала проверьте карточку'); }
    return 'Опубликовано: ' . $title;
}
echo publishCard(true, 'Чай'), "\n";
try { echo publishCard(false, 'Кофе'); }
catch (LogicException $error) { echo $error->getMessage(), "\n"; }

Опубликовано: Чай
Сначала проверьте карточку

Это внутренний порядок действий: опубликованию предшествует проверка. Повтор того же вызова без исправления состояния не поможет. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$format = 'pdf';
$handlers = ['text' => static fn(string $title): string => 'Товар: ' . $title];
if (!isset($handlers[$format])) { throw new BadFunctionCallException('Формат экспорта не подключён: ' . $format); }
echo $handlers[$format]('Чай'), "\n";

} catch (BadFunctionCallException $error) {
    echo $error->getMessage(), "\n";
}

Формат экспорта не подключён: pdf

Сначала конкретное условие задачи, затем BadFunctionCallException переносит причину отказа к catch. Исключение выбирает диспетчер вашего приложения. Обычный вызов несуществующей PHP-функции приводит к Error, а не автоматически к BadFunctionCallException.

<?php
declare(strict_types=1);

function exportTitle(string $format, string $title): string
{
    $handlers = ['text' => static fn(string $value): string => 'Товар: ' . $value];
    if (!isset($handlers[$format])) { throw new BadFunctionCallException('Неизвестный экспорт: ' . $format); }
    return $handlers[$format]($title);
}
echo exportTitle('text', 'Чай'), "\n";
try { echo exportTitle('pdf', 'Чай'); }
catch (BadFunctionCallException $error) { echo $error->getMessage(), "\n"; }

Товар: Чай
Неизвестный экспорт: pdf

Исключение выбирает диспетчер вашего приложения. Обычный вызов несуществующей PHP-функции приводит к Error, а не автоматически к BadFunctionCallException. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

class ReportAdapter
{
    public function __call(string $name, array $arguments): mixed
    {
        throw new BadMethodCallException('Отчёт не поддерживает: ' . $name);
    }
}
(new ReportAdapter())->eraseAll();

} catch (BadMethodCallException $error) {
    echo $error->getMessage(), "\n";
}

Отчёт не поддерживает: eraseAll

Сначала конкретное условие задачи, затем BadMethodCallException переносит причину отказа к catch. Совместимый адаптер поддерживает ровно одно старое имя; опечатка не превращается в произвольное действие. Без __call недоступный метод сам по себе относится к ветви Error.

<?php
declare(strict_types=1);

class ReportAdapter
{
    public function title(): string { return 'Каталог товаров'; }
    public function __call(string $name, array $arguments): mixed
    {
        if ($name === 'oldTitle' && $arguments === []) { return $this->title(); }
        throw new BadMethodCallException('Неизвестный метод: ' . $name);
    }
}
$report = new ReportAdapter();
echo $report->oldTitle(), "\n";
try { $report->oldTtile(); }
catch (BadMethodCallException $error) { echo $error->getMessage(), "\n"; }

Каталог товаров
Неизвестный метод: oldTtile

Совместимый адаптер поддерживает ровно одно старое имя; опечатка не превращается в произвольное действие. Без __call недоступный метод сам по себе относится к ветви Error. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$delivery = 'teleport';
if (!in_array($delivery, ['pickup', 'courier'], true)) {
    throw new DomainException('Доставка teleport недоступна');
}
echo "Способ выбран\n";

} catch (DomainException $error) {
    echo $error->getMessage(), "\n";
}

Доставка teleport недоступна

Сначала конкретное условие задачи, затем DomainException переносит причину отказа к catch. Тип string подходит, но значение не принадлежит выбранной предметной области. Этот смысл отличается от сбоя сети и отсутствующего элемента конкретного массива.

<?php
declare(strict_types=1);

function deliveryLabel(string $code): string
{
    return match ($code) {
        'pickup' => 'Самовывоз', 'courier' => 'Курьер',
        default => throw new DomainException('Неизвестный способ доставки: ' . $code),
    };
}
echo deliveryLabel('pickup'), "\n";
try { echo deliveryLabel('teleport'); }
catch (DomainException $error) { echo $error->getMessage(), "\n"; }

Самовывоз
Неизвестный способ доставки: teleport

Тип string подходит, но значение не принадлежит выбранной предметной области. Этот смысл отличается от сбоя сети и отсутствующего элемента конкретного массива. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$options = 'timeout=5';
if (!is_array($options)) { throw new InvalidArgumentException('Настройки должны быть массивом'); }
echo "Настройки приняты\n";

} catch (InvalidArgumentException $error) {
    echo $error->getMessage(), "\n";
}

Настройки должны быть массивом

Сначала конкретное условие задачи, затем InvalidArgumentException переносит причину отказа к catch. mixed намеренно оставляет ручную границу разбора. Если объявить параметр array, неподходящий тип будет проверять сам PHP через TypeError. Диапазон секунд — следующий отдельный договор.

<?php
declare(strict_types=1);

function timeoutFrom(mixed $options): int
{
    if (!is_array($options) || !isset($options['timeout']) || !is_int($options['timeout'])) {
        throw new InvalidArgumentException('Нужен массив с целым timeout');
    }
    return $options['timeout'];
}
echo 'Тайм-аут: ', timeoutFrom(['timeout' => 5]), " с\n";
try { timeoutFrom('timeout=5'); }
catch (InvalidArgumentException $error) { echo $error->getMessage(), "\n"; }

Тайм-аут: 5 с
Нужен массив с целым timeout

mixed намеренно оставляет ручную границу разбора. Если объявить параметр array, неподходящий тип будет проверять сам PHP через TypeError. Диапазон секунд — следующий отдельный договор. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$code = 'AB';
if (strlen($code) !== 6) { throw new LengthException('Код наклейки должен занимать 6 байтов'); }
echo 'Наклейка: ', $code, "\n";

} catch (LengthException $error) {
    echo $error->getMessage(), "\n";
}

Код наклейки должен занимать 6 байтов

Сначала конкретное условие задачи, затем LengthException переносит причину отказа к catch. strlen считает байты. Здесь вход по договору ASCII; допустимые символы проверяются отдельно. Для пользовательского русского названия нельзя называть этот результат числом букв или графем.

<?php
declare(strict_types=1);

function labelCode(string $code): string
{
    if (strlen($code) !== 6) { throw new LengthException('Нужен шестибайтовый ASCII-код'); }
    return 'Наклейка: ' . $code;
}
echo labelCode('TEA042'), "\n";
try { echo labelCode('AB'); }
catch (LengthException $error) { echo $error->getMessage(), "\n"; }

Наклейка: TEA042
Нужен шестибайтовый ASCII-код

strlen считает байты. Здесь вход по договору ASCII; допустимые символы проверяются отдельно. Для пользовательского русского названия нельзя называть этот результат числом букв или графем. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$month = 13;
if ($month < 1 || $month > 12) { throw new OutOfRangeException('Месяц отчёта должен быть от 1 до 12'); }
echo 'Месяц: ', $month, "\n";

} catch (OutOfRangeException $error) {
    echo $error->getMessage(), "\n";
}

Месяц отчёта должен быть от 1 до 12

Сначала конкретное условие задачи, затем OutOfRangeException переносит причину отказа к catch. Допустимый диапазон индекса известен из договора заранее. Название SPL-ветви не означает, что PHP-компилятор автоматически выбросит это исключение: проверка написана явно.

<?php
declare(strict_types=1);

function reportMonth(int $month): string
{
    if ($month < 1 || $month > 12) { throw new OutOfRangeException('Номер месяца вне 1–12'); }
    return 'Отчёт за месяц ' . $month;
}
echo reportMonth(10), "\n";
try { echo reportMonth(13); }
catch (OutOfRangeException $error) { echo $error->getMessage(), "\n"; }

Отчёт за месяц 10
Номер месяца вне 1–12

Допустимый диапазон индекса известен из договора заранее. Название SPL-ветви не означает, что PHP-компилятор автоматически выбросит это исключение: проверка написана явно. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$response = ['available' => false];
if (!$response['available']) { throw new RuntimeException('Поставщик сейчас недоступен'); }
echo "Каталог получен\n";

} catch (RuntimeException $error) {
    echo $error->getMessage(), "\n";
}

Поставщик сейчас недоступен

Сначала конкретное условие задачи, затем RuntimeException переносит причину отказа к catch. Ответы — локальные фикстуры. RuntimeException обозначает выбранный отказ операции во время работы. Возможность повтора определяется договором поставщика; не все такие ошибки временны. Проверку формы titles добавляют до использования внешнего ответа.

<?php
declare(strict_types=1);

function supplierTitles(array $reply): array
{
    if (($reply['available'] ?? false) !== true) { throw new RuntimeException('Каталог пока нельзя получить'); }
    return $reply['titles'];
}
echo implode(', ', supplierTitles(['available' => true, 'titles' => ['Чай', 'Кофе']])), "\n";
try { supplierTitles(['available' => false]); }
catch (RuntimeException $error) { echo $error->getMessage(), "\n"; }

Чай, Кофе
Каталог пока нельзя получить

Ответы — локальные фикстуры. RuntimeException обозначает выбранный отказ операции во время работы. Возможность повтора определяется договором поставщика; не все такие ошибки временны. Проверку формы titles добавляют до использования внешнего ответа. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$catalog = ['tea' => 'Чай'];
$sku = 'coffee';
if (!array_key_exists($sku, $catalog)) { throw new OutOfBoundsException('Нет товара: ' . $sku); }
echo $catalog[$sku], "\n";

} catch (OutOfBoundsException $error) {
    echo $error->getMessage(), "\n";
}

Нет товара: coffee

Сначала конкретное условие задачи, затем OutOfBoundsException переносит причину отказа к catch. Ключ допустимой формы отсутствует именно в текущей коллекции. Обычный доступ к отсутствующему ключу массива выдаёт предупреждение; наше исключение появляется из явного условия, а не автоматически.

<?php
declare(strict_types=1);

function productTitle(array $catalog, string $sku): string
{
    if (!array_key_exists($sku, $catalog)) { throw new OutOfBoundsException('Товар не найден: ' . $sku); }
    return $catalog[$sku];
}
$catalog = ['tea' => 'Чай'];
echo productTitle($catalog, 'tea'), "\n";
try { echo productTitle($catalog, 'coffee'); }
catch (OutOfBoundsException $error) { echo $error->getMessage(), "\n"; }

Чай
Товар не найден: coffee

Ключ допустимой формы отсутствует именно в текущей коллекции. Обычный доступ к отсутствующему ключу массива выдаёт предупреждение; наше исключение появляется из явного условия, а не автоматически. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$queue = ['Заказ 42', 'Заказ 43'];
if (count($queue) >= 2) { throw new OverflowException('Локальная очередь заполнена'); }
$queue[] = 'Заказ 44';

} catch (OverflowException $error) {
    echo $error->getMessage(), "\n";
}

Локальная очередь заполнена

Сначала конкретное условие задачи, затем OverflowException переносит причину отказа к catch. Проверка предшествует добавлению; прежняя очередь сохраняется. &$queue разрешает функции изменить переданный массив. Это ограниченная очередь в памяти; OverflowException не является общим типом арифметического переполнения PHP.

<?php
declare(strict_types=1);

function enqueue(array &$queue, string $message, int $capacity): void
{
    if (count($queue) >= $capacity) { throw new OverflowException('Нет места для: ' . $message); }
    $queue[] = $message;
}
$queue = [];
enqueue($queue, 'Заказ 42', 1);
try { enqueue($queue, 'Заказ 43', 1); }
catch (OverflowException $error) { echo $error->getMessage(), "\n"; }
echo 'Сохранено в очереди: ', implode(', ', $queue), "\n";

Нет места для: Заказ 43
Сохранено в очереди: Заказ 42

Проверка предшествует добавлению; прежняя очередь сохраняется. &$queue разрешает функции изменить переданный массив. Это ограниченная очередь в памяти; OverflowException не является общим типом арифметического переполнения PHP. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$ratio = 12 / 10;
if ($ratio < 0 || $ratio > 1) { throw new RangeException('Результат прогресса вне 0–100%'); }
echo $ratio * 100, "%\n";

} catch (RangeException $error) {
    echo $error->getMessage(), "\n";
}

Результат прогресса вне 0–100%

Сначала конкретное условие задачи, затем RangeException переносит причину отказа к catch. Здесь проверяется уже вычисленный результат. Проверка общего числа до деления решает другую ошибку входа. Исключение не маскируется обрезанием до 100%: сначала надо выяснить несогласованность счётчиков.

<?php
declare(strict_types=1);

function progress(int $done, int $total): string
{
    if ($total < 1) { throw new InvalidArgumentException('Общее число должно быть положительным'); }
    $ratio = $done / $total;
    if ($ratio < 0 || $ratio > 1) { throw new RangeException('Вычислен недопустимый прогресс'); }
    return ($ratio * 100) . '%';
}
echo 'Импорт: ', progress(3, 10), "\n";
try { echo progress(12, 10); }
catch (RangeException $error) { echo $error->getMessage(), "\n"; }

Импорт: 30%
Вычислен недопустимый прогресс

Здесь проверяется уже вычисленный результат. Проверка общего числа до деления решает другую ошибку входа. Исключение не маскируется обрезанием до 100%: сначала надо выяснить несогласованность счётчиков. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$jobs = [];
if ($jobs === []) { throw new UnderflowException('В очереди нет задания'); }
echo array_shift($jobs), "\n";

} catch (UnderflowException $error) {
    echo $error->getMessage(), "\n";
}

В очереди нет задания

Сначала конкретное условие задачи, затем UnderflowException переносит причину отказа к catch. array_shift сам вернул бы null для пустого массива. Наш договор takeJob обещает реальную строковую задачу, поэтому пустота оформлена явным исключением. В другом worker нормальное ожидание можно выразить ?string и null — главное выбрать понятный договор.

<?php
declare(strict_types=1);

function takeJob(array &$jobs): string
{
    if ($jobs === []) { throw new UnderflowException('Очередь закончилась'); }
    return array_shift($jobs);
}
$jobs = ['Уведомить о заказе 42'];
echo takeJob($jobs), "\n";
try { echo takeJob($jobs); }
catch (UnderflowException $error) { echo $error->getMessage(), "\n"; }

Уведомить о заказе 42
Очередь закончилась

array_shift сам вернул бы null для пустого массива. Наш договор takeJob обещает реальную строковую задачу, поэтому пустота оформлена явным исключением. В другом worker нормальное ожидание можно выразить ?string и null — главное выбрать понятный договор. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.

<?php
declare(strict_types=1);

try {

$response = ['items' => 'temporarily unavailable'];
if (!isset($response['items']) || !is_array($response['items'])) {
    throw new UnexpectedValueException('Поставщик вернул не список товаров');
}

} catch (UnexpectedValueException $error) {
    echo $error->getMessage(), "\n";
}

Поставщик вернул не список товаров

Сначала конкретное условие задачи, затем UnexpectedValueException переносит причину отказа к catch. Это проверка результата зависимости, а не типа аргумента, который PHP уже принял. В реальном импорте дополнительно проверяют каждый элемент списка. Не превращайте ошибочную строку в пустой успешный массив.

<?php
declare(strict_types=1);

function titlesFromReply(array $response): array
{
    if (!isset($response['items']) || !is_array($response['items'])) {
        throw new UnexpectedValueException('Ответ не содержит список товаров');
    }
    return $response['items'];
}
echo implode(', ', titlesFromReply(['items' => ['Чай', 'Кофе']])), "\n";
try { titlesFromReply(['items' => 'error']); }
catch (UnexpectedValueException $error) { echo $error->getMessage(), "\n"; }

Чай, Кофе
Ответ не содержит список товаров

Это проверка результата зависимости, а не типа аргумента, который PHP уже принял. В реальном импорте дополнительно проверяют каждый элемент списка. Не превращайте ошибочную строку в пустой успешный массив. Функция или объект выделяет операцию, а два входа показывают её успешную и отклонённую ветви. Обработка стоит у вызывающего сценария.