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

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

Как нетрудно догадаться, вполне возможно, что исключение сгенерируется во время обработки другого исключения. Например, пусть вы обрабатываете исключение CarIsDeadException внутри отдельного блока 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. После настройки этого нового объекта он передается вверх по стеку вызовов следующему вызывающему коду, которым в рассматриваемой ситуации будут операторы верхнего уровня.

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

Поскольку после операторов верхнего уровня нет "следующего вызывающего кода", который мог бы перехватить исключение, пользователю будет отображено системное диалоговое окно с сообщением об ошибке. Подобно повторной генерации исключения запись внутренних исключений обычно полезна, только если вызывающий код способен обработать исключение более элегантно. В таком случае внутри логики 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 либо за счет вызова дополнительного метода в коде. Коротко говоря, такой подход позволяет добавлять "фильтры" к логике исключения.