 |
|
|
Архитектура Астрономия Аудит Биология Ботаника Бухгалтерский учёт Войное дело Генетика География Геология Дизайн Искусство История Кино Кулинария Культура Литература Математика Медицина Металлургия Мифология Музыка Психология Религия Спорт Строительство Техника Транспорт Туризм Усадьба Физика Фотография Химия Экология Электричество Электроника Энергетика |
ЛАБОРАТОРНАЯ РАБОТА №7
Тема: Обработка исключений. Цель: Изучить механизм обработки исключений Java Теоретические ведомости Обработка исключений Рассмотренные вопросы: 7.1. Исключения. 7.2. Основные принципы обработки исключений. 7.3. Типы исключений. 7.4. Операторы try, catch и throw. 7.5. Блок finally. 7.6. Встроенные исключения. 7.7. Создание собственных классов исключений. 7.8. Особые случаи
Обработка исключений 7.1. Исключения При выполнении программы могут возникать ошибки. В одних случаях это вызвано ошибками программиста, в других - внешними причинами. Например, может возникнуть ошибка ввода/вывода при работе с файлом или сетевым соединением. В классических языках программирования, например, в С, требовалось проверять некое условие, которое указывало на наличие ошибки, и в зависимости от этого предпринимать те или иные действия. Например: ... int statusCode = someAction(); if (statusCode){ ... обработка ошибки } else { statusCode = anotherAction(); if(statusCode) { ... обработка ошибки ... } } ... В Java появилось более простое и элегантное решение - обработка исключительных ситуаций. try{ someAction(); anotherAction(); } catch(Exception e) { // обработка исключительной ситуации } Легко заметить, что такой подход является не только изящным, но и более надежным и простым для понимания. 7.2. Основные принципы обработки исключений. Исключение java представляет собой объект, который описывает исключительную (то есть, ошибочную) ситуацию, возникающую в части программного кода. Когда такая исключительная ситуация возникает, создается объект, представляющий исключение, который возбуждается в методе, вызвавшем ошибку. Этот метод может либо обработать исключение самостоятельно, либо пропустить eгo. В обоих случаях, в некоторой точке исключение перехватывается и обрабатывается. Исключения могут генерироваться системой времени выполнения java, либо они могут быть сгенерированы вручную вашим кодом. Исключения, которые возбуждает java, имеют отношение к фундаментальным ошибкам, которые нарушают правила языка java либо ограничения системы выполнения java. Вручную сгенерированные исключения обычно применяются для того, чтобы сообщить о некоторых ошибочных ситуациях тому, кто вызвал данный метод. Обработка исключений Jаvа управляется пятью ключевыми словами: try, catch, throw, throws и finally. Если кратко, они работают следующим образом. Операторы программы, которые вы хотите отслеживать на предмет исключений, помещаются в блок try. Если исключение возникает в блоке try, оно возбуждается. Ваш код может перехватить исключение (используя catch) и обработать егo некоторым осмысленным способом. Сгенерированные системой исключения автоматически возбуждаются системой времени выполнения java. Чтобы вручную возбудить исключение, используется ключевое слово throw. Любое исключение, которое возбуждается внутри метода, должно быть специфицировано в eгo интерфейсе ключевым словом throws. Любой код, который в обязательном порядке должен быть выполнен после завершения блока try, помещается в блок finally. Ниже показана общая форма блока обработки исключений. try { // блок кода, в котором отслеживаются ошибки } catch (Тип_исключения_l ехОb) { // обработчик исключений типа ExceptionTypel } catch (Тип_исключения_2 ехОb) { // обработчик исключений типа ExceptionType2 } / / ... finally { // блок кода, который должен быть выполнен после завершения блока try Здесь Тип _исключения – тип исключения, которое возникает. 7.3. Типы исключений Все типы исключений являются подклассами встроенного класса Trowable. То есть Trowable расположен на вершине иерархии классов исключений. Немедленно под Trowable в ней находятся два подкласса, которые разделяют все исключения на две отдельные ветви. Одну ветвь возглавляет Exception. Этот класс используется для исключительных условий, которые пользовательская программа должна перехватывать. Это также класс, от которого вы будете наследовать свои подклассы при создании ваших собственных типов исключений. У класса Exception имеется важный подкласс по имени RuntimeException. Исключения этого типа автоматически определяются для программ, которые вы пишете, и включают такие вещи, как деление на ноль и ошибочная индексация массивов. Другая ветвь начинается с класса Error, определяющего исключения, вызов которых не ожидается при нормальном выполнении программы. Исключения типа Error используются системой времени выполнения java для обозначения ошибок, происходящих внутри самой окружения. Примером такой ошибки может служить переполнение стека. 7.4. Операторы try, catch и throw. Хотя обработчик исключений по умолчанию, который предоставляет система времени выполнения java, удобен для отладки, обычно вы захотите обрабатывать исключения самостоятельно. Это дает два существенных преимущества. Во-первых, вы получаете возможность исправить ошибку. Во-вторых, предотвращается автоматическое прерывание выполнения программы. Большинство пользователей будут недовольны (и это как минимум), если ваша программа будет останавливаться и распечатывать трассировку стека всякий раз при возникновении ошибки. К счастью, предотвратить это достаточно просто. Чтобы противостоять и обрабатывать ошибки времени выполнения, нужно просто поместить код, который вы хотите наблюдать, внутрь блока try. Непосредственно за блоком try следует включить конструкцию catch, которая специфицирует тип перехватываемого исключения. Конструкция try-catch. В общем случае конструкция выглядит так: try { ... } catch(SomeExceptionClass e) { ... } catch(AnotherExceptionClass e) { ... } Работает она следующим образом. Сначала выполняется код, заключенный в фигурные скобки оператора try. Если во время его выполнения не происходит никаких нештатных ситуаций, то далее управление передается за закрывающую фигурную скобку последнего оператора catch, ассоциированного с данным оператором try. Если в пределах try возникает исключительная ситуация, то далее выполнение кода производится по одному из перечисленных ниже сценариев. Возникла исключительная ситуация, класс которой указан в качестве параметра одного из блоков catch. В этом случае производится выполнение блока кода, ассоциированного с данным catch (заключенного в фигурные скобки). Далее, если код в этом блоке завершается нормально, то и весь оператор try завершается нормально и управление передается на оператор (выражение), следующий за закрывающей фигурной скобкой последнего catch. Если код в catch завершается не штатно, то и весь try завершается нештатно по той же причине. Если возникла исключительная ситуация, класс которой не указан в качестве аргумента ни в одном catch, то выполнение всего try завершается нештатно. Конструкция try-catch-finally. Оператор finally предназначен для того, чтобы обеспечить гарантированное выполнение какого-либо фрагмента кода. Вне зависимости от того, возникла ли исключительная ситуация в блоке try, задан ли подходящий блок catch, не возникла ли ошибка в самом блоке catch,- все равно блок finally будет в конце концов исполнен. Последовательность выполнения такой конструкции следующая: если оператор try выполнен нормально, то будет выполнен блок finally. В свою очередь, если оператор finally выполняется нормально, то и весь оператор try выполняется нормально. Если во время выполнения блока try возникает исключение и существует оператор catch, который перехватывает данный тип исключения, происходит выполнение связанного с catch блока. Если блок catch выполняется нормально, либо ненормально, все равно затем выполняется блок finally. Если блок finally завершается нормально, то оператор try завершается так же, как завершился блок catch. Если в списке операторов catch не находится такого, который обработал бы возникшее исключение, то все равно выполняется блок finally. В этом случае, если finally завершится нормально, весь try завершится ненормально по той же причине, по которой было нарушено исполнение try. Во всех случаях, если блок finally завершается ненормально, то весь try завершится ненормально по той же причине. Рассмотрим пример применения конструкции try-catch-finally. try { byte [] buffer = new byte[128]; FileInputStream fis = new FileInputStream("file.txt"); while(fis.read(buffer) > 0) { ... обработка данных ... } } catch(IOException es) { ... обработка исключения ... } finally { fis.flush(); fis.close(); } Если в данном примере поместить операторы очистки буфера и закрытия файла сразу после окончания обработки данных, то при возникновении ошибки ввода/вывода корректного закрытия файла не произойдет. Еще раз отметим, что блок finally будет выполнен в любом случае, вне зависимости от того, произошла обработка исключения или нет, возникло это исключение или нет. В конструкции try-catch-finally обязательным является использование одной из частей оператора catch или finally. То есть конструкция try { ... } finally { ... } является вполне допустимой. В этом случае блок finally при возникновении исключительной ситуации должен быть выполнен, хотя сама исключительная ситуация обработана не будет и будет передана для обработки на более высокий уровень иерархии. Если обработка исключительной ситуации в коде не предусмотрена, то при ее возникновении выполнение метода будет прекращено и исключительная ситуация будет передана для обработки коду более высокого уровня. Таким образом, если исключительная ситуация произойдет в вызываемом методе, то управление будет передано вызывающему методу и обработку исключительной ситуации должен произвести он. Если исключительная ситуация возникла в коде самого высокого уровня (например, методе main()), то управление будет передано исполняющей системе Java и выполнение программы будет прекращено (более точно - будет остановлен поток исполнения, в котором произошла такая ошибка). Использование оператора throw. Помимо того, что предопределенная исключительная ситуация может быть возбуждена исполняющей системой Java, программист сам может явно породить ошибку. Делается это с помощью оператора throw. Например:
... public int calculate(int theValue) { if( theValue < 0) { throw new Exception( "Параметр для вычисления не должен быть отрицательным"); } } ... В данном случае предполагается, что в качестве параметра методу может быть передано только положительное значение; если это условие не выполнено, то с помощью оператора throw порождается исключительная ситуация. (Для успешной компиляции также требуется в заголовке метода указать throws Exception - это выражение рассматривается ниже.) Метод должен делегировать обработку исключительной ситуации вызвавшему его коду. Для этого в сигнатуре метода применяется ключевое слово throws, после которого должны быть перечислены через запятую все исключительные ситуации, которые может вызывать данный метод. То есть приведенный выше пример должен быть приведен к следующему виду: ... public int calculate(int theValue) throws Exception { if( theValue < 0) { throw new Exception( "Some descriptive info"); } } ... Таким образом, создание исключительной ситуации в программе выполняется с помощью оператора throw с аргументом, значение которого может быть приведено к типу Throwable. В некоторых случаях после обработки исключительной ситуации может возникнуть необходимость передать информацию о ней в вызывающий код. В этом случае ошибка появляется вторично. Например: ... try { ... } catch(IOException ex) { ... // Обработка исключительной ситуации ... // Повторное возбуждение исключительной // ситуации throw ex; } Рассмотрим еще один случай. Предположим, что оператор throw применяется внутри конструкции try-catch. try { ... throw new IOException(); ... } catch(Exception e) { ... } В этом случае исключение, возбужденное в блоке try, не будет передано для обработки на более высокий уровень иерархии, а обработается в пределах блока try-catch, так как здесь содержится оператор, который может это исключение перехватить. То есть произойдет неявная передача управления на соответствующий блок catch. 7.5. Блок finaly. Когда исключение возбуждено, выполнение метода направляется по нелинейному пути, изменяющему нормальный поток управления внутри метода. В зависимости от того, как закодирован метод, существует даже возможность преждевременного возврата управления. В некоторых методах это может служить причиной серьезных проблем. Например, если метод при входе открывает файл и закрывает eгo при выходе, вероятно, вы не захотите, чтобы выполнение кода, закрывающего файл, было пропущено из-за применения механизма обработки исключений. Ключевое слово finally предназначено для того, чтобы справиться с такой ситуацией. finally создает блок кода, который будет выполнен после завершения блока try/catch, но перед кодом, следующим за try/catch. Блок finally выполняется независимо от того, возбуждено исключение или нет. Если исключение возбуждено, блок finally выполняется, даже если ни один оператор catch этому исключению не соответствует. В любой момент, когда метод собирается возвратить управление вызывающему коду изнутри блока try / catch из-за необработанного исключения, или явным применением оператора return блок finally будет выполнен перед возвратом управления из мeтода. Это может быть удобно для закрытия файловых дескрипторов либо освобождения других ресурсов, которые были получены в начале метода и должны быть освобождены перед возвратом. Оператор finally необязателен. Однако каждый оператор try требует наличия, по крайней мере, одного оператора catch или finally. Ниже приведен пример программы, которая показывает три метода, возвращающих управление разными способами, но ни один из них не пропускает выполнения блока finally. class FinallyDemo { // Возбуждает исключение из метода. static void procA() { try { Sуstеm.оut.рrintln("внутри procA"); throw new RиntimeException ("демо") ; } finally { Sуstеm.оut.рrintln("блок finally procA"); } } // Возврат управления в блоке try. static void procB() { try { Sуstеm.оut.рrintln("ВНутри procB"); return; } finally { Sуstеm.оut.рrintln("блок finally procB"); } } //Нормальное выполнение блока try. static void procC () { try { Sуstеm.оut.рrintln ("внутри procC"); } finally { Sуstеm.оut.рrintln ("блок finally procC"); } } public static void main(String args[]) try { procA() ; } catch (Exception е) { Sуstеm.оut.рrintln ("Исключение перехвачено"); } procB () ; procC(); } } В этом примере procA () преждевременно прерывает выполнение в блоке try, возбуждая исключение. Блок finally все равно выполняется. В procB () возврат управления осуществляется в блоке try оператором return. Блок finally выполняется перед возвратом из procB (). В procC () блок try выполняется нормально, без ошибок. Однако блок finally выполняется все равно. Если блок finally ассоциируется с try, то finally будет выполнен по завершении try. Вот результат, сгенерированный предыдущей программой: внутри procA блок finally procA Исключение перехвачено внутри procB блок finally procB внутри procC блок finally procC 7.6. Встроенные исключения. Внутри стандартного пакета java.lang определено несколько классов исключений. Некоторые из них использовались в предшествующих примерах. Наиболее общие из этих исключений являются подклассами стандартноrо типа RuntimeException. Как уже объяснялось ранее, эти исключения не нужно включать в список throws метода они называются непроверяемыми исключениями, поскольку компилятор не проверяет факт обработки или возбуждения методом таких исключений. Непроверяемые исключения, определенные в java.lang, описаны в табл. 7.1. В табл. 7.2 перечислены те из исключений, определенных в java.lang, которые должны быть включены в списки throws методов, которые могут их генерировать, и не обрабатывают самостоятельно. Они называются проверяемыми исключениями. В java также определено несколько других типов исключений, имеющих отношение к библиотекам классов. Таблица 7.1. Непроверяемые подклассы RunTimeException, пределенные java.lang
Таблица 7.2. Проверяемые исключения, определенные в java.lang
7.7. Создание собственных классов исключений. Хотя встроенные исключения java обрабатывают большинство частых ошибок, вероятно, вам потребуется создать ваши собственные типы исключений для обработки ситуаций, специфичных для ваших приложений. Это достаточно просто сделать: просто определите подкласс Exception (который, разумеется, является подклассом Throwable). Ваши подклассы не обязаны реализовывать что-либо важно само их присутствие в системе типов, которое позволит использовать их как исключения. Класс Exception не определяет никаких собственных методов. Естественно, он наследует методы, представленные в Throwable. Таким образом, всем исключениям, включая те, что вы создадите сами, доступны методы, определенные в Throwable. Они все перечислены в табл. 7.3. Таблица 7.3. Методы, определенные в Тhrowable
Вы можете также переопределить один или более из этих методов в собственных классах исключений. Exception определяет четыре конструктора. Два были добавлены в JDK 1.4 для поддержки цепочек исключений. Другие два показаны здесь: Exception () Exception(String msg) Первая форма создает исключение, не имеющее описания. Вторая позволяет специфицировать описание исключения. Хотя указание такого описания часто полезно при создании исключения, иногда все же лучше переопределить toString (), и вот почему. Версия toString(), определенная Throwable (от которого наследуется Exception) сначала отображает имя исключения, за которым следует двоеточие, а после него ваше описание. Переопределив toString (), вы можете предотвратить отображение имени исключения и двоеточия. Это проясняет вывод, что весьма желательно в некоторых случаях. 7.8 Особые случаи Во время исполнения кода могут возникать ситуации, которые почти не описаны в литературе. Рассмотрим такую ситуацию: import java.io.*; public class Test { public Test() { } public static void main(String[] args) { Test test = new Test(); try { test.doFileInput("bogus.file"); } catch (IOException ex) { System.out.println("Second exception handle stack trace"); ex.printStackTrace(); } } private String doFileInput(String fileName) throws FileNotFoundException,IOException { String retStr = ""; java.io.FileInputStream fis = null; try { fis = new java.io.FileInputStream(fileName); } catch (FileNotFoundException ex) { System.out.println("First exception handle stack trace"); ex.printStackTrace(); throw ex; } return retStr; } } Результат работы будет выглядеть следующим образом: java.io.FileNotFoundException: bogus.file (The system cannot find the file specified) at java.io.FileInputStream.open(Native Method) at java.io.FileInputStream.<init>(FileInputStream.java:64) at experiment.Test.doFileInput(Test.java:33) at experiment.Test.main(Test.java:21) First exception handle stack trace java.io.FileNotFoundException: bogus.file (The system cannot find the file specified) at java.io.FileInputStream.open(Native Method) at java.io.FileInputStream.<init>(FileInputStream.java:64) at experiment.Test.doFileInput(Test.java:33) at experiment.Test.main(Test.java:21) Second exception handle stack trace Так как при вторичном возбуждении используется один и тот же объект Exception, стек в обоих случаях будет содержать одну и ту же последовательность вызовов. То есть при повторном возбуждении исключения, если мы используем тот же объект, изменения его параметров не происходит. Рассмотрим другой пример: import java.io.*; public class Test { public Test() { } public static void main(String[] args) { Test test = new Test(); try { test.doFileInput(); } catch (IOException ex) { System.out.println("Exception hash code " + ex.hashCode()); ex.printStackTrace(); } } private String doFileInput() throws FileNotFoundException,IOException{ String retStr = ""; java.io.FileInputStream fis = null; try { fis = new java.io.FileInputStream("bogus.file"); } catch (FileNotFoundException ex) { System.out.println("Exception hash code " + ex.hashCode()); ex.printStackTrace(); fis = new java.io.FileInputStream("anotherBogus.file"); throw ex; } return retStr; } } java.io.FileNotFoundException: bogus.file (The system cannot find the file specified) at java.io.FileInputStream.open(Native Method) at java.io.FileInputStream.<init>(FileInputStream.java:64) at experiment.Test.doFileInput(Test.java:33) at experiment.Test.main(Test.java:21) Exception hash code 3214658 java.io.FileNotFoundException: (The system cannot find the path specified) at java.io.FileInputStream.open(Native Method) at java.io.FileInputStream.<init>(FileInputStream.java:64) at experiment.Test.doFileInput(Test.java:38) at experiment.Test.main(Test.java:21) Exception hash code 6129586 Несложно заметить, что, хотя последовательность вызовов одна и та же, в вызываемом и вызывающем методах обрабатываются разные объекты исключений.
Поиск по сайту: |