Для чего нужны исключения (exceptions), их плюсы и минусы по сравнению с возвратом объектов-результатов?

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

Что такое исключения:
Исключения — это специальные объекты, которые прерывают нормальный поток выполнения программы и передают управление ближайшему блоку обработки исключений.

Плюсы исключений:

• Чистота кода: Основная логика не загромождается проверками ошибок

• Автоматическое распространение: Ошибки могут быть обработаны на любом уровне выше по стеку вызовов

• Типизация: Возможность создавать иерархии исключений для разных типов ошибок

• Информативность: Исключения содержат стек вызовов для отладки

Минусы исключений:

• Сложность отладки: Труднее отследить поток выполнения

• Производительность: Создание исключений требует больше ресурсов

• Неявный контроль потока: Ошибки могут быть пропущены если не обрабатываются

Сравнение подходов:

// Подход с объектами-результатами
function divide($a, $b): Result {
    if ($b == 0) {
        return Result::error("Division by zero");
    }
    return Result::success($a / $b);
}

// Подход с исключениями
function divide($a, $b) {
    if ($b == 0) {
        throw new DivisionByZeroException("Division by zero");
    }
    return $a / $b;
}

Когда что использовать:

• Исключения: для неожиданных, критических ошибок

• Объекты-результаты: для ожидаемых ошибок бизнес-логики