Язык программирования C#9 и платформа .NET5 - Троелсен Эндрю

Представленная выше логика обработки исключений приводит к возникновению ошибок на этапе компиляции. Проблема в том, что первый блок

способен обрабатывать любые исключения, производные от (с учетом отношения "является"), в том числе и . Следовательно, два последних блока в принципе недостижимы!

Запомните эмпирическое правило: блоки

должны быть структурированы так, чтобы первый перехватывал наиболее специфическое исключение (т.е. производный тип, расположенный ниже всех в цепочке наследования типов исключений), а последний — самое общее исключение (т.е. базовый класс имеющейся цепочки наследования: в данном случае).

Таким образом, если вы хотите определить блок

, который будет обрабатывать любые исключения помимо и , то можно было бы написать следующий код:

На заметку! Везде, где только возможно, отдавайте предпочтение перехвату специфичных классов исключений, а не общего класса

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

Общие операторы catch

В языке C# также поддерживается "общий" контекст

, который не получает явно объект исключения, сгенерированный заданным членом:

Очевидно, что это не самый информативный способ обработки исключений, поскольку нет никакой возможности для получения содержательных данных о возникшей ошибке (таких как имя метода, стек вызовов или специальное сообщение). Тем не менее, в C# такая конструкция разрешена, потому что она может быть полезной, когда требуется обрабатывать все ошибки в обобщенной манере. 

Повторная генерация исключений

Внутри логики блока

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

Имейте в виду, что в данном примере кода конечным получателем исключения

будет исполняющая среда .NET 5, т.к. операторы верхнего уровня генерируют его повторно. По указанной причине конечному пользователю будет отображаться системное диалоговое окно с информацией об ошибке. Обычно вы будете повторно генерировать частично обработанное исключение для передачи вызывающему коду, который имеет возможность обработать входное исключение более элегантным образом.

Также обратите внимание на неявную повторную генерацию объекта

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