Системные исключения и их обработка

В языке C# исключение — это объект класса System. Exception или производного от него класса. В пространство имен System входят кроме Exception еще несколько классов исключений, которыми можно пользоваться в программах. В табл. 16.1 приведены исключения из пространства System, соответствующие особым ситуациям в программах на С#.

Таблица 16.1

Классы системных исключений.

Исключения определены не только в пространстве имен System. В других пространствах имеются исключения, которые относятся к соответствующим разделам библиотек среды исполнения .NET. Например, в пространстве System.Drawing.Printing имеются исключения, соответствующие особым ситуациям вывода на печать и т. д.

Исключение как объект создается с помощью специального оператора генерации (посылки) исключения:

throw выражение;

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

Достаточно часто начинающий программист наталкивается на исключения, возникающие из-за неверного ввода данных при выполнении совершенно правильной программы. В качестве примера рассмотрим такой фрагмент кода (программа 16₀₁.cs):

double х;

Console.Write («x = «);

х = double. Parse (Console.ReadLine ());

Console.WriteLine («res = «+ x);

Если при европейской настройке операционной среды пользователь в ответ на приглашение «х =» введет, например, 3.3, т. е. допустит ошибку, отделив дробную часть вещественного числа не запятой, а точкой, или введет вместо цифры букву, то программа завершится аварийно и выдаст такое сообщение о необработанном исключении:

Необработанное исключение: System. FormatException:

Входная строка имела неверный формат в System.Double.Parse (String s).

В этом сообщении об исключении указано, что его источник — метод System.Double.Parse (string s).

Для перехвата и обработки исключений используется конструкция try/catch/finally. Она состоит из двух или трех частей. Первая обязательная часть — это оператор try, называемый блоком контроля за возникновением исключений. Оператор try представляет собой заключенную в фигурные скобки последовательность операторов языка С#, перед которой размещается служебное слово try. Непосредственно за фигурной скобкой, закрывающей блок контроля за исключениями, размещается последовательность catch-блоков — ловушек (иначе называемых обработчиками) исключений, а также необязательный блок завершения (finally-блок). Каждый обработчик исключений вводится служебным словом catch. Имеется следующие формы catch-блока:

catch (тип_исключения имя) фильтр_исключений {операторы} catch (тип_исключения имя) {операторы} catch (тип_исключения) {операторы} catch {операторы}

Входящий в ловушку исключений блок операторов предназначен для выполнения действий по обработке захваченного исключения. Блок завершения имеет такой формат:

finally {операторы}

Операторы блока завершения выполняются после выхода из набора catch-блоков. Точнее, блок finally выполняется всегда независимо от того, выполнены или нет в конструкции try/catch/finally обработчики событий.

Определены три формы конструкции try/catch/finally:

• • блок контроля, за которым следуют catch-обработчики (один или несколько);
• • блок контроля, за которым непосредственно следует блок завершения (finally-блок);
• • блок контроля, за которым следуют catch-обработчики (один или несколько), за которыми размещен блок завершения (finally-блок).

В качестве примера применения конструкции try/catch дополним приведенную выше последовательность операторов, которая аварийно завершается при неверно введенных данных, средствами для обработки исключений типа System.FormatException. Код станет таким:

double х; while (true).

{

try.

{

Console.Write («x = «);

x = double. Parse (Console.ReadLine ());

Console.WriteLine («res = «+ x);

}

catch (FormatException).

{

Console.WriteLine («0iuM6Ka в формате данных!»);

continue;

>

break;

}

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

Console.Write («x = «); х = double. Parse (Console.ReadLineQ);

Console.WriteLine («res = «+ x);

Во втором из них возможна генерация исключения System. FormatException. Если оно появляется, то управление передается за пределы блока контроля (третий оператор пропускается). Ловушка (обработчик) исключений с заголовком catch (FormatException) настроена на обработку исключений типа FormatException. В теле обработчика два оператора. Первый из них выдает на консоль сообщение, оператор continue; передает управление на начало следующей итерации цикла. Цикл не будет завершен, пока пользователь не введет значение х без ошибок. Диалог пользователя с программой может быть, например, таким:

х = 3.5.

Ошибка в формате данных! х = 3d5.

Ошибка в формате данных! х = 3,5 res =3,5.

Обратите внимание, что в try-блоке при возникновении исключения оператор Console. WriteLine («res = «+ х); не выполняется.

Порядок действий в конструкции try/catch/finally следующий. Выполняются операторы блока контроля за исключениями. Если исключений не возникло, то все catch-обработчики пропускаются. При возникновении исключения управление незамедлительно передается набору catch-блоков. Обработчики исключений просматриваются последовательно до тех пор, пока не будет обнаружен обработчик, «настроенный» на переданное исключение. После выполнения операторов этого обработчика выполняется блок завершения (если он есть) и только затем заканчивается исполнение конструкции try/ catch/finally. Отметим, что среди набора блоков обработки выполняется только один или не выполняется ни один.

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