Спецификация Java 11: 11.2. Проверка исключений во время компиляции

Язык программирования Java требует, чтобы программа содержала обработчики проверенных исключений, которые могут возникнуть в результате выполнения метода или конструктора. Эта проверка во время компиляции на наличие обработчиков исключений предназначена для уменьшения количества исключений, которые не обрабатываются должным образом. Для каждого проверенного исключения, которое является возможным результатом, предложение throws для метода или конструктора должно упоминать класс этого исключения или один из суперклассов класса этого исключения.

Проверенные классы исключений, указанные в предложении throws, являются частью контракта между разработчиком и пользователем метода или конструктора. Предложение throws переопределяющего метода может не указывать, что этот метод приведет к сбору любого проверенного исключения, которое переопределенному методу не разрешено с помощью его предложения throws. Когда задействованы интерфейсы, более одного объявления метода может быть переопределено одним замещающим объявлением. В этом случае переопределяющее объявление должно иметь предложение throws, совместимое со всеми переопределенными объявлениями.

Непроверенные классы исключений освобождены от проверки во время компиляции.

Классы ошибок не учитываются, поскольку они могут возникать во многих точках программы, и восстановление после них затруднено или невозможно. Программа, объявляющая такие исключения, будет бессмысленно загромождена. Сложные программы могут еще захотеть уловить и попытаться вылечиться от некоторых из этих состояний.

Классы исключений во время выполнения исключаются, потому что, по мнению разработчиков языка программирования Java, необходимость объявления таких исключений не может существенно помочь в установлении правильности программ. Многие операции и конструкции языка программирования Java могут вызывать исключения во время выполнения. Информация, доступная компилятору Java, и уровень анализа, выполняемого компилятором, обычно недостаточны, чтобы установить, что такие исключения времени выполнения не могут произойти, даже если это может быть очевидно для программиста. Требование объявления таких классов исключений было бы просто раздражением для программистов.

Например, определенный код может реализовать круговую структуру данных, которая по своей конструкции никогда не может включать пустые ссылки; тогда программист может быть уверен, что исключение NullPointerException не может возникнуть, но компилятору Java будет сложно это доказать. Технология доказательства теорем, необходимая для установления таких глобальных свойств структур данных, выходит за рамки данной спецификации.

Мы говорим, что оператор или выражение может вызвать исключение класса E, если, согласно правилам, выполнение оператора или выражения может привести к выбросу исключения класса E.

Мы говорим, что предложение catch может перехватывать свои перехватываемые классы исключений:

  • Улавливаемый класс исключения предложения одинарного catch - это объявленный тип его параметра исключения.
  • Перехватываемые классы исключений в предложении с несколькими перехватами являются альтернативами в объединении, которое обозначает тип его параметра исключения.

Читайте также:


Канал в Телеграм

Комментарии

Отправить комментарий

Популярные сообщения из этого блога

Методы класса Object в Java

Изображение
Класс Object является корнем иерархии классов. У каждого класса есть Object как суперкласс. Все объекты, включая массивы, реализуют методы этого класса. Методы класса Object Метод getClass() public final Class getClass() Возвращает класс времени исполнения (runtime class) этого Object. Возвращенный объект Class - это объект, который заблокирован статическими синхронизированными методами представленного класса. Фактический тип результата - Class<? extends |X|> где |X| заменяется статическим типом выражения, для которого вызывается getClass. Например, в этом фрагменте кода не требуется приведение: Number n = 0; Class c = n.getClass(); Метод getClass() возвращает: Объект Class, представляющий класс времени исполнения (runtime class) этого объекта. Метод hashCode public int hashCode() Возвращает значение хэш-кода для объекта. Этот метод поддерживается для использования хэш-таблиц, таких как те, что предоставляются HashMap. Основной контракт метода hashCo
Далее...

Как получить текущий timestamp в Java

Изображение
Чтобы получить текущий timestamp в Java : package main; import java.sql.Timestamp; public class Main { public static void main(String[] args){ Timestamp timestamp = new Timestamp(System.currentTimeMillis()); System.out.println(timestamp); } } Вывод: 2019-10-03 10:09:21.61 Вот еще два более подробных примера как получить текущий timestamp в Java: 1. java.sql.Timestamp Есть два метода получить текущий java.sql.Timestamp package main; import java.sql.Timestamp; import java.text.SimpleDateFormat; import java.util.Date; public class Main { private static final SimpleDateFormat dateFormat = new SimpleDateFormat("yyyy.MM.dd.HH.mm.ss"); public static void main(String[] args) { // Метод 1 Timestamp timestamp = new Timestamp(System.currentTimeMillis()); System.out.println(timestamp); // Метод 2 - через Date Date date = new Date(); System.out.println(new Timestamp(date.getTime()
Далее...

Основные опции JVM для повышения производительности и отладки

Изображение
Если вы являетесь Java-разработчиком или администратором Java приложения, вам поможет в работе знание того, что означают опции JVM, а также их важность и как они влияют на ваше приложение. Обзор параметров JVM Если говорить о параметрах JVM, то есть три типа параметров, которые вы можете включить в JVM: стандартные, нестандартные и расширенные параметры. Если вы используете расширенную опцию, вы всегда используете опцию с -XX. Точно так же, если вы применяете нестандартную опцию, вы используете -X. Стандартные опции ничего не добавляют к опции. Какие параметры JVM используются вашим приложением? Если приложение работает в Linux, вы можете использовать ps -ef | grep java для идентификации процесса Java и просмотра параметров JVM, напечатанных как аргументы процесса. Если в системе выполняется более одного Java-процесса, вам может потребоваться использовать ключевое слово, уникальное для вашего Java-приложения. Если ваш аргумент слишком длинный, попробуйте использовать ps
Далее...