Герберт Шилдт - C# 4.0 - полное руководство

using System;

// Создать класс исключения,

class ExceptA : Exception {

public ExceptA(string str) : base(str) { }

public override string ToString() {

return Message;

}

}

// Создать класс исключения, производный от класса ExceptA.

class ExceptB : ExceptA {

public ExceptB(string str) : base(str) { }

public override string ToString() {

return Message;

}

}

class OrderMatters {

static void Main() {

for(int x = 0; x < 3; x++) {

try {

if (x==0)

throw new ExceptA("Перехват исключения типа ExceptA");

else if(x==1)

throw new ExceptB("Перехват исключения типа ExceptB");

else

throw new Exception();

}

catch (ExceptB exc) {

Console.WriteLine(exc);

}

catch (ExceptA exc) {

Console.WriteLine(exc);

}

catch (Exception exc) {

Console.WriteLine(exc);

}

}

}

}

Вот к какому результату приводит выполнение этой программы.

Перехват исключения типа ExceptA.

Перехват исключения типа ExceptB.

System.Exception: Выдано исключение типа "System.Exception".

в OrderMatters.Main() в <���имя_файла >:строка 36

Обратите внимание на порядок следования операторов catch. Именно в таком порядке они и должны выполняться. Класс ExceptBявляется производным от класса ExceptA, поэтому исключение типа ExceptBдолжно перехватываться до исключения типа ExceptA.Аналогично, исключение типа Exception (т.е. базового класса для всех исключений) должно перехватываться последним. Для того чтобы убедиться в этом, измените порядок следования операторов catch. В итоге это приведет к ошибке во время компиляции.

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

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

byte a, b, result;

а = 127;

b = 127;

result = (byte)(а * b);

В этом коде произведение значений переменных а и b превышает диапазон представления чисел для типа byte. Следовательно, результат вычисления данного выражения приводит к переполнению для типа данных, сохраняемого в переменной result.

В C# допускается указывать, будет ли в коде сгенерировано исключение при переполнении, с помощью ключевых слов checkedи unchecked. Так, если требуется указать, что выражение будет проверяться на переполнение, следует использовать ключевое слово checked, а если требуется проигнорировать переполнение — ключевое слово unchecked. В последнем случае результат усекается, чтобы не выйти за пределы диапазона представления чисел для целевого типа выражения.

У ключевого слова checkedимеются две общие формы. В одной форме проверяется конкретное выражение, и поэтому она называется операторной. А в другой форме проверяется блок операторов, и поэтому она называется блочной. Ниже приведены обе формы:

checked ( выражение)

checked {

// проверяемые операторы

}

где выражение обозначает проверяемое выражение. Если вычисление проверяемого выражения приводит к переполнению, то генерируется исключение OverflowException.

У ключевого слова uncheckedтакже имеются две общие формы. В первой, операторной форме переполнение игнорируется при вычислении конкретного выражения. А во второй, блочной форме оно игнорируется при выполнении блока операторов: