Г. Шилдт - С#4.0 Полное руководство (1160795), страница 78
Текст из файла (страница 78)
) Блок [)па 11 у будет выполняться всякий раз, когда происходит выход из блока б ту/ саксЬ, независимо от причин, которые к этому привели. Это означает, что если блок бгу завершается нормально или по причине исключения, то последним выполняется код, определяемый в блоке йпа11у. Блок йпа11у выполняется и в том случае, если любой код в блоке Ьгу или в связанных с ним блоках сабсЬ приводит к возврату из метода. Ниже приведен пример применения блока йпа11у.
// Использовать блок 11па11у. пвьпС Яувгешт с1азв Овеглпа11у ( рпбтгс всасьс ногд ОепЕхсерп]оп(1пп нлас) Тпг гт ьпг[] пиша = пен ьпг[2)т Сопво1е.нглсе11пе("Получить " + нлап); ггу ( зиььсл(нлап) ( сазе О: — 10 / нлап; // сгенерировать ошибку из-за деления на нуль Ьгеак; саве 1: пешв(4) = 4; // сгенерировать ошибку индексирования массива Ьгеахт саве 2: геспгпт // возврат из блока Ггу сапой (ОьнюбевузегоЕхсерГ1оп) ( Сопво1е.нг1гевьпе(")[елить на нуль нельзя!"); гегпгп; // возврат из блока сагсл ) сагсл (1пбехоппотйапчеЕхсерпьоп) ( Сопзо1е.нгьпе11пе("Совпадаюший элемент не найден.") ) Тгпа11у ( Сопво1е.нгьге11пе("После выхода из блока Ггу."); ) 418 Часть!. Язык С() с1азз Г1па11уоешо ( зсаого чо1б Магд() ( Гог(1пс г=бг 1 < 3; 1++) ( Пвер1па11у.бепкхсерс1оп(1); Сопво1е.нггсеъьпе (); ) Вот к какому результату приводит выполнение этой программы.
Получить О Делить на нуль нельзя После выхода из блока Ггу. Получить 1 Совпадаюший элемент не найден. После выхода из блока Ггу. Получить 2 После выхода из блока Ггу. Как следует из приведенного выше результата, блок йпа11у выполняется независимо от причины выхода из блока сгу. И еще одно замечание: с точки зрения синтаксиса блок бпа11у следует после блока Сгу, и формально блоки сагсЬ для этого не требуются.
Следовательно, блок йпа11у можно ввести непосредственно после блока сгу, опустив блоки пасс)т. В этом случае блок бпа11у начнет выполняться сразу же после выхода из блока С ту, но исключения обрабатываться не будут. Подробное рассмотрение класса Ехсерс1оп В приведенных выше примерах исключения только перехватывались, но никакой существенной обработке они не подвергались.
Как пояснялось выше, в операторе сабо)т допускается указывать тип и переменную исключения. Переменная получает ссылку на объект исключения. Во всех исключениях поддерживаются члены, определенные в классе Ехсер11оп, поскольку все исключения являются производными от этого класса. В этом разделе будет рассмотрен ряд наиболее полезных членов и конструкторов класса ехсерс1оп и приведены конкретные примеры использования переменной исключения. В классе ехсерс1оп определяется ряд свойств.
К числу самых интересных относятся три свойства: Меззаое, Ббасхтгасе и ТагпеСБ1бе. Все эти свойства доступны только для чтения. Свойство ме аз аое содержит символьную строку, описывающую характер ошибки; свойство Б С а с)гт гасе — строку с вызовами стека, приведшими к исключительной ситуации, а свойство ТагоеСБ1бе получает объект, обозначающий метод, сгенерировавший исключение. Кроме того, в классе Ехсер11оп определяется ряд методов. Чаще всего приходится пользоваться методом Тозбг1пд (), возвращающим символьную строку с описанием исключения. Этот метод автоматически вызывается, например, при отображении исключения с помощью метода Хгьбеьгпе () . Гяава 13.
Обработка искяючитвяьиых ситуаций 419 Применение всех трех упомянутых выше свойств и метода из класса Ехсерс1оп демонстрируется в приведенном ниже примере программы. // Использовать члены класса Ехсерсгоп. цв1по Яувоевз с1аяя Ехстеяс ( рц)з11с ягаоус чогб ОепЕхсерогоп() ( 1пг(] пцвя = пен гпг[4); Сопяо1е.нггоеьгпе(юйо генерирования исключения."); Сгенерировать исключение в связи с выходом за границы массива. Гог(гпо 1=0) г < 10з 1++) ( пцвя [з] = з.з Сопяо1е.кг1сеь1пе ("пцвя [(О] ) з (1) ", з., пцвя (з) ) з ) Сопяо1е.кг1сеьгпе("Не подлежит выводу"); ) ) с1аяя Ояекхсерг ( яоаг1с чо1б Мабп() ( ггу ( Ехстеяп.оепкхсерс1оп()з ) сасс)з (1пбехоцГОЖапчекхсерс1оп ехс) ( Сопяо1е.игггеьгпе("Стандартное сообщение таково." "); Сопяо1е.нггге11пе(ехс)З // вызвать метод Тояпггпд() Сопао1е.нг1текбпе("Свойство ЯоасКТгасез " + ехс.згасхтгасе) Сопяо1е.нгггеьзпе("Свойство Меяяаоез " + ехс.Меяяаое)з Сопяо1е.нгкпеьзпе("Свойство Тагоепягсез " + ехс.Тагоесябсе) ) Сопяо1е.нггсеЬТпе("После блока перехвата исключения."); При выполнении этой программы получается следующий результат.
До генерирования исключения. пцвя(0]: 0 пцвя [1]: 1 ловя[2]з 2 пцвя(З]: 3 стандартное сообщение таково: яуясев.1пбехоцгогаапоеехсерс1опз Индекс находился вне границ массива. в ехстеяг.сепехсерс1оп() в <имя файла>зстрока 15 в Ояекхсерс.на1п()в <имя файла>:строка 29 Свойство яоасхтгасез в ЕхсТеяг.оепкхсерг1оп()в <имя файла>зстрока 15 в Ояеехсерг.магп()в <имя файла>:строка 29 Свойство Меяяадез Индекс находился вне границ массива. Свойство ТагсеСЯ1оез Чогб ЯепЕхсерггоп() После блока перехвата исключения.
420 Часть (. язык Св В классе Ехсерсуоп определяются четыре следующих конструктора. риЬ1гс Ехсерсьоп() рпЬ1гс Ехсерс1оп(ягггпд сообщение) рвЬ11с Ехсерсгоп(ясггпэ сообщение, Ехсергьоп внутреннее исклочение) ргпсессеб Ехсерсгоп (яуясет.вппсвте.яегга11гасгоп.яегга11гасьоп1пео ин()прмация, Яуясеи.пппсгже.яегьа1ггасгоп.ясгеапгппоопсехс контекст) Наиболее часто используемые исключения В пространстве имен Буясещ определено несколько стандартных, встроенных исключений. Все эти исключения являются производными от класса Бу я Г ещЕхсерггоп, поскольку они генерируются системой СьК при появлении ошибки во время выполнения. В табл. 13.1 перечислены некоторые наиболее часто используемые стандартные исключения. Таблица 13.1.
Наиболее часто использувмыв искмочения, определенные в пространстве имен Бувеев Исключение Значение АггауТуреМ1ящагсЬЕхсерс1оп Тип сохраняемого значения несовместим с типом мас- сива Попытка деления на нуль Индекс оказался за границами массива Неверно выполнено динамическое приведение типов Недостаточно свободной памяти для дальнейшего вы- полнения программы. Это исключение может быть, например, сгенерировано, если для создания объекта с помощью оператора пен не хватает памяти Произошло арифметическое переполнение Попытка использовать пустую ссылку, т.е.
ссылку, кото- рая не указывает ни на один из объекгоа Р1у1()еВуЕегоЕхсерг1оп 1пс(ехопСОГЕапдеЕхсерг1оп 1пуа11с(СаяГЕхсерс1оп ОпГОЙМещогуЕхсерс1оп Оуег1)онЕхсерг1оп Нп11яегегепсеЕхсерс1оп Большинство исключений, приведенных в табл. 13.1, не требует особых пояснений, кроме исключения МЬ11Ке йе гепсеЕхсерСвоп.
Это исключение генерируется при по- Первый конструктор используется по умолчанию. Во втором конструкторе указывается строка сообщение, связанная со свойством Меяяаде, которое имеет отношение к генерируемому исключению. В третьем конструкторе указывается так называемое внутреннее исключение. Этот конструктор используется в том случае, когда одно исключение порождает другое, причем внутреннее исключение обозначает первое исключение, которое будет пустым, если внутреннее исключение отсутствует. (Если внутреннее исключение присутствует, то оно может быть получено из свойства 1ппегЕхсерс1оп, определяемого в классе Ехсерсуоп.) И последний конструктор обрабатывает исключения, происходящие дистанционно, и поэтому требует десериализации.
Следует также заметить, что в четвертом конструкторе класса Ехсерс1оп типы Бег1а11гаг1оп1п1о и Бсгеав1пдСопгехс относятся к пространству имен Буягещ. Еппс1ще.Бег1а11гаггоп. Глава 13. Обработка исключительных ситуаций 421 пытке использовать пустую ссылку на несуществующий объект, например, при вызове метода по пустой ссылке. Лусп(ой называется такая ссылка, которая не указывает ни на один из объектов. Для того чтобы создать такую ссылку, достаточно, например, присвоить явным образом пустое значение переменной ссылочного типа, используя ключевое слово пц11.
Пустые ссылки могут также появляться и другими, менее очевидными путями. Ниже приведен пример программы, демонстрирующий обработку исключения Мц11регегепсеЕхаера1оп. Продемонстрировать обработку исключения Мп11кесегепсеЕхсераьап. пвьпч Зуваеш; с1авв Х ( ьпа х; рп)а11с Х(1па а) ( х= а; ) рао11а ьпа Лоб(Х о) ( геапгп х + о.х; ! ) Продемонстрировать генерирование и обработку // исключения Мц11кетегепсеЕхаералоп. с1авв МКЕПеша ( вааа1с чара Нагл() ( Х р = пен Х(10); Х Ч = пп11; // присвоить явным образом пустое эначение переменной Ч ьпс ча1; агу ( ча1 = р.даб(ч)) // этв операция приведет к исключительной ситуации ) сагал (Мп11весегепсевхсералоп) ( Сопво1е.нггаеььпе("Исключение Мц11аесегепаевхаердьоп)"); Сопво1е.иггаеъвпе("Исправление ошибки... 1п"); А теперь исправить ошибку.
Ч = пен Х(9); ча1 = р.Лоб(Ч): ) Сопво1е.игьае11пе("Значение ча1 равно (О)", ча1); ) ) Вот к какому результату приводит выполнение этой программы. Исключение Мп11кесегепсекхаерс1оп! Исправление ошибки... Значение ча1 равно 19 В приведенном выше примере программы создается класс Х, в котором определяются член х и метод )(а)г( (), складывающий значение члена х в вызывающем объекте 422 Часть (. Язык СФ со значением члена х в объекте, передаваемом этому методу в качестве параметра.