Обработка исключений

Исключение — это объект, описывающий сбой, который прерывает нормальный ход выполнения и «всплывает» вверх по стеку вызовов, пока его кто-нибудь не поймает. В C# это штатный способ сообщить об ошибке: вместо кодов возврата метод бросает исключение, а вызывающий решает, обработать его или пропустить дальше.

Вся тема держится на нескольких инвариантах, которые легко перепутать. try защищает рискованный код; из нескольких catch выполняется ровно один — первый подходящий по типу сверху вниз; finally выполняется в любом случае и потому служит местом для очистки. Поверх этого — как правильно пробросить исключение, не потеряв стек, когда завести свой тип, а когда переиспользовать встроенный, и как using превращает освобождение ресурсов в детерминированный вызов Dispose. Полная карта — в слоях ниже.

Карта темы

• Обработка исключений — try/catch/throw, поиск обработчика по типу, throw; против throw ex;.
• Несколько catch — проверка сверху вниз, «первый подходящий побеждает», конкретное перед общим.
• Блок finally — выполняется всегда, даже после return; когда он всё же пропускается.
• Пользовательские исключения — наследование от Exception, стандартные конструкторы, доменный контекст.
• Оператор using — детерминированный Dispose при выходе из области, скрытый try/finally.
• IDisposable — контракт освобождения ресурсов и паттерн Dispose.

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

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

Обработку исключений спрашивают, чтобы отделить тех, кто пишет только «счастливый путь», от тех, кто думает о сбоях. Ответы здесь короткие, но показательные: перепутать порядок catch или сказать, что throw ex; сохраняет стек, — заметный красный флаг.

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

• Роли try, catch, finally и что finally выполняется всегда.
• Разницу throw; и throw ex; и почему первый предпочтителен.
• Как выбирается один из нескольких catch и почему конкретное идёт перед общим.
• Когда заводить свой тип исключения, а когда взять встроенный.
• Как using и IDisposable дают детерминированное освобождение ресурсов.

Типичный неверный ответ: «finally нужен, чтобы поймать исключение, если catch не сработал». На деле finally ничего не ловит — он про гарантированную очистку, выполняется независимо от исхода и обходится лишь при жёстком завершении процесса.