26. Генерация и обработка исключительных ситуаций

Опишем возможности по генерации и обработке исключительных ситуаций, имеющиеся в языке C#. Для генерации исключительной ситуации используется оператор throw:

throw [объект-класса-исключительной-ситуации];

Объект, указанный после throw, должен быть объектом класса исключительной ситуации. В C# классами исключительных ситуаций являются классSystem.Exceptionи все его наследники. В некоторых языках для .NET можно (хотя и не рекомендуется) генерировать исключения, не являющиеся производными отException. В таком случае CLR автоматически поместит объект исключения в оболочку классаRuntimeWrappedException, который наследуется отException.

Основные свойства класса Exceptionпредставлены в табл. 6. Класс содержит конструкторы, позволяющие задать свойстваMessageиInnerException.

Таблица 6

Свойства класса Exception.

Имя свойства	Описание
Data	Коллекция пар «ключ-значение» с дополнительной информацией об исключении
HelpLink	Строка с ссылкой на файл справки, связанный с исключением
HResult	Числовой код, присвоенный определённому исключению
InnerException	Исключение, вызвавшее текущую ошибку (или null). Свойство только для чтения, значение задаётся в конструкторе
Message	Строка с описанием исключения (свойство только для чтения)
Source	Имя приложения или объекта, вызвавшего ошибку
StackTrace	Строка, описывающая стек вызовов до номера строки метода, в котором происходит исключение
TargetSite	Объект, описывающий метод, в котором сгенерировано исключение

В пространстве имён Systemсодержится несколько классов для описания наиболее распространённых исключений. Упомянём некоторые из них:

1. ArgumentException– генерируется, когда методу передаётся недопустимый аргумент.

2. ArgumentNullException(наследникArgumentException) – генерируется, когда методу передаётся аргумент, равныйnull.

3. ArgumentOutOfRangeException(наследникArgumentException) – генерируется, если методу передаётся аргумент, выходящий за допустимый диапазон.

4. IndexOutOfRangeException– выбрасывается при попытке обратиться к элементу массива по индексу, который выходит за границы массива.

5. InvalidCastException– генерируется, когда явное преобразование типов завершается неудачей.

6. InvalidOperationException– сигнализирует о том, что состояние объекта препятствует выполнению метода (пример: запись в файл, который открыт только для чтения).

7. NotSupportedException– сигнализирует о том, что функциональная возможность не поддерживается.

8. NotImplementedException– сигнализирует о том, что функциональная возможность не реализована.

9. ObjectDisposedException– генерируется, когда метод вызывается у удалённого из памяти объекта.

Разработчик может создать собственный класс для представления информации об исключительной ситуации. Единственным условием для этого класса в C# является прямое или косвенное наследование от класса Exception.

Рассмотрим пример программы с генерацией исключительной ситуации:

usingSystem;

publicclassExampleClass

{

privateint_field;

publicintField

{

get{return_field; }

set

{

if(value< 0)

{

// объект исключения создаётся "на месте"

thrownewArgumentOutOfRangeException();

}

_field = value;

}

}

}

publicclassMainClass

{

publicstaticvoidMain()

{

var a = new ExampleClass();

a.Field = -3; // ИС генерируется, но не обрабатывается!

}

}

Так как в данном примере исключительная ситуация генерируется, но никак не обрабатывается, при работе приложения появится стандартное окно с сообщением об ошибке.

Опишем возможности по обработке исключительных ситуаций. Для перехвата исключительных ситуаций служит операторный блок try – catch – finally. Синтаксис блока следующий:

try

{

[операторы,-способные-вызвать-исключительную-ситуацию]

}

[один-или-несколько-блоков-catch]

[finally

{

операторы-из-секции-завершения

}]

Операторы из части finally(если она присутствует) выполняются всегда, вне зависимости от того, произошла исключительная ситуация или нет. Если один из операторов, расположенных в блокеtry, вызвал исключительную ситуацию, управление немедленно передаётся на блокиcatch. Синтаксис отдельного блокаcatchследующий:

catch [(тип-ИС [идентификатор-объекта-ИС])]

{

операторы-обработки-исключительной-ситуации

}

Здесь идентификатор-объекта-ИС– это некая временная переменная, которая может использоваться для извлечения информации из объекта исключительной ситуации. Отдельно описывать эту переменную не надо.

Если используется несколько блоков catch, то обработка исключительных ситуаций должна вестись по принципу «от частного – к общему», так как после выполнения одного блокаcatchуправление передаётся на частьfinally(при отсутствииfinally– на оператор послеtry – catch). Компилятор C# не позволяет разместить блокиcatchтак, чтобы предыдущий блок перехватывал исключительные ситуации, предназначенные последующим блокам.

Блок catchможно записать в следующей форме:

catch

{

операторы-обработки-исключительной-ситуации

}

При использовании такого синтаксиса типом исключительной ситуации считается класс Exception.

Среди операторов обработки исключительной ситуации может присутствовать оператор throwбез аргумента, что приводит к повторному генерированию исключительной ситуации с сохранением оригинального стека вызовов.

Модифицируем тело метода Main()из предыдущего примера, добавив блок перехвата исключительной ситуации:

vara =newExampleClass();

try

{

Console.WriteLine("This line is printed always");

a.Field = -3;

Console.WriteLine("This line is not printed if the error");

}

catch(ArgumentOutOfRangeExceptionex)

{

Console.WriteLine(ex.Message);

throw;

}

catch(Exceptionex)

{

Console.WriteLine(ex.Message);

}

finally

{

Console.WriteLine("This line is printed always (finally)");

}