Текст книги "Полное руководство. С# 4.0"

Автор книги: Герберт Шилдт

сообщить о нарушении

Текущая страница: 24 (всего у книги 58 страниц)

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

Метод Conveyor() принимает аргумент типа Action, и поэтому ему могут быть переданы только значения, определяемые в перечислении Action. Например, ниже приведена попытка передать методу Conveyor() значение 22. с.Conveyor(22); // Ошибка!

Эта строка кода не будет скомпилирована, поскольку отсутствует предваритель но заданное преобразование типа int в перечислимый тип Action. Именно это и препятствует передаче неправильных команд методу Conveyor(). Конечно, такое преобразование можно организовать принудительно с помощью приведения типов, но это было бы преднамеренным, а не случайным или неумышленным действием. Кроме того, вероятность неумышленной передачи пользователем неправильных ко манд методу Conveyor() сводится с минимуму благодаря тому, что эти команды обо значены символическими именами в перечислении.

В приведенном выше примере обращает на себя внимание еще одно интересное обстоятельство: перечислимый тип используется для управления оператором switch. Как упоминалось выше, перечисления относятся к целочисленным типам данных, и поэтому их вполне допустимо использовать в операторе switch.

ГЛАВА 13. Обработка исключительных ситуаций

Исключительная ситуация, или просто исключение, происходит во время выполнения. Используя под систему обработки исключительных ситуаций в С#, можно обрабатывать структурированным и контроли руемым образом ошибки, возникающие при выполнении программы. Главное преимущество обработки исключи тельных ситуаций заключается в том, что она позволяет ав томатизировать получение большей части кода, который раньше приходилось вводить в любую крупную програм му вручную для обработки ошибок. Так, если программа написана на языке программирования без обработки ис ключительных ситуаций, то при неудачном выполнении методов приходится возвращать коды ошибок, которые не обходимо проверять вручную при каждом вызове метода. Это не только трудоемкий, но и чреватый ошибками про цесс. Обработка исключительных ситуаций рационализи рует весь процесс обработки ошибок, позволяя определить в программе блок кода, называемый обработчиком исклю чений и выполняющийся автоматически, когда возникает ошибка. Эго избавляет от необходимости проверять вруч ную, насколько удачно или неудачно завершилась конкрет ная операция либо вызов метода. Если возникнет ошибка, она будет обработана соответствующим образом обработ чиком ошибок.

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

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

К числу самых важных подклассов Exception относится класс SystemException. Именно от этого класса являются производными все исключения, генерируемые испол няющей системой C# (т.е. системой CLR). Класс SystemException ничего не добавляет к классу Exception, а просто определяет вершину иерархии стандартных исключений.

В среде .NET Framework определено несколько встроенных исключений, являю щихся производными от класса SystemException. Например, при попытке выпол нить деление на нуль генерируется исключение DivideByZeroException. Как будет показано далее в этой главе, в C# можно создавать собственные классы исключений, производные от класса Exception. Основы обработки исключительных ситуаций

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

Операторы программы, которые требуется контролировать на появление исключе ний, заключаются в блок try. Если внутри блока try возникает исключительная ситуа ция, генерируется исключение. Это исключение может быть перехвачено и обработано каким-нибудь рациональным способом в коде программы с помощью оператора, обо значаемого ключевым словом catch. Исключения, возникающие на уровне системы, генерируются исполняющей системой автоматически. А для генерирования исключе ний вручную служит ключевое слово throw. Любой код, который должен быть непре менно выполнен после выхода из блока try, помещается в блок finally. Применение пары ключевых слов try и catch

Основу обработки исключительных ситуаций в C# составляет пара ключевых слов try и catch. Эти ключевые слова действуют совместно и не могут быть использованы порознь. Ниже приведена общая форма определения блоков try/catch для обработ ки исключительных ситуаций: try { // Блок кода, проверяемый на наличие ошибок. } catch (ExcepType1 exOb) { // Обработчик исключения типа ExcepTypel. } catch (ExcepType2 exOb) { // Обработчик исключения типа ExcepType2. }

где ЕхсерТуре – это тип возникающей исключительной ситуации. Когда исключение генерируется оператором try, оно перехватывается составляющим ему пару опера тором catch, который затем обрабатывает это исключение. В зависимости от типа исключения выполняется и соответствующий оператор catch. Так, если типы гене рируемого исключения и того, что указывается в операторе catch, совпадают, то вы полняется именно этот оператор, а все остальные пропускаются. Когда исключение перехватывается, переменная исключения exOb получает свое значение.

