Рубрики

Утверждения в Java

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

Утверждение достигается с помощью оператора assert в Java. Выполняя утверждение, оно считается верным. Если это не удается, JVM выдает ошибку с именем AssertionError. Он в основном используется в целях тестирования во время разработки.

Оператор assert используется с логическим выражением и может быть записан двумя различными способами.

Первый способ:

assert expression;

Второй способ:

assert expression1 : expression2;

Пример утверждения: —

// Java-программа для демонстрации синтаксиса утверждения

import java.util.Scanner;

  

class Test

{

    public static void main( String args[] )

    {

        int value = 15;

        assert value >= 20 : " Underweight";

        System.out.println("value is "+value);

    }

}

Выход:

value is 15

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

Exception in thread "main" java.lang.AssertionError: Underweight

Включение утверждений

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

java –ea Test

Или

java –enableassertions Test

Здесь Test — это имя файла.

Отключение утверждений

Синтаксис для отключения утверждений в Java:

java –da Test

Или

java –disableassertions Test

Здесь Test — это имя файла.

Зачем использовать утверждения
Везде, где программист хочет увидеть, верны ли его / ее предположения или нет.

  • Чтобы убедиться, что недоступный код на самом деле недоступен.
  • Чтобы убедиться, что предположения, написанные в комментариях, верны.
             if ((x & 1) == 1)  
             {  }
             else // x must be even 
             { assert (x % 2 == 0); }
  • Чтобы убедиться, что случай переключения по умолчанию не достигнут.
  • Проверить состояние объекта.
  • В начале метода
  • После вызова метода.

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

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

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

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

  • Утверждения не должны использоваться, чтобы заменить сообщения об ошибках
  • Утверждения не должны использоваться для проверки аргументов в открытых методах, так как они могут быть предоставлены пользователем. Обработка ошибок должна использоваться для обработки ошибок, предоставленных пользователем.
  • Утверждения не должны использоваться в аргументах командной строки.

Связанная статья:
Утверждения в C / C ++

Эта статья предоставлена Рахул Аггарвал . Пожалуйста, пишите комментарии, если вы обнаружите что-то неправильное или вы хотите поделиться дополнительной информацией по обсуждаемой выше теме.

Рекомендуемые посты:

Утверждения в Java

0.00 (0%) 0 votes