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

Внутренние исключения

Как нетрудно догадаться, вполне возможно, что исключение сгенерируется во время обработки другого исключения. Например, пусть вы обрабатываете исключение

внутри отдельного блока и в ходе этого процесса пытаетесь записать данные трассировки стека в файл на диске С: (для получения доступа к типам, связанным с вводом-выводом, потребуется добавить директиву с пространством имен ):

Если указанный файл на диске С: отсутствует, тогда вызов метода

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

Когда во время обработки исключения вы сталкиваетесь с еще одним исключением, установившаяся практика предусматривает обязательное сохранение нового объекта исключения как "внутреннего исключения" в новом объекте того же типа, что и исходное исключение. Причина, по которой необходимо создавать новый объект обрабатываемого исключения, связана с тем, что единственным способом документирования внутреннего исключения является применение параметра конструктора. Взгляните на следующий код:

Обратите внимание, что в данном случае конструктору

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

(window.adrunTag = window.adrunTag || []).push({v: 1, el: 'adrun-4-390', c: 4, b: 390})

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

вызывающего кода можно использовать свойство для извлечения деталей внутреннего исключения.

Блок finally

В области действия

можно также определять дополнительный блок . Целью блока является обеспечение того, что заданный набор операторов будет выполняться всегда независимо от того, возникло исключение (любого типа) или нет. Для иллюстрации предположим, что перед завершением программы радиоприемник в автомобиле должен всегда выключаться вне зависимости от обрабатываемого исключения:

  // от того, возникало исключение или нет.

Если вы не определите блок

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

Фильтры исключений

В версии C# 6 появилась новая конструкция, которая может быть помещена в блок

посредством ключевого слова . В случае ее добавления появляется возможность обеспечить выполнение операторов внутри блока только при удовлетворении некоторого условия в коде. Выражение условия должно давать в результате булевское значение ( или ) и может быть указано с применением простого выражения в самом определении либо за счет вызова дополнительного метода в коде. Коротко говоря, такой подход позволяет добавлять "фильтры" к логике исключения.