Aserce umožňuje testovat správnost jakýchkoli předpokladů, které byly v programu provedeny. Tvrzení je dosaženo pomocí tvrdit prohlášení v Javě. Při provádění tvrzení se věří, že je pravdivé. Pokud selže, JVM vyvolá chybu s názvem AssertionError. Používá se hlavně pro testovací účely během vývoje.
výukový program programovacího jazyka java
The tvrdit příkaz se používá s booleovským výrazem a lze jej zapsat dvěma různými způsoby .
První způsob:
assert expression;>
Druhý způsob:
assert expression1 : expression2;>
Příklad:
Jáva
// 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);> >}> }> |
>
>Výstup
value is 15>
Po povolení asercí:
Výstup:
Exception in thread 'main' java.lang.AssertionError: Underweight>
Povolení tvrzení
Ve výchozím nastavení jsou výrazy zakázány. Potřebujeme spustit kód podle zadání. Syntaxe pro povolení příkazu asertion ve zdrojovém kódu Java je:
java –ea Test>
Nebo
java –enableassertions Test>
Zde je název souboru Test.
xor v Javě
Zakázání tvrzení
Syntaxe pro deaktivaci asercí v jazyce Java je:
java –da Test>
Nebo
java –disableassertions Test>
Zde je název souboru Test.
Proč používat tvrzení
Kdekoli chce programátor vidět, zda jsou jeho předpoklady špatné nebo ne.
- Abyste se ujistili, že nedosažitelný kód je skutečně nedosažitelný.
- Abychom se ujistili, že předpoklady napsané v komentářích jsou správné.
if ((x & 1) == 1) { } else // x must be even { assert (x % 2 == 0); }> - Ujistěte se, že není dosaženo výchozího pouzdra přepínače.
- Chcete-li zkontrolovat stav objektu.
- Na začátku metody
- Po vyvolání metody.
Tvrzení vs normální zpracování výjimek
Tvrzení slouží především ke kontrole logicky nemožných situací. Lze je například použít ke kontrole stavu, který kód očekává před spuštěním, nebo stavu po dokončení běhu. Na rozdíl od běžného zpracování výjimek/chyb jsou výrazy obecně zakázány za běhu.
Kde použít tvrzení
- Argumenty k soukromým metodám. Soukromé argumenty poskytuje pouze kód vývojáře a vývojář může chtít zkontrolovat své předpoklady o argumentech.
- Podmíněné případy.
- Podmínky na začátku jakékoli metody.
Kde nepoužívat tvrzení
- Tvrzení by neměla být používána k nahrazení chybových zpráv
- Tvrzení by se neměla používat ke kontrole argumentů ve veřejných metodách, protože je může poskytnout uživatel. Zpracování chyb by se mělo používat ke zpracování chyb poskytnutých uživateli.
- Tvrzení by se neměla používat v argumentech příkazového řádku.
Příklad:
Jáva
// 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);> >}> }> |
abstraktní třída vs rozhraní
>
>Výstup
The voter's age is 14>