Поскольку после операторов верхнего уровня нет "следующего вызывающего кода", который мог бы перехватить исключение, пользователю будет отображено системное диалоговое окно с сообщением об ошибке. Подобно повторной генерации исключения запись внутренних исключений обычно полезна, только если вызывающий код способен обработать исключение более элегантно. В таком случае внутри логики
catch
вызывающего кода можно использовать свойство
InnerException
для извлечения деталей внутреннего исключения.
Блок finally
В области действия
try/catch
можно также определять дополнительный блок
finally
.
Целью блока
finally
является обеспечение того, что заданный набор операторов будет выполняться всегда независимо от того, возникло исключение (любого типа) или нет. Для иллюстрации предположим, что перед завершением программы радиоприемник в автомобиле должен всегда выключаться вне зависимости от обрабатываемого исключения:
// Логика, связанная с увеличением скорости автомобиля.
}
catch(CarIsDeadException e)
{
// Обработать объект CarIsDeadException.
}
catch(ArgumentOutOfRangeException e)
{
// Обработать объект ArgumentOutOfRangeException.
}
catch(Exception e)
{
// Обработать любой другой объект Exception.
}
finally
{
// Это код будет выполняться всегда независимо
// от того, возникало исключение или нет.
myCar.CrankTunes(false);
}
Console.ReadLine;
Если вы не определите блок
finally
, то в случае генерации исключения радиоприемник не выключится (что может быть или не быть проблемой). В более реалистичном сценарии, когда необходимо освободить объекты, закрыть файл либо отсоединиться от базы данных (или чего-то подобного), блок
finally
представляет собой подходящее место для выполнения надлежащей очистки.
Фильтры исключений
В версии C# 6 появилась новая конструкция, которая может быть помещена в блок
catch
посредством ключевого слова
when
. В случае ее добавления появляется возможность обеспечить выполнение операторов внутри блока
catch
только при удовлетворении некоторого условия в коде. Выражение условия должно давать в результате булевское значение (
true
или
false
) и может быть указано с применением простого выражения в самом определении
when
либо за счет вызова дополнительного метода в коде. Коротко говоря, такой подход позволяет добавлять "фильтры" к логике исключения.
Взгляните на показанную ниже модифицированную логику исключения. Здесь к обработчику
CarIsDeadException
добавлена конструкция
when
, которая гарантирует, что данный блок
catch
никогда не будет выполняться по пятницам (конечно, пример надуман, но кто захочет разбирать автомобиль на выходные?). Обратите внимание, что одиночное булевское выражение в конструкции
when
должно быть помещено в круглые скобки.
catch (CarIsDeadException e)
when (e.ErrorTimeStamp.DayOfWeek != DayOfWeek.Friday)
{
// Выводится, только если выражение в конструкции when
// вычисляется как true.
Console.WriteLine("Catching car is dead!");
Console.WriteLine(e.Message);
}
Рассмотренный пример был надуманным, а более реалистичное использование фильтра исключений предусматривает перехват экземпляров
SystemException
. Скажем, пусть ваш код сохраняет информацию в базу данных и генерируется общее исключение. Изучив сообщение и детали исключения, вы можете создать специфические обработчики, основанные на том, что конкретно было причиной исключения.
Отладка необработанных исключений с использованием Visual Studio
Среда Visual Studio предлагает набор инструментов, которые помогают отлаживать необработанные исключения. Предположим, что вы увеличили скорость объекта
Car
до значения, превышающего максимум, но на этот раз не позаботились о помещении вызова внутрь блока
try
:
Car myCar = new Car("Rusty", 90);
myCar.Accelerate(100);
Если вы запустите сеанс отладки в Visual Studio (выбрав пункт меню Debugs?Start (Отладка?Начать)), то во время генерации необработанного исключения произойдет автоматический останов. Более того, откроется окно (рис. 7.1), отображающее значение свойства
Message
.
На заметку! Если вы не обработали исключение, сгенерированное каким-то методом из библиотек базовых классов .NET 5, тогда отладчик Visual Studio остановит выполнение на операторе, который вызвал проблемный метод.
Щелкнув в этом окне на ссылке View Detail (Показать подробности), вы обнаружите подробную информацию о состоянии объекта (рис. 7.2).
Резюме
В главе была раскрыта роль структурированной обработки исключений. Когда методу необходимо отправить объект ошибки вызывающему коду, он должен создать, сконфигурировать и сгенерировать специфичный объект производного от
System.Exception
типа посредством ключевого слова
throw
языка С#. Вызывающий код может обрабатывать любые входные исключения с применением ключевого слова
catch
и необязательного блока
finally
. В версии C# 6 появилась возможность создавать фильтры исключений с использованием дополнительного ключевого слова
when
, а в версии C# 7 расширен перечень мест, где можно генерировать исключения.