Что такое утверждение в Java? Как использовать утверждение в Java

Опубликовано: 2021-05-20

Оглавление

Что такое утверждение в Java?

Утверждение в Java используется для обеспечения правильности любых предположений программы, поскольку утверждение считается истинным при его выполнении. Виртуальная машина Java выдает ошибку AssertionError, если утверждение ложно. Утверждение в Java нашло свое применение в основном для целей тестирования. Логические выражения используются вместе с утверждениями. Утверждение — это оператор, а ключевое слово «актив» используется для выполнения утверждения в Java.

Синтаксис

Ниже приведены два способа выполнения утверждения в Java:

1. утверждать выражение;

2. утвердить выражение1: выражение2;

Как использовать утверждение в Java?

Утверждения отключены в Java по умолчанию. Для их включения используется следующая команда:

Java-EA Тест

(или)

java -enableassertions Тест

где Test — это имя файла Java.

Вот пример, демонстрирующий синтаксис утверждения:

тест открытого класса

{

public static void main (аргументы String [])

{

целое значение = 13;

утвердить значение <= 12 : «Не подросток»;

System.out.println("Возраст подростка » + значение);

}

}

Выход

Вот пример генерации ошибки утверждения виртуальной машиной Java:

класс Тест

{

public static void main (String args[])

{

инт вес = 30;

утверждать вес >= 20 : «Избыточный вес»;

System.out.println("Вес равен "+значение");

}

}

Выход

После включения утверждений

Выход

Исключение в потоке «основной» java.lang.AssertionError: Overweight

Вот как это выглядит:

Источник

Зачем использовать утверждения?

Утверждение в Java используется для:

  • Проверьте, верны ли предположения, сделанные программистом.
  • Убедитесь, что если код выглядит недостижимым, он недоступен.
  • Подтвердите, что предположения, написанные в комментариях, верны, например:

если ((у и 1) == 1)

{ }

else // y должен быть четным

{ утверждать (у% 2 == 0); }

  • убедитесь, что случай переключателя по умолчанию не достигнут
  • проверить состояние объекта

Утверждение в Java используется в начале метода и после вызова метода.

Где использовать утверждения?

Утверждение в Java используется в условных случаях и когда условия находятся в начале любого метода. Также в случае аргументов приватных методов. Код разработчика предоставляет частные аргументы, и когда программисту необходимо проверить свои предположения относительно аргументов.

Вот некоторые ситуации, в которых следует избегать использования утверждений:

  1. В соответствии со спецификациями, предоставленными Sun Microsystems, это утверждение не следует использовать при проверке аргументов в общедоступных методах, поскольку это приведет к возникновению соответствующих исключений во время выполнения, таких как NullPointerException и IllegalArgumentException.
  2. Его не следует использовать в качестве замены сообщений об ошибках.
  3. Если вы не хотите, чтобы в какой-либо ситуации возникала какая-либо ошибка, пропустите утверждение.
  4. Его не следует использовать в аргументах командной строки.
  5. Если пользователь предоставляет ошибки, утверждения не должны использоваться для проверки аргументов в общедоступных методах. Вместо этого следует использовать обработку ошибок.

Как отключить утверждения?

Следующие команды используются для отключения утверждения в Java:

java – да Тест

Или

java — тест отключения утверждений

где Test — это имя файла Java.

Способы использования утверждения в Java

Пример 1: утверждение Java

общественный класс Основной {

public static void main(String args[]) {

String[] weekdays = {"Пн", "Вт", "Ср", "Чт", "Пт"};

утверждать будние дни.длина == 2;

System.out.println("В неделе есть » + weekdays.length + » будние дни»);

}

}

Выход

Следующий вывод достигается, когда утверждения отключены и программа не имеет ошибок компиляции.

Когда утверждения включены, мы получим следующий вывод:

Исключение в потоке «основной» java.lang.AssertionError

Существует еще одна форма утверждения утверждения, которая выглядит следующим образом:

условие утверждения: выражение;

Эта форма оператора утверждения имеет выражение, которое передается конструктору объекта AssertionError. Если условие ложно, это выражение имеет значение, отображаемое как подробное сообщение об ошибке. Чтобы помочь в отладке проблемы, подробное сообщение захватывает и передает информацию об ошибке утверждения.

Пример 2: утверждение Java с примером выражения

общественный класс Основной {

public static void main(String args[]) {

String[] weekdays = {"Пн", "Вт", "Ср", "Чт", "Пт", "Сб"};

assert weekdays.length == 5: «В неделе всего 5 рабочих дней»;;

System.out.println("В неделе есть » + weekdays.length + » будние дни»);

}

}

Выход

Исключение в потоке «основной» java.lang.AssertionError: в неделе всего 5 выходных.

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

Изучайте онлайн -курсы по разработке программного обеспечения в лучших университетах мира. Участвуйте в программах Executive PG, Advanced Certificate Programs или Master Programs, чтобы ускорить свою карьеру.

Заключение

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

Если вы хотите узнать больше о Java и продвинуться по карьерной лестнице в области программирования, изучите бесплатные онлайн-курсы по Java от upGrad, крупнейшей в Индии онлайн-компании, занимающейся высшим образованием. Посетите upGrad для получения дополнительной информации.

Если вам интересно узнать больше о Java, разработке программного обеспечения с полным стеком, ознакомьтесь с программой Executive PG upGrad и IIIT-B по разработке программного обеспечения с полным стеком, которая предназначена для работающих профессионалов и предлагает более 500 часов тщательного обучения, 9+ проекты и задания, статус выпускника IIIT-B, практические практические проекты и помощь в трудоустройстве в ведущих фирмах.

Что такое утверждение в Java?

В языке программирования Java утверждение — это метод, используемый для обеспечения соблюдения некоторых требований. Ошибка утверждения в Java считается ошибкой компиляции, т.е. если в вашем коде есть какие-либо утверждения, код не будет скомпилирован, и вы получите сообщение об ошибке. Эта функция Java позволяет защитить ваш код от непредвиденных или нежелательных ошибок во время выполнения. Оператор assert Java позволяет вам тестировать инварианты вашей программы во время выполнения. Утверждения обычно используются для проверки того, что код не переходит в недопустимое состояние. На других языках вы можете увидеть методы контракта или предварительные/последующие условия, используемые для этой цели.

Как обрабатывать исключения в Java?

Исключением является ошибка времени выполнения, то есть она возникает во время работы программы, а не во время компиляции. Исключение возникает, когда произошла ошибка, и программа не может продолжить работу. Вы можете обрабатывать исключения тремя различными способами: Игнорировать исключение и позволить программе выйти. Используйте ключевое слово throw, чтобы повторно создать исключение. Используйте блок try-catch для обработки исключения. Вы можете зарегистрировать или распечатать исключение, а затем позволить программе выйти. Вы можете использовать ключевое слово exit для завершения программы. Вы можете использовать ключевое слово throw для повторного создания исключения. Вы можете использовать блок try-catch для обработки исключения. Есть блок catch, который принимает исключение в качестве аргумента. Есть блок finally, который запускается вне зависимости от того, выброшено исключение или нет.

Как работает try-catch в Java?

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