На самом деле указывать переменную ехОb необязательно. Так, ее необязательно указывать, если обработчику исключений не требуется доступ к объекту исключения, что бывает довольно часто. Для обработки исключения достаточно и его типа. Именно поэтому во многих примерах программ, приведенных в этой главе, переменная ехОb опускается.

Следует, однако, иметь в виду, что если исключение не генерируется, то блок опера тора try завершается как обычно, и все его операторы catch пропускаются. Выполне ние программы возобновляется с первого оператора, следующего после завершающе го оператора catch. Таким образом, оператор catch выполняется лишь в том случае, если генерируется исключение. Простой пример обработки исключительной ситуации

Рассмотрим простой пример, демонстрирующий отслеживание и перехватывание исключения. Как вам должно быть уже известно, попытка индексировать массив за его границами приводит к ошибке. Когда возникает подобная ошибка, система CLR гене рирует исключение IndexOutOfRangeException, которое определено как стандарт ное для среды .NET Framework. В приведенной ниже программе такое исключение генерируется намеренно и затем перехватывается. // Продемонстрировать обработку исключительной ситуации. using System; class ExcDemol { static void Main() { int[] nums = new int[4]; try { Console.WriteLine("До генерирования исключения."); // Сгенерировать исключение в связи с выходом индекса за границы массива. for(int i=0; i < 10; i++) { nums[i] = i; Console.WriteLine("nums[(0)]: {1}", i, nums[i]); } Console.WriteLine("He подлежит выводу"); } catch (IndexOutOfRangeException) { // Перехватить исключение. Console.WriteLine("Индекс вышел за границы массива!"); } Console.WriteLine("После блока перехвата исключения."); } }

При выполнении этой программы получается следующий результат. До генерирования исключения. nums[0]: 0 nums[1]: 1 nums[2]: 2 nums[3]: 3 Индекс вышел за границы массива! После блока перехвата исключения.

В данном примере массив nums типа int состоит из четырех элементов. Но в цикле for предпринимается попытка проиндексировать этот массив от 0 до 9, что и приво дит к появлению исключения IndexOutOfRangeException, когда происходит обра щение к элементу массива по индексу 4.

Несмотря на всю свою краткость, приведенный выше пример наглядно демон стрирует ряд основных моментов процесса обработки исключительных ситуаций. Во-первых, код, который требуется контролировать на наличие ошибок, содержится в блоке try. Во-вторых, когда возникает исключительная ситуация (в данном случае – при попытке проиндексировать массив nums за его границами в цикле for), в блоке try генерируется исключение, которое затем перехватывается в блоке catch. В этот момент выполнение кода в блоке try завершается и управление передается блоку catch. Это означает, что оператор catch не вызывается специально, а выполнение кода переходит к нему автоматически. Следовательно, оператор, содержащий метод WriteLine() и следующий непосредственно за циклом for, где происходит выход индекса за границы массива, вообще не выполняется. А в задачу обработчика исклю чений входит исправление ошибки, приведшей к исключительной ситуации, чтобы продолжить выполнение программы в нормальном режиме.

Обратите внимание на то, что в операторе catch указан только тип исключения (в данном случае – IndexOutOfRangeException), а переменная исключения отсут ствует. Как упоминалось ранее, переменную исключения требуется указывать лишь в том случае, если требуется доступ к объекту исключения. В ряде случаев значение объекта исключения может быть использовано обработчиком исключений для по лучения дополнительной информации о самой ошибке, но зачастую для обработки исключительной ситуации достаточно просто знать, что она произошла. Поэтому переменная исключения нередко отсутствует в обработчиках исключений, как в рас сматриваемом здесь примере.

