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