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

Ключевые слова:

try: Определяет блок кода, в котором могут произойти исключения.
catch: Определяет блок кода, выполняющийся при возникновении определенного типа исключения.
throw: Генерирует (создает) исключение. Тип исключения может быть любым объектом.

Принцип работы:

Код, который может вызвать ошибку, помещается в блок try.
Если в блоке try возникает исключение (генерируется с помощью throw), обычное выполнение программы прерывается.
Система ищет подходящий блок catch, способный обработать сгенерированное исключение (по типу).
Если найден соответствующий catch, его код выполняется.
Если подходящий catch не найден на текущем уровне вызовов, исключение "распространяется" вверх по стеку вызовов до тех пор, пока не будет найдена подходящая функция обработки (или программа завершится некорректно).

Пример:

cpp

Преимущества:

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

Недостатки:

Могут влиять на производительность (из-за раскрутки стека).
Сложность понимания потока выполнения при наличии множества исключений.
Неправильное использование может приводить к утечкам ресурсов (если ресурсы не освобождаются при возникновении исключения до их корректного освобождения).

Для безопасной работы с ресурсами в присутствии исключений часто используются RAII (Resource Acquisition Is Initialization) и умные указатели.

Что такое исключения в C++?