Твердження дозволяє перевірити правильність будь-яких припущень, зроблених у програмі. Твердження досягається за допомогою стверджувати оператор на Java. Під час виконання твердження вважається, що воно істинне. Якщо це не вдається, JVM видає помилку під назвою AssertionError. Він в основному використовується для тестування під час розробки.
The стверджувати оператор використовується з логічним виразом і може бути записаний у двома різними способами .
Перший спосіб:
assert expression;>
Другий спосіб:
assert expression1 : expression2;>
приклад:
Java
винятки java
// Java program to demonstrate syntax of assertion> 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); }> - Щоб переконатися, що регістр перемикачів за замовчуванням не досягнуто.
- Щоб перевірити стан об’єкта.
- На початку методу
- Після виклику методу.
Твердження проти звичайної обробки винятків
Твердження в основному використовуються для перевірки логічно неможливих ситуацій. Наприклад, їх можна використовувати для перевірки стану, який очікує код перед початком виконання, або стану після його завершення. На відміну від звичайної обробки винятків/помилок, твердження зазвичай вимкнено під час виконання.
Де використовувати твердження
загальна помилка захисту
- Аргументи до приватних методів. Приватні аргументи надаються лише кодом розробника, і розробник може захотіти перевірити свої припущення щодо аргументів.
- Умовні відмінки.
- Умови на початку будь-якого методу.
Де не можна використовувати твердження
- Твердження не слід використовувати для заміни повідомлень про помилки
- Твердження не слід використовувати для перевірки аргументів у відкритих методах, оскільки вони можуть бути надані користувачем. Обробку помилок слід використовувати для обробки помилок, наданих користувачами.
- Твердження не слід використовувати в аргументах командного рядка.
приклад:
виконати оболонку сценарію
Java
// Java program to demonstrate assertion in Java> public> class> Example {> >public> static> void> main(String[] args)> >{> >int> age =>14>;> >assert> age <=>18> :>'Cannot Vote'>;> >System.out.println(>'The voter's age is '> + age);> >}> }> |
>
>Вихід
The voter's age is 14>