Проверяемые и непроверяемые исключения

Все исключительные ситуации можно разделить на две категории проверяемые (checked) и непроверяемые (unchecked).

Все исключения, порождаемые от Throwable, можно разбить на три группы. Они определяются тремя базовыми типами: нacлeдникaми Throwable - классами Error и Exception, а также наследником Exception - RuntimeException.

Ошибки, порожденные от Exception (и не являющиеся наследниками puntimeException), являются проверяемыми. Т.е. во время компиляции проверяется, предусмотрена ли обработка возможных исключительных ситуаций. Как правило, это ошибки, связанные с окружением программы (сетевым, файловым вводом-выводом и др.), которые могут возникнуть вне зависимости от того, корректно написан код или нет. Например, открытие сетевого соединения или файла может привести к возникновению ошибки }1 компилятор требует от программиста предусмотреть некие действия для обработки возможных проблем. Таким образом, повышается надежность программы, ее устойчивость при возможных сбоях.

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

Как правило, это ошибки программы, которые при правильном ко­дировании возникать не должны (например, IndexOfBoundException — выход за границы массива,java.lang.AhfmeticExceptJon - деление на ноль). Поэтому, чтобы не загромождать программу, компилятор оставляет усмотрение программиста обработку таких исключений с помощью try-catch.

Исключения, порожденные от Error, также не являются проверяемыми. Они предназначены для того, чтобы уведомить приложение о воз­никновении фатальной ситуации, которую программным способом уст­ранить практически невозможно (хотя формально обработчик допускает-IJH). Они могут свидетельствовать об ошибках программы, но, как правило, это неустранимые проблемы на уровне JVM. В качестве примера можно привести StackOverflowError (переполнение стека), OutOfMemoryError нехватка памяти).

Если в конструкции обработки исключений используется несколько литераторов catch, классы исключений нужно перечислять в них последовательно, от менее общих к более общим. Рассмотрим два примера:

try{}

catch (Exception е) {}

catch(lOException ioe) {}

catch(UserExcetion ue) {}

Рис. 10.1. Иерархия классов стандартных исключений.

В данном примере при возникновении исключительной ситуации (класс, порожденный от Exception) будет выполняться всегда только пер­вый блок catch. Остальные не будут выполнены ни при каких условиях. Эта ситуация отслеживается компилятором, который сообщает об UnreachableCodeExceptlon (ошибка - недостижимый код). Правильно данная конструкция будет выглядеть так:

try{

}

catch(UserExcetion ue) {}

catch(IOException ioe) {}

catch(Exception e) {}

В этом случае будет выполняться последовательная обработка ис­ключений. И в случае, если не предусмотрена обработка того типа исклю­чения, которое возникло (например, AnotherUserException), будет выполнен блок catch(Exception е){...}

Если срабатывает один из блоков catch, то остальные блоки в данной конструкции try-catch выполняться не будут.