Файл: 3_C#_2005_для_чайников_(Дэвис-2008).pdf

catch(Exception me) // Самый общий блок - это неверно!

}

}

Более общий блок отнимает объекты исключений у более специализированного блощ К счастью, компилятор в состоянии обнаружить такую ошибку и предупредить о ее наличии

Как исключения протекают сквозь пальцы

Что, если С#, пройдя все catch-блоки, так и не найдет подходящего? Или в вы» вающей функции вообще нет catch-блока? Что будет тогда?

Рассмотрим следующую простую цепочку вызовов функций:

using System; namespace MyException

{

//Вводим некоторый тип MyClass public class MyClass{}

//MyException - - добавляем ссылку на MyClass к

//стандартному классу исключения

public class MyException : ApplicationException

private MyClass myobject;

public MyException(string sMsg, MyClass mo) : base(sMsg)

myobject = mo,-

}

// Дает внешним классам доступ к объекту

public MyClass MyCustomObject{ get {return myobject;}} public class Program

{

// fl - - перехватывает обобщенный объект исключения public void f1(bool bExceptionType)

try

{

f2(bExceptionType);

catch(Exception e)

{

Console.WriteLine("Перехват обобщенного " + "исключения в fl О ") ;

Console.WriteLine(е.Message);

}

}

// f2 - - готов к перехвату MyException public void f2(bool bExceptionType)

{

try

{

f3(bExceptionType);

}

catch(MyException{ me)

Console.WriteLine("Перехват MyException в f2()"); Console.WriteLine(me.Message);

}

}

// f3 - - He перехватывает никаких исключений public void f3(bool bExceptionType)

{ f4(bExceptionType);

}

// f4 - - генерация одного из двух типов исключений public void f4(bool bExceptionType)

{

// Работаем с некоторым локальным объектом MyClass mc = new MyClass О; if(bExceptionType)

{

//Произошла ошибка — генерируем объект исключения с

//объектом

throw new MyException("Генерация MyException " + "в f4()", mc) ;

}

throw new Exception("Обобщенное исключение в f4 () " );

}

public{ static void Main(string[] args)

// Сначала генерируем обобщенное исключение...

Console.WriteLine("Сначала генерируем " + "обобщенное исключение");

new ProgramO . fl (false) ;

// ... а теперь наше исключение Console.WriteLine("\пГенерируем исключение " +

"MyException"); new ProgramO .fl(true) ;

// Ожидаем подтверждения пользователя Console.WriteLine("Нажмите <Enter> для " +

"завершения программы...");

Console.Read();

Функция Main () создает объект Program и тут же использует его для вызова мето да f 1 ( ) , который, в свою очередь, вызывает метод f 2 ( ) , который вызывает метод f 3 ( ) , вызывающий метод f 4 ( ) . Функция f 4 () выполняет сложную проверку ошибки которая выливается в генерацию либо исключения MyException, либо обобщенного исключения Exception, в зависимости от аргумента типа bool. Вначале сгенериро ванное исключение Exception передается в функцию f3 ( ) . Здесь С# не находит catch-блока, и управление передается вверх по цепочке в функцию f 2 ( ) , которая пе рехватывает исключения MyException и его наследников. Этот тип исключения не со ответствует обобщенному исключению Exception, и управление передается еще дальше вверх. Наконец, в функции f 1 () находится catch-блок, соответствующий сге нерированному исключению.

Второй вызов в функции Main () заставляет функцию f 4 () сгенерировать объект MyEx ception, который перехватывается в функции £2 ( ) . Это исключение не пересылается функцию f 1 ( ) , поскольку оно перехватывается и обрабатывается функцией f 2 ().

(Может ли функция Main () в действительности создать объект класса, содержащий объект класса, в котором содержится Main () — т.е. класса Program? Конечно, почему бы и нет? См. последний раздел главы 14, "Интерфейсы и структуры".)

Вывод программы выглядит следующим образом:

Сначала генерируем обобщенное исключение Перехват обобщенного исключения в fl() Обобщенное исключение в f4()

'Генерируем исключение MyException Перехват MyException в f2() Генерация MyException в f4()

Нажмите <Enter> для завершения программы...

Функция наподобие f3 ( ) , не содержащая ни одного catch-блока, вовсе не ред кость. Можно сказать даже больше — такие функции встречаются гораздо чаще, чем функции с catch-блоками. Функция не должна перехватывать исключения, если она не готова их обработать. Должна ли некоторая математическая функция ComputeX() в которой вызывается функция Factorial () как часть вычислений, перехватывать исключение, которое может быть сгенерировано функцией Factorial () ? Функция ComputeXO может совершенно не представлять, откуда взялись неверные входные данные для функции Factorial О и что теперь делать. В этом случае функция ComputeX ( ) , конечно же, не должна содержать catch-блока и перехватывать генери­ руемые исключения.

Функция наподобие f 2 () перехватывает только один тип исключений. Она ожида­ ет только один определенный тип ошибки, который умеет обрабатывать. Например MyException может быть исключением, определенным для выдающейся библиотеки классов гениального автора, написанной, понятное дело, мной, и так и называющей­ с я — BrilliantLibrary. Функции, составляющие BrilliantLibrary, генери­ руют и перехватывают только исключения MyException.

Однако функции BrilliantLibrary могут также вызывать функции обычной стандартной библиотеки System. Функции BrilliantLibrary могут не знать, как следует обрабатывать обобщенные исключения System, в особенности если они вызва­ ны некорректными входными данными.

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

Регенерация исключения

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

азатем передать его дальше (вообще-то, не слишком привлекательная картина). Рассмотрим, например, метод F (), который открывает файл при входе в метод

снамерением закрыть его при выходе из метода. Где-то в середине работы F () вызы­ вается G (). Исключение, сгенерированное в G (), может привести к тому, что у F () не будет шансов закрыть этот файл, который так и останется открытым до полного за­ вершения программы. Идеальным решением было бы включение в F () catch-блока (или блока finally), который бы закрывал все открытые файлы. F() может пере­ дать исключение дальше после того, как закроет все необходимые файлы и выполнит прочие требуемые действия.

"Регенерировать" исключение можно двумя способами. Один из них состоит в гене­ рации второго исключения с дополнительной (или, как минимум, той же) информацией следующим образом:

public void f 1 ()

{

t r y

{

f 2 () ;

}

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

catch(MyException me)

{

//... Частичная обработка исключения ...

Console .WriteLine ("Перехват MyException в fl ()")'';

//... Генерация нового исключения для передачи его

//вверх по цепочке вызовов

throw new Exception(

"Исключение, сгенерированное в fl()");

Генерация нового объекта исключения позволяет классу переформулировать сообщение об ошибке, добавив в него дополнительную информацию. Генера­ ция обобщенного объекта Exception вместо специализированного MyEx­ ception обеспечивает гарантированный перехват этого исключения на уров­ нях выше f 1 ().

Генерация нового исключения имеет тот недостаток, что трассировка стека при этом начинается заново, с точки генерации нового исключения. Источник исходной ошибки оказывается потерян, если только fit) не предпримет специальных мер для его сохранения.