Изменения
→Классификация исключений
}
<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=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> {
==Классификация исключений==
Класс Java <code>Throwable</code> описывает все, что может быть брошено как исключение. Наследеники <code>Throwable</code> - <code>EcxeptionException</code> и <code>Error</code> - основные типы исключений. Также <code>RuntimeException</code>, унаследованный от <code>Exception</code>, является существенным классом.
[[Файл:Exceptions.png|400px|thumb|right|Иерархия стандартных исключений]]
===Проверяемые исключения===
===try-catch-finally===
Код, который может бросить исключения оборачивается в <code>try</code>-блок, после которого идут блоки <code>catch</code> и <code>finally</code> (Последний Один из них может быть опущен).
<font color=navy>'''try'''</font> {
}
Сразу после блока проверки следуют после обработчики исключений, которые объявляются ключевым словом catch.
<font color=navy>'''try'''</font> {
* обработка нескольких типов исключений в одном <code>catch</code>-блоке:
<code><font color=navy>'''catch'''</font></code> (<tt>IOException</tt> | <tt>SQLException</tt> ex) {...}
В таких случаях параметры неявно являются <code>final</code>, поэтому нельзя присвоить им другое значение в блоке <code>catch</code>.
* <code>Try</code> с ресурсами позволяет прямо в <code>try</code>-блоке объявлять необходимые ресурсы, которые по завершению блока будут корректно закрыты (с помощью метода <code>close()</code>). Любой объект реализующий <code>java.lang.AutoCloseable</code> может быть использован как ресурс.
<tt><font color=navy>'''static '''</font> String</tt> readFirstLineFromFile(String path) <tt><font color=navy>'''throws '''</font> IOException</tt> { <tt><font color=navy>'''try'''</font></tt> (<tt>BufferedReader</tt> br = <tt><font color=navy>'''new '''</font> BufferedReader(<font color=navy>'''new '''</font> FileReader</tt>(path))) { <tt><font color=navy>'''return'''</font></tt> br.readLine();
}
}
Можно объявлять несколько ресурсов, разделяя их точкой с запятой:
<font color=navy>'''public static void '''</font> viewTable(Connection con) throws SQLException {
String query = <font color=green>"select COF_NAME, SUP_ID, PRICE, SALES, TOTAL from COFFEES"</font>;
<font color=navy>'''try '''</font> (Statement stmt = con.createStatement(); ResultSet rs = stmt.executeQuery(query)) { <font color=gray>//Work with Statement and ResultSet</font> } <font color=navy>'''catch '''</font> (SQLException e) {
e.printStackTrace;
}
Компилятор Java SE 7 тщательнее анализирует перебрасываемые исключения. Рассмотрим следующий пример:
<font color=navy>'''static class '''</font> FirstException <font color=navy>'''extends '''</font> Exception { } <font color=navy>'''static class '''</font> SecondException <font color=navy>'''extends '''</font> Exception { }
<font color=navy>'''public void '''</font> rethrowException(String exceptionName) <font color=navy>'''throws '''</font> Exception { <font color=navy>'''try '''</font> { <font color=navy>'''if '''</font> (exceptionName<font color=green>"First"</font>.equals("First"exceptionName)) { <font color=navy>'''throw new '''</font> FirstException(); } <font color=navy>'''else '''</font> { <font color=navy>'''throw new '''</font> SecondException();
}
} <font color=navy>'''catch '''</font> (Exception ex) { <font color=navy>'''throw '''</font> e;
}
}
В примере <code>try</code>-блок может бросить либо <code>FirstException</code>, либо <code>SecondException</code>. В версиях до Java SE 7 невозможно указать эти исключения в декларации метода, потому что <code>catch</code>-блок перебрасывает исключение <code>ex</code>, тип которого - <code>Exception</code>.
В Java SE 7 вы можете указать, что метод <code>rethrowException</code> бросает только <code>FirstException</code> и <code>SecondException</code>. Компилятор определит, что исключение <code>Exception ex</code> могло возникнуть только в <code>try</code>-блоке, в котором может быть брошено <code>FirstException</code> или <code>SecondException</code>. Даже если тип параметра <code>catch</code> - <code>Exception</code>, компилятор определит , что это экземпляр либо <code>FirstException</code>, либо <code>SecondException</code>:
<font color=navy>'''public void '''</font> rethrowException(String exceptionName) <font color=navy>'''throws '''</font> FirstException, SecondException { <font color=navy>'''try '''</font> { <font color=gray>// ...</font> } <font color=navy>'''catch '''</font> (Exception e) { <font color=navy>'''throw '''</font> e;
}
}
* <code>IllegalArgumentException</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=navy>'''null'''</font></tt>) { <tt><font color=navy>'''throw new NullPointerException'''</font> IllegalArgumentException</tt>(<font color=green>"a must not be null"</font>);
}
}
* Слабые гарантии (''weak exceptional safety''). Если объект бросил исключение, то он находится в корректном состоянии, и все инварианты сохранены. Рассмотрим пример:
<font color=navy>'''class '''</font> Interval { <font color=gray>//invariant: left <= right</font>
double left;
double right;
<font color=gray>//...</font>
}
