Иерархия исключительных ситуаций

Исключительные ситуации в Java являются объектами. Их типы являются классами-потомками объектного типа Throwable (от throw able – “способный возбудить исключительную ситуацию”). От Throwable наследуются классы Error (“Ошибка”) и Exception (“Исключение”). Экземплярами класса Error являются непроверяемые исключительные ситуации, которые невозможно перехватить в блоках catch. Такие исключительные ситуации представляют катастрофические ошибки, после которых невозможна нормальная работа приложения. Экземплярами класса Exception и его потомков являются проверяемые исключительные ситуации. Кроме одного потомка – класса RuntimeException (и его потомков). Имя этого класса переводится как “Исключительные ситуации времени выполнения”.

Классы исключительных ситуаций либо предопределены в стандартных пакетах (существуют исключительные ситуации ArithmeticException для арифметических операций в пакете java.lang, IOException в пакете java.io, и так далее), либо описываются пользователем как потомки класса Exception или его потомков.

В Java типы-исключения принято именовать, оканчивая имя класса на “Exception” (“Исключение”) для проверяемых исключений или на “Error” (“Ошибка”) для непроверяемых.

По правилу совместимости типов исключительная ситуация типа-потомка всегда может быть обработана как исключение прародительского типа. Поэтому порядок следования блоков catch имеет большое значение: обработчик исключения более общего типа следует писать всегда после обработчика для его типа-потомка, иначе обработчик потомка никогда не будет вызван.

В приведённом выше примере вместо NumberFormatException можно поставить Exception, так как других типов исключений кроме NumberFormatException сюда доходить не может. В этом случае метод выглядит так:

void myETest(String s,double y){

double x, z;

try{

x=Double.parseDouble(s);

z=Math.sqrt(x/y);

} catch(ArithmeticException e){

System.out.println("Деление на ноль");

} catch(Exception e){

System.out.println("Корень из отрицательного числа!");

}

};

Но если бы мы попробовали таким же образом заменить тип исключения в первом блоке catch, то блок для исключений типа Exception всегда перехватывал бы управление, и обработчик для NumberFormatException никогда бы не срабатывал. Пример такого неправильно написанного кода:

void myETest(String s,double y){

double x, z;

try{

x=Double.parseDouble(s);

z=Math.sqrt(x/y);

} catch(Exception e){

System.out.println("Деление на ноль");

} catch(NumberFormatException e){

System.out.println("Корень из отрицательного числа!");

}

};

В таких случаях среда разработки NetBeans выдаст сообщение вида “exception java.lang.NumberFormatException has already been caught” – “исключение java.lang.NumberFormatException уже было перехвачено”.