Изменения

#'''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>) || (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> - Ecxeption <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> и их наследников, являются проверяемыми.

Класс <code>Error </code> и его подклассы предназначены для системных ошибок. Свои собственные классы-наследники для <code>Error </code> писать (за очень редкими исключениями) не нужно. Как правило , это действительно фатальные ошибки, пытаться обработать которые довольно бессмысленно(например <code>OutOfMemoryError</code>).

Эти исключения обычно возникают в результате ошибок программирования, такие как ошибки разработчика или неверное использование интерфейса приложения. Например, в случае выхода за границы массива метод бросит <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>); }

Есть два стандартных конструктора для всех стандартных исключений: первый - конструктор по умолчанию, второй принимает строковый аргумент, поэтому можно поместить подходящую информацию в исключение.

Как и было сказано раньшеВозможна ситуация, когда одно исключение становится причиной другого. Для этого существует механизм 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>

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

<font color=navy>'''try '''</font> { <font color=gray>// Код, который может сгенерировать исключение</font> }

Сразу после блока проверки следуют после обработчики исключений, которые объявляются ключевым словом ''catch''.

<font color=navy>'''try '''</font> { <font color=gray>// Код, который может сгенерировать исключение</font> } <font color=navy>'''catch'''</font>(Type1 id1) { <font color=gray>// Обработка исключения Type1</font> } <font color=navy>'''catch'''</font>(Type2 id2) { <font color=gray>// Обработка исключения Type2</font> }

Код из блока finally выполнится <code>Сatch</code>-блоки обрабатывают исключения, указанные в любом случае: при нормальном выходе из tryкачестве аргумента. Тип аргумента должен быть классом, унаследованного от <code>Throwable</code>, или самим <code>Throwable</code>. Блок <code>catch</code> выполняется, после обработки если тип брошенного исключения или при выходе по команде returnявляется наследником типа аргумента и если это исключение не было обработано предыдущими блоками.

NBКод из блока <code>finally</code> выполнится в любом случае: Если JVM выйдет во время выполнения кода при нормальном выходе из <code>try или catch, то finally блок может не выполниться. Также, например</code>, если поток выполняющий try после обработки исключения или catch код остановлен, то блок finally может не выполниться, даже если приложение продолжает работатьпри выходе по команде <code>return</code>.

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

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

<font color=navy>'''<tt>import</tt>'''</font> java.io.IOException; <font color=navy>'''<tt>public class '''</tt></font> ExceptionTest { <font color=navy>'''<tt>public static void</tt>'''</font> main(<tt>String[]</tt> args) { <font color=navy>'''<tt>try</tt>'''</font> { <font color=navy>'''<tt>try</tt>'''</font> { <font color=navy>'''<tt>throw new</tt>''' </font>Exception(<font color=green>"a"</font>); } <font color=navy>'''<tt>finally</tt>'''</font> { <font color=navy>'''<tt>throw new</tt>'''</font> IOException(<font color=green>"b"</font>); } } <font color=navy>'''<tt>catch'''</tt></font> (IOException ex) { System.<font color=purple>'''''err'''''</font>.println(ex.getMessage()); } <font color=navy>'''<tt>catch'''</tt></font> (Exception ex) { System.<font color=purple>'''''err'''''</font>.println(ex.getMessage()); } } }

public static void main(String[] args) { try { try { throw После того, как было брошено первое исключение - <code>new Exception("a"); } </code> - будет выполнен блок <code>finally { throw </code>, в котором будет брошено исключение <code>new IOException("b"); } } catch (IOException ex) { System</code>, именно оно будет поймано и обработано.err.println(ex.getMessage()); } catch (Exception ex) { System.errРезультатом его выполнения будет вывод в консоль <code>b</code>.println(exИсходное исключение теряется.getMessage()); } }}

После ===Обработка исключений, вызвавших завершение потока=== При использовании нескольких потоков бывают ситуации, когда поток завершается из-за исключения. Для того, как чтобы определить с каким именно, начиная с версии Java 5 существует интерфейс <code>Thread.UncaughtExceptionHandler</code>. Его реализацию можно установить нужному потоку с помощью метода <code>setUncaughtExceptionHandler</code>. Можно также установить обработчик по умолчанию с помощью статического метода <code>Thread.setDefaultUncaughtExceptionHandler</code>. Интерфейс <code>Thread.UncaughtExceptionHandler</code> имеет единственный метод <code>uncaughtException(Thread t, Throwable e)</code>, в который передается экземпляр потока, завершившегося исключением, и экземпляр самого исключения. Когда поток завершается из-за непойманного исключения, JVM запрашивает у потока <code>UncaughtExceptionHandler</code>, используя метод <code>Thread.getUncaughtExceptionHandler()</code>, и вызвает метод обработчика – <code>uncaughtException(Thread t, Throwable e)</code>. Все исключения, брошенные этим методом, игнорируются JVM. ===Информация об исключениях===* <code>getMessage()</code>. Этот метод возвращает строку, которая была первым параметром при создании исключения;* <code>getCause()</code> возвращает исключение, которое стало причиной текущего исключения;* <code>printStackTrace()</code> печатает stack trace, который содержит информацию, с помощью которой можно определить причину исключения и место, где оно было брошено первое исключение - .  new Exception(in thread "main"java.lang.IllegalStateException: A book has a"null property at com.example.myproject.Author.getBookIds(Author.java:38) at com.example.myproject.Bootstrap.main(Bootstrap.java:14) Caused by: java.lang.NullPointerException at com.example.myproject.Book.getId(Book.java:22) at com.example.myproject.Author.getBookIds(Author.java:35) - будет выполнен блок finally Все методы выводятся в обратном порядке вызовов. В примере исключение <code>IllegalStateException</code> было брошено в методе <code>getBookIds</code>, который был вызван в котором будет брошено исключение new IOException(<code>main</code>. "bCaused by")означает, именно оно будет поймано и обработано. Результатом его выполнения будет вывод в консоль ''b''. Исходное что исключение теряется<code>NullPointerException</code> является причиной <code>IllegalStateException</code>.

<tt><font color=navy>'''public void'''</font></tt> f(<tt>Object</tt> a) { <tt><font color=navy>'''if'''</font></tt> (a == <tt><font color=Исключения в Java7+navy>'''null'''</font></tt>) { <tt><font color=navy>'''throw new'''</font> IllegalArgumentException</tt>(<font color=green>"a must not be null"</font>); } } * обработка нескольких типов исключений <code>IllegalStateException</code> возникает в одном catch-блоке:результате некорректного состояния объекта. Например, использование объекта перед тем как он будет инициализирован.

catch ==Гарантии безопасности==При возникновении исключительной ситуации, состояния объектов и программы могут удовлетворять некоторым условиям, которые определяются различными типами гарантий безопасности:* Отсутствие гарантий (IOException|SQLException ex''no exceptional safety'') {.Если было брошено исключение, то не гарантируется, что все ресурсы будут корректно закрыты и что объекты, методы которых бросили исключения, могут в дальнейшем использоваться.Пользователю придется пересоздавать все необходимые объекты и он не может быть уверен в том, что может переиспозовать те же самые ресурсы.}* Отсутствие утечек (''no-leak guarantee''). Объект, даже если какой-нибудь его метод бросает исключение, освобождает все ресурсы или предоставляет способ сделать это.* Слабые гарантии (''weak exceptional safety''). Если объект бросил исключение, то он находится в корректном состоянии, и все инварианты сохранены. Рассмотрим пример:

В таких случаях параметры являются <font color=navy>''final'class', следовательно, нельзя присвоить им любое значение в блоке catch''</font> Interval { <font color=gray>//invariant: left <= right</font> double left; double right; <font color=gray>//...</font> }

* Try с ресурсами позволяет прямо Если будет брошено исключение в try блоке объявлять необходимые ресурсыэтом классе, которые по завершению блока будут коректно закрыты (с помощью метода close()). Любой объект реализующий java.lang.AutoCloseable может быть использован как ресурсто тогда гарантируется, что ивариант "левая граница интервала меньше правой" сохранится, но значения <code>left</code> и <code>right</code> могли измениться.

static String readFirstLineFromFile* Сильные гарантии (String path''strong exceptional safety'') throws IOException { try (BufferedReader br = new BufferedReader(new FileReader(path))) { return br.readLine(); }}Если при выполнении операции возникает исключение, то это не должно оказать какого-либо влияния на состояние приложения. Состояние объектов должно быть таким же как и до вызовов методов.

* Гарантия отсутствия исключений (''no throw guarantee''). Ни при каких обстоятельствах метод не должен генерировать исключения. В приведенном примере Java это невозможно, например, из-за того, что <code>VirtualMachineError</code> может произойти в качестве ресурса использутся объект класса BufferedReaderлюбом месте, который будет закрыт вне зависимосити и это никак не зависит от кода. Кроме того, как выполнится try-блокэту гарантию практически невозможно обеспечить в общем случае.

Можно объявлять несколько ресурсов, разделяя их точкой с запятой==Источники==*[http://www.kgeorgiy.info/courses/java-intro/lectures/exceptions.html Обработка ошибок и исключения {{---}} Сайт Георгия Корнеева]*[http://www.lektorium.tv/lecture/13377 Лекция Георгия Корнеева {{---}} Лекториум]*[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 Обработка исключений {{---}} Википедия]*[http://docs.oracle.com/javase/7/docs/api/java/lang/Throwable.html Throwable (Java Platform SE 7 ) {{---}} Oracle Documentation]*[http://www.skipy.ru/technics/exceptions.html try/catch/finally и исключения {{---}} www.skipy.ru]