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

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

catch(CarIsDeadException e)

{

  // Попытка открытия файла carErrors.txt, расположенного на диске С:.

  FileStream fs = File.Open(@"C:carErrors.txt", FileMode.Open);

  ...

}

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

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

using System.IO;

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

catch (CarIsDeadException e)

{

  try

  {

    FileStream fs =

      File.Open(@"C:carErrors.txt", FileMode.Open);

    ...

  }

  catch (Exception e2)

  {

    // Следующая строка приведет к ошибке на этапе компиляции,

    // т.к. InnerException допускает только чтение.

    // е.InnerException = е2;

    // Сгенерировать исключение, которое записывает новое

    // исключение, а также сообщение из первого исключения.

    throw new CarIsDeadException(

      e.CauseOfError, e.ErrorTimeStamp, e.Message, e2);  }

}

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

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

Блок finally

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

Console.WriteLine("***** Handling Multiple Exceptions *****n");

Car myCar = new Car("Rusty", 90);

myCar.CrankTunes(true);

try

{

  // Логика, связанная с увеличением скорости автомобиля.

}

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).

Резюме

В главе была раскрыта роль