Как пояснялось ранее, если исключение не генерируется в блоке try, то блок catch не выполняется, а управление программой передается оператору, следующему после блока catch. Для того чтобы убедиться в этом, замените в предыдущем примере про граммы строку кода for(int i=0; i < 10; i++) {

на строку for(int i=0; i < nums.Length; i++) {

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

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

В качестве еще одного примера рассмотрим следующую программу, где блок try помещается в методе Main(). Из этого блока вызывается метод GenException(), в ко тором и генерируется исключение IndexOutOfRangeException. Это исключение не перехватывается методом GenException(). Но поскольку метод GenException() вы зывается из блока try в методе Main(), то исключение перехватывается в блоке catch, связанном непосредственно с этим блоком try. /* Исключение может быть сгенерировано одним методом и перехвачено другим. */ using System; class ExcTest { // Сгенерировать исключение. public static void GenException() { int[] nums = new int[4]; Console.WriteLine("До генерирования исключения."); // Сгенерировать исключение в связи с выходом индекса за границы массива. for(int i=0; i < 10; i++) { nums[i] = i; Console.WriteLine("nums [{0}] : {1}", i, nums[i]); } Console.WriteLine("He подлежит выводу"); } } class ExcDemo2 { static void Main() { try { ExcTest.GenException(); } catch (IndexOutOfRangeException) { // Перехватить исключение. Console.WriteLine("Индекс вышел за границы массива!"); } Console.WriteLine("После блока перехвата исключения."); } }

Выполнение этой программы дает такой же результат, как и в предыдущем примере. До генерирования исключения. nums[0]: 0 nums[1]: 1 nums[2]: 2 nums[3]: 3 Индекс вышел за границы массива! После блока перехвата исключения.

Как пояснялось выше, метод GenException() вызывается из блока try, и поэтому генерируемое им исключение перехватывается не в нем, а в блоке catch внутри мето да Main(). А если бы исключение перехватывалось в методе GenException(), оно не было бы вообще передано обратно методу Main(). Последствия неперехвата исключений

Перехват одного из стандартных исключений, как в приведенных выше примерах, дает еще одно преимущество: он исключает аварийное завершение программы. Как только исключение будет сгенерировано, оно должно быть перехвачено каким-то фраг ментом кода в определенном месте программы. Вообще говоря, если исключение не перехватывается в программе, то оно будет перехвачено исполняющей системой. Но дело в том, что исполняющая система выдаст сообщение об ошибке и прервет выпол нение программы. Так, в приведенном ниже примере программы исключение в связи с выходом индекса за границы массива не перехватывается. // Предоставить исполняющей системе C# возможность самой обрабатывать ошибки. using System; class NotHandled { static void Main() { int[] nums = new int[4]; Console.WriteLine("До генерирования исключения."); // Сгенерировать исключение в связи с выходом индекса за границы массива. for(int i=0; i < 10; i++) { nums[i] = i; Console.WriteLine("nums[{0}]: {1}", i, nums[i]); } } }

Когда возникает ошибка индексирования массива, выполнение программы преры вается и выдается следующее сообщение об ошибке. Необработанное исключение: System.IndexOutOfRangeException: Индекс находился вне границ массива. в NotHandled.Main() в <имя_файла>:строка 16

Это сообщение уведомляет об обнаружении в методе NotHandled.Main() необра ботанного исключения типа System.IndexOutOfRangeException, которое связано с выходом индекса за границы массива.

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

Как упоминалось ранее, тип генерируемого исключения должен соответствовать типу, указанному в операторе catch. В противном случае исключение не будет пере хвачено. Например, в приведенной ниже программе предпринимается попытка пере хватить ошибку нарушения границ массива в блоке catch, реагирующем на исключе ние DivideByZeroException, связанное с делением на нуль и являющееся еще одним стандартным исключением. Когда индексирование массива выходит за его границы, генерируется исключение IndexOutOfRangeException, но оно не будет перехвачено блоком catch, что приведет к аварийному завершению программы. // Не сработает! using System; class ExcTypeMismatch { static void Main() { int[] nums = new int[4]; try { Console.WriteLine("До генерирования исключения."); // Сгенерировать исключение в связи с выходом индекса за границы массива. for(int i=0; i < 10; i++) { nums[i] = i; Console.WriteLine("nums[{0}]: {1}", i, nums[i]); } Console.WriteLine("He подлежит выводу"); } /* Если перехват рассчитан на исключение DivideByZeroException, то перехватить ошибку нарушения границ массива не удастся. */ catch (DivideByZeroException) { // Перехватить исключение. Console.WriteLine("Индекс вышел за границы массива!"); } Console.WriteLine("После блока перехвата исключения."); } }

Вот к какому результату приводит выполнение этой программы. До генерирования исключения. nums[0]: 0 nums[1]: 1 nums[2]: 2 nums[3]: 3 Необработанное исключение: System.IndexOutOfRangeException: Индекс находился вне границ массива в ExcTypeMismatch.Main() в <имя_файла>:строка 18

Как следует из приведенного выше результата, в блоке catch, реагирующем на исключение DivideByZeroException, не удалось перехватить исключение IndexOutOfRangeException. Обработка исключительных ситуаций – “изящный” способ устранения программных ошибок

Одно из главных преимуществ обработки исключительных ситуаций заключается в том, что она позволяет вовремя отреагировать на ошибку в программе и затем про должить ее выполнение. В качестве примера рассмотрим еще одну программу, в кото рой элементы одного массива делятся на элементы другого. Если при этом происходит деление на нуль, то генерируется исключение DivideByZeroException. Обработка подобной исключительной ситуации заключается в том, что программа уведомляет об ошибке и затем продолжает свое выполнение. Таким образом, попытка деления на нуль не приведет к аварийному завершению программы из-за ошибки при ее вы полнении. Вместо этого ошибка обрабатывается "изящно", не прерывая выполнение программы. // Изящно обработать исключительную ситуацию и продолжить выполнение программы. using System; class ExcDemo3 { static void Main() { int[] numer = { 4, 8, 16, 32, 64, 128 }; int[] denom = { 2, 0, 4, 4, 0, 8 }; for(int i=0; i < numer.Length; i++) { try { Console.WriteLine(numer[i] + " / " + denom[i] + " равно " + numer[i]/denom[i]); } catch (DivideByZeroException) { // Перехватить исключение. Console.WriteLine("Делить на нуль нельзя!"); } } } }

Ниже приведен результат выполнения этой программы. 4/2 равно 2 Делить на нуль нельзя! 16/4 равно 4 32/4 равно 8 Делить на нуль нельзя! 128 / 8 равно 16

Из данного примера следует еще один важный вывод: как только исключение обра ботано, оно удаляется из системы. Поэтому в приведенной выше программе проверка ошибок в блоке try начинается снова на каждом шаге цикла for, при условии, что все предыдущие исключительные ситуации были обработаны. Это позволяет обрабаты вать в программе повторяющиеся ошибки. Применение нескольких операторов catch

С одним оператором try можно связать несколько операторов catch. И на прак тике это делается довольно часто. Но все операторы catch должны перехватывать ис ключения разного типа. В качестве примера ниже приведена программа, в которой перехватываются ошибки выхода за границы массива и деления на нуль. // Использовать несколько операторов catch. using System; class ExcDemo4 { static void Main() { // Здесь массив numer длиннее массива denom. int[] numer = { 4, 8, 16, 32, 64, 128, 256, 512 }; int[] denom = { 2, 0, 4, 4, 0, 8 }; for(int i=0; i < numer.Length; i++) { try { Console.WriteLine(numer[i] + " / " + denom[i] + " равно " + numer[i]/denom[i]); } catch (DivideByZeroException) { Console.WriteLine("Делить на нуль нельзя!"); } catch (IndexOutOfRangeException) { Console.WriteLine("Подходящий элемент не найден."); } } } }

Вот к какому результату приводит выполнение этой программы. 4/2 равно 2 Делить на нуль нельзя! 16/4 равно 4 32/4 равно 8 Делить на нуль нельзя! 128 / 8 равно 16 Подходящий элемент не найден. Подходящий элемент не найден.

Как следует из приведенного выше результата, каждый оператор catch реагирует только на свой тип исключения.

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

Время от времени возникает потребность в перехвате всех исключений независимо от их типа. Для этой цели служит оператор catch, в котором тип и переменная ис ключения не указываются. Ниже приведена общая форма такого оператора. catch { // обработка исключений }

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

Ниже приведен пример такого "универсального" обработчика исключений. Об ратите внимание на то, что он перехватывает и обрабатывает оба исключения, IndexOutOfRangeException и DivideByZeroException, генерируемых в программе. // Использовать "универсальный" обработчик исключений. using System; class ExcDemo5 { static void Main() { // Здесь массив numer длиннее массива denom. int[] numer = { 4, 8, 16, 32, 64, 128, 256, 512 }; int[] denom = { 2, 0, 4, 4, 0, 8 ); for(int i=0; i < numer.Length; i++) { try { Console.WriteLine(numer[i] + " / " + denom[i] + " равно " + numer[i]/denom[i]); } catch { // "Универсальный" перехват. Console.WriteLine("Возникла некоторая исключительная ситуация."); } } } }

При выполнении этой программы получается следующий результат. 4/2 равно 2 Возникла некоторая исключительная ситуация. 16/4 равно 4 32/4 равно 8 Возникла некоторая исключительная ситуация. 128 / 8 равно 16 Возникла некоторая исключительная ситуация. Возникла некоторая исключительная ситуация.

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

ПРИМЕЧАНИЕ В подавляющем большинстве случаев «универсальный» обработчик исключений (не при меняется. Как правило, исключения, которые могут быть сгенерированы в коде, обрабаты ваются по отдельности. Неправильное использование “универсального” обработчика может привести к тому, что ошибки, перехватывавшиеся при тестировании программы, маскируют ся. Кроме того, организовать надлежащую обработку всех исключительных ситуаций в одном обработчике не так-то просто. Иными словами, “универсальный" обработчик исключений может оказаться пригодным лишь в особых случаях, например в инструментальном средстве анализа кода во время выполнения. Вложение блоков try

Один блок try может быть вложен в другой. Исключение, генерируемое во вну треннем блоке try и не перехваченное в соответствующем блоке catch, передается во внешний блок try. В качестве примера ниже приведена программа, в которой исклю чение IndexOutOfRangeException перехватывается не во внутреннем, а во внешнем блоке try. // Использовать вложенный блок try. using System; class NestTrys { static void Main() { // Здесь массив numer длиннее массива denom. int[] numer = { 4, 8, 16, 32, 64, 128, 256, 512 }; int[] denom = ( 2, 0, 4, 4, 0, 8 ); try { // внешний блок try for(int i=0; i < numer.Length; i++) { try { // вложенный блок try Console.WriteLine(numer[i] + " / " + denom[i] + " равно " + numer[i]/denom[i]); } catch (DivideByZeroException) { Console.WriteLine("Делить на нуль нельзя!"); } } } catch (IndexOutOfRangeException) { Console.WriteLine("Подходящий элемент не найден."); Console.WriteLine("Неисправимая ошибка – программа прервана."); } } }

Выполнение этой программы приводит к следующему результату. 4/2 равно 2 Делить на нуль нельзя! 16/4 равно 4 32/4 равно 8 Делить на нуль нельзя! 128 / 8 равно 16 Подходящий элемент не найден. Неисправимая ошибка – программа прервана.

В данном примере исключение, обрабатываемое во внутреннем блоке try и связан ное с ошибкой из-за деления на нуль, не мешает дальнейшему выполнению програм мы. Но ошибка нарушения границ массива, обнаруживаемая во внешнем блоке try, приводит к прерыванию программы.

Безусловно, приведенный выше пример демонстрирует далеко не единственное основание для применения вложенных блоков try, тем не менее из него можно сделать важный общий вывод. Вложенные блоки try нередко применяются для обработки раз личных категорий ошибок разными способами. В частности, одни ошибки считаются неисправимыми и не подлежат исправлению, а другие ошибки незначительны и могут быть обработаны немедленно. Как правило, внешний блок try служит для обнаруже ниям обработки самых серьезных ошибок, а во внутренних блоках try обрабатываются менее серьезные ошибки. Кроме того, внешний блок try может стать "универсальным" для тех ошибок, которые не подлежат обработке во внутреннем блоке. Генерирование исключений вручную

В приведенных выше примерах перехватывались исключения, генерировавшиеся исполняющей системой автоматически. Но исключение может быть сгенерировано и вручную с помощью оператора throw. Ниже приведена общая форма такого гене рирования: throw exceptOb;

где в качестве exceptOb должен быть обозначен объект класса исключений, произво дного от класса Exception.

Ниже приведен пример программы, в которой демонстрируется применение опе ратора throw для генерирования исключения DivideByZeroException. // Сгенерировать исключение вручную. using System; class ThrowDemo { static void Main() { try { Console.WriteLine("До генерирования исключения."); throw new DivideByZeroException(); } catch (DivideByZeroException) { Console.WriteLine("Исключение перехвачено."); } Console.WriteLine("После пары операторов try/catch."); } }

Вот к какому результату приводит выполнение этой программы. До генерирования исключения. Исключение перехвачено. После пары операторов try/catch.

Обратите внимание на то, что исключение DivideByZeroException было сге нерировано с использованием ключевого слова new в операторе throw. Не следует забывать, что в данном случае генерируется конкретный объект, а следовательно, он должен быть создан перед генерированием исключения. Это означает, что сгенериро вать исключение только по его типу нельзя. В данном примере для создания объекта DivideByZeroException был автоматически вызван конструктор, используемый по умолчанию, хотя для генерирования исключений доступны и другие конструкторы. Повторное генерирование исключений

Исключение, перехваченное в одном блоке catch, может быть повторно сгенери ровано в другом блоке, чтобы быть перехваченным во внешнем блоке catch. Наиболее вероятной причиной для повторного генерирования исключения служит предоставле ние доступа к исключению нескольким обработчикам. Допустим, что один обработчик оперирует каким-нибудь одним аспектом исключения, а другой обработчик – другим его аспектом. Для повторного генерирования исключения достаточно указать опера тор throw без сопутствующего выражения, как в приведенной ниже форме. throw ;

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

В приведенном ниже примере программы демонстрируется повтор ное генерирование исключения. В данном случае генерируется исключение IndexOutOfRangeException. // Сгенерировать исключение повторно. using System; class Rethrow { public static void GenException() { // Здесь массив numer длиннее массива denom. int[] numer = { 4, 8, 16, 32, 64, 128, 256, 512 }; int[] denom = { 2, 0, 4, 4, 0, 8 }; for(int i=0; i

В этом примере программы ошибки из-за деления на нуль обрабатываются локаль но в методе GenException(), но ошибка выхода за границы массива генерируется повторно. В данном случае исключение IndexOutOfRangeException обрабатывается в методе Main(). Использование блока finally

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

Для того чтобы указать кодовый блок, который должен выполняться после блока try/catch, достаточно вставить блок finally в конце последовательности операторов try/catch. Ниже приведена общая форма совместного использования блоков try/ catch и finally. try { // Блок кода, предназначенный для обработки ошибок. } catch (ExcepType1 exOb) { // Обработчик исключения типа ExcepType1. } catch (ExcepType2 ехОb) { // Обработчик исключения типа ЕхсерТуре2. } finally { // Код завершения обработки исключений. }

Блок finally будет выполняться всякий раз, когда происходит выход из блока try/ catch, независимо от причин, которые к этому привели. Это означает, что если блок try завершается нормально или по причине исключения, то последним выполняется код, определяемый в блоке finally. Блок finally выполняется и в том случае, если любой код в блоке try или в связанных с ним блоках catch приводит к возврату из метода.

Ниже приведен пример применения блока finally. // Использовать блок finally. using System; class UseFinally { public static void GenException(int what) { int t; int[] nums = new int[2]; Console.WriteLine("Получить " + what); try { switch(what) { case 0: t = 10 / what; // сгенерировать ошибку из-за деления на нуль break; case 1: nums[4] = 4; // сгенерировать ошибку индексирования массива break; case 2: return; // возврат из блока try } } catch (DivideByZeroException) { Console.WriteLine("Делить на нуль нельзя!"); return; // возврат из блока catch } catch (IndexOutOfRangeException) { Console.WriteLine("Совпадающий элемент не найден."); } finally { Console.WriteLine("После выхода из блока try."); } } } class FinallyDemo { static void Main() { for(int i=0; i < 3; i++) { UseFinally.GenException(i); Console.WriteLine(); } } }

Вот к какому результату приводит выполнение этой программы. Получить 0 Делить на нуль нельзя После выхода из блока try. Получить 1 Совпадающий элемент не найден. После выхода из блока try. Получить 2 После выхода из блока try.

Как следует из приведенного выше результата, блок finally выполняется независи мо от причины выхода из блока try.

И еще одно замечание: с точки зрения синтаксиса блок finally следует после блока try, и формально блоки catch для этого не требуются. Следовательно, блок finally можно ввести непосредственно после блока try, опустив блоки catch. В этом случае блок finally начнет выполняться сразу же после выхода из блока try, но исключения обрабатываться не будут. Подробное рассмотрение класса Exception

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