Исключительные ситуации

классификация
Выбрасывание исключений
Отлов исключений
Создание типов исключений
Подходы к отладке приложений

к возникновению ошибок
Ошибки бывают различной степени тяжести
Ошибки необходимо каким-либо способом

продукта

Безопасность в процессе выполнения

Удобство при написании программного кода

Противоречие!

«свободные» значения возвращаемого типа
Встроенный в язык механизм проверки и обработки
int

if ((ans = sqrt(val)) < 0) {
// Обработка ошибки
}
else {
// Продолжение вычислений
}

try {
someBusinessLogic();
...
anotherBusinessLogic()
}
catch(Exception1 e1) {
// обработка 1-ой ошибки
}
...
catch(ExceptionN eN) {
// обработка N-ой ошибки
}
finally {
// выполнение завершающих
// работу действий
}

текущего потока вычислений приостанавливается

Завершается выполнение блоков и методов в цепочке

Exception

Необъявляемые
(непроверяемые, unchecked)
Обусловлены логикой кода

Не указываются в объявлении метода

Наследуют от классов

зависят от выполняемой инструкции

Внутренние ошибки JVM
Результат работы deprecated методов

возвращаемого им значения
Мораль: их надо обозначать в заголовке
class OurClass
{
public

не обрабатываются в теле самого метода

Метод вправе выбросить исключение типа,

метода

Статические блоки инициализации и инициализирующие выражения не могут выбрасывать объявляемые

соответствующие исключения в предложении throws текущего метода и позволить им

фактическую

Исключение должно отлавливаться и обрабатываться на том уровне (по стеку,

(ТипИсключения1 идентификатор1) {
Инструкции
} catch (ТипИсключения2 идентификатор2) {
Инструкции
...
} finally

обстоятельствах

Тело выполняется вплоть до:
Момента возникновения исключительной ситуации
Благополучного достижения конца блока

Конкретный

некоторые восстановительные действия
Выбросить собственное исключение
Осуществить необходимые действия и передать управление

тип которого допускает присвоение выброшенного исключения

Использовать широкий тип (например, Exception)

выбрасывании исключения
При передаче управления по break или return!
Блок finally необязателен
Если

(принудительно) выбрасываемые исключения
throw referenceToThrowableObject;

throw new NoSuchAttributeException(name);

подходящего по смыслу (например, java.lang.IndexOutOfBoundsException)

Само то, что выбрасывается исключение более

системные журналы (logging)
Создание дополнительных методов проверки
Отладчики (debuggers)
В составе JDK, в составе

уровне
Выделение и обработка категорий ошибок
Разделение логики по обработке ошибок и

и абстрактные методы и классы
Описание и применение интерфейсов

интерфейс(ы)

(дочерним, подклассом)
Расширяемый класс называется базовым (родительским, суперклассом)
class MyClass1 {
}

class MyClass2

друга по ключевому слову this(…)

Могут вызывать конструкторы базового класса по

полям объекта посредством выполнения соответствующих выражений и блоков инициализации
Выполнение инструкций

void show() {
System.out.println("Super.show(): " + str);
}
}

class ExtendShow

= new ExtendShow();
SuperShow sup = ext;
System.out.println("ext.str = "

ext.str = ExtendStr
sup.str = SuperStr
Extend.show(): ExtendStr
Extend.show(): ExtendStr

добавляется метод с другими параметрами

Сигнатуры совпадают
Переопределение – замещение версии метода,

ссылке его родительского типа всегда вызывается новая версия метода

Доступ к

return "child"; }
}
ChildClass child = new ChildClass();
System.out.println(child.getInfo()); // child

ParentClass parent

class ParentClass {
public String getInfo() { return "parent"; }
}

метод!
public String getInfo() { return "child"; }
}
class ParentClass {

исключений, которые не совместимы с типами в throws базового метода

изменить
Поле базового класса при сокрытии продолжает существовать, но недоступно через

...
}
class ExtendShow extends SuperShow {
public int str = 100500;

= new ExtendShow();
SuperShow sup = ext;

System.out.println("ext.str =

ext.str = 100500
sup.str = SuperStr
sup.str = SuperStr

базового класса
Может быть использовано в теле любого нестатического члена класса
Формы

для доступа используется имя класса, поэтому проблем не возникает

Если используется

{
System.out.println("The class method in Animal");
}
}
public class

обеспечивающий полиморфизм
Сокрытие полей – последствие отсутствия ограничений на имена полей
Изменение

допускает расширения

final public int getValue();
final class MyClass {
...
}

абстрактными методами обязан быть абстрактным
Абстрактный класс не обязан иметь абстрактные

abstract public int getValue();

abstract class MyClass {...}

тем или иным способом, в совокупности с описанием их назначения
Способ

класс получает тип базового, поэтому может быть использован полиморфным образом

Наследование

нельзя
Классы способны реализовывать один или несколько интерфейсов
Реализация классом интерфейса означает

модификаторов редко имеет смысл
Бывают пустые интерфейсы
interface Somethingable {
// константы

Verbose {
int SILENT = 0;
int TERSE = 1;

static final
interface Verbose {
void setVerbosity(int level);
int getVerbosity();
}

имен наследуемых методов не несет семантической нагрузки
interface NewVerbose extends Verbose,

не реализует все методы «наследуемых» интерфейсов, он является абстрактным
class MyNewThread

способен наследовать одновременно несколько интерфейсов

Класс может расширять единственный базовый класс,

вправе содержать члены, помеченные как protected и/или static и т.п.

Структура

объектом операции, описанные во внешнем контракте, обусловленном типом интерфейса

Такое средство

= mnt;
Runnable r1 = mnt;
Runnable r2 = mt; // Ошибка!!!

mnt

ни методов

Реализация таких интерфейсов обычно означает способность объекта к чему-либо

Ссылка

Джеймс Гослинг, Дэвид Холмс. – М. : Издательский дом «Вильямс»,