Изменения

==Методы обработки ошибок=='''1.''' Не обрабатывать. '''2.''' Коды возврата. Основная идея {{Определение---}} в случае ошибки возвращать специальное значение, которое не может быть корректным. Например, если в методе есть операция деления, то придется проверять делитель на равенство нулю. Также проверим корректность аргументов <code>a</code> и <code>b</code>:  Double f(Double a, Double b) { <font color=navy>'''if'''</font> ((a == <font color=navy>'''null'''</font>) |definition| (b == <font color=navy>'''null'''</font>)) { <font color=navy>'''return null'''</font>;Исключениями или исключительными ситуациями } <font color=gray>//...</font> <font color=navy>'''if'''</font> (Math.''abs''(b) < <font color=purple>'''EPS'''</font>) { <font color=navy>'''return null'''</font>; } <font color=navy>'''else'''</font> { <font color=navy>'''return'''</font> a / b; } } При вызове метода необходимо проверить возвращаемое значение:  Double d = f(a, b); <font color=navy>'''if'''</font> (состояниямиd != <font color=navy>'''null'''</font>) называются { <font color=gray>//...</font> } <font color=navy>'''else'''</font> { <font color=gray>//...</font> } Минусом такого подхода является необходимость проверки возвращаемого значения каждый раз при вызове метода. Кроме того, не всегда возможно определить тип ошибки. '''3.'''Использовать флаг ошибки: при возникновении ошибкиустанавливать флаг в соответствующее значение: <font color=navy>'''boolean'''</font> <font color=purple>'''error'''</font>; Double f(Double a, Double b) { <font color=navy>'''if'''</font> ((a == <font color=navy>'''null'''</font>) || (b == <font color=navy>'''null'''</font>)) { <font color=purple>'''error'''</font> = <font color=navy>'''true'''</font>; <font color=navy>'''return null'''</font>; } <font color=gray>//...</font> <font color=navy>'''if'''</font> (Math.''abs''(b) < <font color=purple>'''EPS'''</font>) { <font color=purple>'''error'''</font> = <font color=navy>'''true'''</font>; <font color=navy>'''return'''</font> b; } <font color=navy>'''else'''</font> { <font color=navy>'''return'''</font> a / b; } }  <font color=purple>'''error'''</font> = <font color=navy>'''false'''</font>; Double d = f(a, b); <font color=navy>'''if'''</font> (<font color=purple>'''error'''</font>) { <font color=gray>//...</font> } <font color=navy>'''else'''</font> { <font color=gray>//...</font> } Минусы такого подхода аналогичны минусам использования кодов возврата. '''4.'''Можно вызвать метод обработки ошибки и возвращать то, что вернет этот метод. Double f(Double a, Double b) { <font color=navy>'''if'''</font> ((a == <font color=navy>'''null'''</font>) || (b == <font color=navy>'''null'''</font>)) { <font color=navy>'''return'''</font> nullPointer(); } <font color=gray>//...</font> <font color=navy>'''if'''</font> (Math.''abs''(b) < <font color=purple>'''EPS'''</font>) { <font color=navy>'''return'''</font> divisionByZero(); } <font color=navy>'''else'''</font> { <font color=navy>'''return'''</font> a / b; } } Но в таком случае не всегда возможно проверить корректность результата вызова основного метода. '''5.'''В случае ошибки просто закрыть программу. <font color=navy>'''if'''</font> (Math.''abs''(b) < <font color=purple>'''EPS'''</font>) { System.''exit''(<font color=navy>0</font>); <font color=navy>'''return this'''</font>; }Это приведет к потере данных, также невозможно понять, возникшие в программе во время её работыкаком месте возникла ошибка. ==Исключения==В Java возможна обработка ошибок с помощью исключений:  Double f(Double a, Double b) { <font color=navy>'''if'''</font> ((a == <font color=navy>'''null'''</font>) || (b == <font color=navy>'''null'''</font>)) { <font color=navy>'''throw new'''</font> IllegalArgumentException(<font color=green>"arguments of f() are null"</font>); } <font color=grey>//...</font> <font color=navy>'''return'''</font> a / b; }Проверять <code>b</code> на равенство нулю уже нет необходимости, так как при делении на ноль метод бросит [[Обработка_ошибок_и_исключения#RuntimeException|непроверяемое исключение]] <code>ArithmeticException</code>. Исключения позволяют: *разделить обработку ошибок и сам алгоритм;*не загромождать код проверками возвращаемых значений;*обрабатывать ошибки на верхних уровнях, если на текущем уровне не хватает данных для обработки. Например, при написании универсального метода чтения из файла невозможно заранее предусмотреть реакцию на ошибку, так как эта реакция зависит от использующей метод программы;*классифицировать типы ошибок, обрабатывать похожие исключения одинаково, сопоставлять специфичным исключениям определенные обработчики. Каждый раз, когда при выполнении программы происходит ошибка, создается объект-исключение, содержащий информацию об ошибке, включая её тип и состояние программына момент возникновения ошибки.После создания исключения (?) среда выполнения пытается найти в стеке вызовов метод, который содержит код, обрабатывающий это исключение. Поиск начинается с метода, в котором произошла ошибка, и проходит через стек в обратном порядке вызова методов. Если не было найдено ни одного подходящего обработчика, выполнение программы завершается.

 ==Типы Классификация исключений==Класс Java <code>Throwable</code> описывает все, что может быть брошено как исключение. Наследеники <code>Throwable</code> - <code>Exception</code> и <code>Error</code> - основные типы исключений. Также <code>RuntimeException</code>, унаследованный от <code>Exception</code>, является существенным классом.[[Файл:Exceptions.png|400px|thumb|right|Иерархия стандартных исключений]]

Проверяемые исключенияНаследники класса <code>Exception</code> (кроме наслеников <code>RuntimeException</code>) являются проверяемыми исключениями(''checked exception'') {{. Как правило, это ошибки, возникшие по вине внешних обстоятельств или пользователя приложения – неправильно указали имя файла, например. Эти исключения должны обрабатываться в ходе работы программы, поэтому компилятор проверяет наличие обработчика или явного описания тех типов исключений, которые могут быть сгенерированы некоторым методом.  Все исключения, кроме классов <code>Error</code> и <code>RuntimeException</code> и их наследников, являются проверяемыми. ===Error===Класс <code>Error</code> и его подклассы предназначены для системных ошибок. Свои собственные классы---}} наследники для <code>Error</code> писать (за очень редкими исключениями) не нужно. Как правило, это те действительно фатальные ошибки, пытаться обработать которые довольно бессмысленно (например <code>OutOfMemoryError</code>). ===RuntimeException===Эти исключения обычно возникают в результате ошибок программирования, такие как ошибки разработчика или неверное использование интерфейса приложения. Например, в случае выхода за границы массива метод бросит <code>OutOfBoundsException</code>. Такие ошибки могут быть в любом месте программы, поэтому компилятор не требует указывать runtime исключенияв объявлении метода. Теоретически приложение может поймать это исключение, но разумнее исправить ошибку. ==Обработка исключений==Чтобы сгенерировать исключение используется ключевое слово <code>throw</code>. Как и любой объект в Java, исключения создаются с помощью <code>new</code>.  <font color=navy>'''if'''</font> (t == <font color=navy>'''null'''</font>) { <font color=navy>'''throw new'''</font> NullPointerException(<font color=green>"t = null"</font>); } Есть два стандартных конструктора для которых javaвсех исключений: первый - конструктор по умолчанию, второй принимает строковый аргумент, поэтому можно поместить подходящую информацию в исключение. Возможна ситуация, когда одно исключение становится причиной другого. Для этого существует механизм exception chaining. Практически у каждого класса исключения есть конструктор, принимающий в качестве параметра <code>Throwable</code> – причину исключительной ситуации. Если же такого конструктора нет, то у <code>Throwable</code> есть метод <code>initCause(Throwable)</code>, который можно вызвать один раз, и передать ему исключение-машина проверяетпричину. Как и было сказано раньше, определение метода должно содержать список всех проверяемых исключений, что они обработаны или что соответствующий которые метод может его бросить. Также можно написать более общий класс, среди наследников которого есть эти исключения.  <font color=navy>'''void'''</font> f() <font color=navy>'''throws'''</font> InterruptedException, IOException { <font color=gray>//...</font> ===try-catch-finally=== Код, который может бросить исключения оборачивается в <code>try</code>-блок, после которого идут блоки <code>catch</code> и <code>finally</code> (Один из них может быть опущен).

Все исключенияСразу после блока проверки следуют обработчики исключений, кроме классов Error и RuntimeException и их наследников, являются проверяемыми.===Непроверяемые исключения=======error====Класс Error и его подклассы предназначены для системных ошибок. Свои собственные классы-наследники для Error писать (за очень редкими исключениями) не нужно. Как правило это действительно фатальные ошибки, пытаться обработать которые довольно бессмысленнообъявляются ключевым словом catch.

В некоторых случаях ситуация не столь критична. Например, нехватка памяти, вызывающая java.lang.OutOfMemoryError. Если эта ошибка произошла в момент выделения большого объема памяти – например, при создании массива, – ее можно перехватить и попытаться выделить память в меньших объемах, изменив каким-то образом алгоритм, который будет эту память использовать. <font color====runtime exception====Эти исключения обычно возникают в результате ошибок программирования, например, ошибки разработчика или неверное использование интерфейса приложения. Например, в случае выхода за границы массива метод бросит navy>'''try'OutOfBoundsException''. Теоретически приложение </font> { <font color=gray>// Код, который может поймать это сгенерировать исключение, но разумнее исправить ошибку.</font> } <font color== Введение ==В языке <texnavy>Java'''catch'''</texfont> исключения (Type1 id1) { <texfont color=gray>(Exceptions)// Обработка исключения Type1</texfont> и ошибки } <texfont color=navy>(Errors)'''catch'''</texfont> являются объектами. Когда метод вызывает (бросает - throwsType2 id2) исключительную ситуацию, он на самом деле работает с объектом. Но такое происходит не с любыми объектами, а только с теми, которые наследуются от { <texfont color=gray>Throwable.// Обработка исключения Type2</texfont> }

<texcode>RuntimeExceptionСatch</texcode>-блоки обрабатывают исключения, указанные в качестве аргумента. Тип аргумента должен быть классом, унаследованного от <texcode>ErrorThrowable</tex> и их наследников еще называют <tex>unchecked</tex> <tex>exception</texcode>, а всех остальных наследников класса <tex>Exception -</tex> или самим <texcode>checkedThrowable</tex> <texcode> exception.Блок </texcode> <tex> Checked</tex> <tex> Exception</tex> обязывает пользователя обработать ее (использую конструкцию <tex> try-catch </texcode>.) или же отдать на откуп обрамляющим методамвыполняется, в таком случае к декларации метода, который бросает проверяемое <tex>(checked)</tex> если тип брошенного исключения является наследником типа аргумента и если это исключение, дописывают конструкцию <tex>throws</tex>, например public Date parse(String source) throws ParseException { ..не было обработано предыдущими блоками. }

== Так когда же нужно бросать ошибки? ==На этот вопрос можно ответить просто: если в методе возможна ситуация, которую метод не в состоянии обработать самостоятельно, он должен “бросать” ошибку. Но ни в коем случае нельзя использовать исключительные ситуации для управления ходом выполнения программы.Чаще всего Код из блока <texcode>Exceptionsfinally</texcode> бросаются выполнится в любом случае: при нарушении [[Программирование по контракту|контракта]] метода.Нарушение контракта со стороны создателя метода - это, например, что-нибудь на подобии нормальном выходе из <texcode>MethodNotImplementedYetExceptiontry</texcode>.Пользователь метода может нарушить контракт, например, таким способом: на вход <tex>Integer.parseInt(String)</tex> подать строку с буквами и после обработки исключения или при выходе по заслугам получить команде <texcode>NumberFormatExceptionreturn</texcode>.

== А что собственно бросать? ==Выбор не то чтобы сильно велик, но и не однозначен'''NB: ''' Если JVM выйдет во время выполнения кода из <texcode>checked,try</tex> <tex>unchecked</texcode> или <texcode>(runtime)catch</texcode>, то <texcode>uncheckedfinally</texcode> <tex>(error).</tex>В подавляющем большинстве случаев <tex>Error</tex> вам -блок может не понадобитсявыполниться. Это в основном критические ошибки (Также, например, если поток выполняющий <texcode>StackOverflowErrortry</texcode>), с которыми пусть работает JVM.или <texcode>Checkedcatch</tex> <tex>Exceptions</texcode>код остановлен, как было написано выше, заставляет программиста-пользователя написать код для ее обработки или же описать метод как “вызывающий исключительную ситуацию”.С то блок <texcode>uncheckedfinally</texcode> <tex> exception</tex> можно поступить по-разному. В случае с такими ошибками, пользователь сам решает, будет он обрабатывать эту ошибкуможет не выполниться, или же нет (компилятор не заставляет это делать).Можно написать следующее простое правило: даже если некоторый набор входящих в метод данных может привести к нарушению контракта, и вы считаете, что программисту-пользователю важно разобраться с этим (и что он сможет это сделать), описывайте метод с конструкцией <tex>throws</tex>, иначе бросайте <tex>unchecked</tex> <tex>exceptionприложение продолжает работать.</tex>

== Как обрабатывать? ==Обрабатывать ошибку лучше там, где она возниклаБлок <code>finally</code> удобен для закрытия файлов и освобождения любых других ресурсов. Код в блоке <code>finally</code> должен быть максимально простым. Если внутри блока <code>finally</code> будет брошено какое-либо исключение или просто встретится оператор <code>return</code>, брошенное в данном фрагменте кода нет возможности принять решение, что делать с исключением, его нужно бросать дальше, пока не найдется нужный обработчик, либо поток выполнения программы не вылетит совсемблоке <code>try</code> исключение (если таковое было брошено) будет забыто.

<font color=navy>'''<tt>import</tt>'''</font> java.io.IOException; <font color=navy>'''<tt>public class intException extends Exception '''</tt></font> ExceptionTest { intException <font color=navy>'''<tt>public static void</tt>'''</font> main(<tt>String message[]</tt> args){ super <font color=navy>'''<tt>try</tt>'''</font> { <font color=navy>'''<tt>try</tt>'''</font> { <font color=navy>'''<tt>throw new</tt>''' </font>Exception(message<font color=green>"a"</font>); } } class Number <font color=navy>'''<tt>finally</tt>'''</font> { int <font color=navy>'''<tt>throw new</tt>'''</font> IOException(<font color=green>"b"</font>); int division } } <font color=navy>'''<tt>catch'''</tt></font> (int aIOException ex) throws intExceprion{ System.<font color=purple>'''''err'''''</font>.println(ex.getMessage()); if (a } <font color== 0) throw new intExceptionnavy>'''<tt>catch'''</tt></font> ("Division by zero"Exception ex){ else return this System.b <font color=purple>'''''err'''''</ afont>.println(ex.getMessage());

 Если <code>FirstException</code> и <code>SecondException</code> не являются наследниками <code>Exception</code>, то необходимо указать и <code>Exception</code> в объявлении метода. ==Примеры исключений==* любая операция может бросить <code>VirtualMachineError</code>. Как правило это происходит в результате системных сбоев.* <code>OutOfMemoryError</code>. Приложение может бросить это исключение, если, например, не хватает места в куче, или не хватает памяти для того, чтобы создать стек нового потока.* <code>IllegalArgumentException</code> используется для того, чтобы избежать передачи некорректных значений аргументов. Например:  try <tt><font color=navy>'''public void'''</font></tt> f(<tt>Object</tt> a) { int c <tt><font color= navy>'''if'''</font></tt> (a.division== <tt><font color=navy>'''null'''</font></tt>) { <tt><font color=navy>'''throw new'''</font> IllegalArgumentException</tt>(b<font color=green>"a must not be null"</font>); } } *<code>IllegalStateException<// Безопасное code> возникает в результате некорректного состояния объекта. Например, использование результатаобъекта перед тем как он будет инициализирован. ==Гарантии безопасности==При возникновении исключительной ситуации, состояния объектов и программы могут удовлетворять некоторым условиям, которые определяются различными типами гарантий безопасности:* Отсутствие гарантий (''no exceptional safety''). Если было брошено исключение, то не гарантируется, что все ресурсы будут корректно закрыты и что объекты, методы которых бросили исключения, могут в дальнейшем использоваться. Пользователю придется пересоздавать все необходимые объекты и он не может быть уверен в том, что может переиспозовать те же самые ресурсы.* Отсутствие утечек (''no-leak guarantee''). Объект, даже если какой-нибудь его метод бросает исключение, освобождает все ресурсы или предоставляет способ сделать это. } catch * Слабые гарантии (intException e''weak exceptional safety'') . Если объект бросил исключение, то он находится в корректном состоянии, и все инварианты сохранены. Рассмотрим пример:  <font color=navy>'''class'''</font> Interval { <font color=gray>//invariant: left <= right</font> double left; double right; <font color=gray>//...</ Обработка ошибкиfont>

Также возможно делать несколько catch try { Если будет брошено исключение в этом классе, то тогда гарантируется, что ивариант "левая граница интервала меньше правой" сохранится, но значения <code>left</code> и <code>right</ Действияcode> могли измениться. } catch * Сильные гарантии (''strong exceptional safety''). Если при выполнении операции возникает исключение, то это не должно оказать какого-либо влияния на состояние приложения. Состояние объектов должно быть таким же как и до вызовов методов. *Exception eГарантия отсутствия исключений (''no throw guarantee'') {. Ни при каких обстоятельствах метод не должен генерировать исключения. В Java это невозможно, например, из-за того, что <code>VirtualMachineError</code> может произойти в любом месте, и это никак не зависит от кода. Кроме того, эту гарантию практически невозможно обеспечить в общем случае. ==Источники== *[http://www.kgeorgiy.info/courses/java-intro/ lectures/exceptions.html Обработка ошибок и исключения{{---}} Сайт Георгия Корнеева] *[http://www.lektorium.tv/lecture/13377 Лекция Георгия Корнеева {{---}} catch (Лекториум]*Exception e) {[http://docs.oracle.com/javase/tutorial/essential/exceptions/index.html The Java Tutorials. Lesson: Exceptions] *[http:// ru.wikipedia.org/wiki/%D0%9E%D0%B1%D1%80%D0%B0%D0%B1%D0%BE%D1%82%D0%BA%D0%B0_%D0%B8%D1%81%D0%BA%D0%BB%D1%8E%D1%87%D0%B5%D0%BD%D0%B8%D0%B9 Обработка исключения исключений {{---}} finally {Википедия] *[http://docs.oracle.com/javase/7/docs/api/java/lang/ Действия при выходе Throwable.html Throwable (Java Platform SE 7 ) {{---}}Oracle Documentation]Блок <tex> finally <*[http://www.skipy.ru/technics/exceptions.html try/tex> выполняется в независимости от выполнения <tex> catch </tex>finally и исключения {{---}} www.skipy.ru] [[Категория: Язык программирования Java]]