Aké sú Tvrdenie v Jave ?

Java pridal " assert " kľúčové slovo , aby bolo ľahšie detekovať a hlásiť chyby v Jave 1.4 . Tvrdenie , aby program určiť podmienku , že sa očakáva , že je to pravda . V prípade , že podmienka zlyhá , program hlási chybu , ktoré sa musia riešiť . Uplatnenie Syntax

syntax pre tvrdenie je veľmi jednoduchý :

assert CODE

kód musí vyhodnotiť ako true alebo false . Ak je to pravda , potom program pokračuje ako zvyčajne . Ak je false , potom AssertionError je vyvolaná . Týmto spôsobom , tvrdenie kľúčové slovo umožňuje programátorovi , aby tvrdenia o stave programu v určitých miestach a určiť dobu , kedy program prechádza do štátov , ktoré nie sú povolené .
Pri použití tvrdení
Spojené

Tvrdenie by mala byť použitá pre kontrolu Invariant , alebo situácie , ktoré programátor verí , nikdy nedôjde . Nižšie príklad tvrdenia týkajúce sa stavu mince je príkladom Invariant . Tým skontrolovať Invariant pomocou tvrdení , programátori dosiahnuť dvoch vecí . Po prvé , že poskytujú spôsob pre program sa nepodarí, ak nemenný ukáže byť nepravdivé kvôli korupcii pamäti . Po druhé , poskytujú jasne čitateľnou cestu pre programátora ukázať ostatným programátorom predpoklady , ktoré existujú v jeho kóde .
Problémy

Ústredným problémom s tvrdeniami možno vysledovať k tomu , že sú voliteľná funkcia . Z rôznych dôvodov , že klientske počítače sa môže rozhodnúť pre spustenie programu sa tvrdenia vypnutý . To má rad účinkov . Po prvé , môže programátor nebude dať ľubovoľný kód v predpoklade , ktorý mení stav programu , pretože tento kód by už byť spustený , ak tvrdenia nepodarilo . Po druhé , programátor nemôže nikdy predpokladať , že tvrdenie bude hodnotené . To znamená , že argument , kontrola metódy by mali byť ešte vykonané pomocou starého výnimiek systém , ktorý nikdy nemôže byť zakázaný . Konečne , pretože nové kľúčové slovo " tvrdí , " bola pridaná do jazyka , môže premenné v starom kóde nemá názov " assert . "
Výrazu Príklad

Zvážte nasledujúci kód :

• Predchádzajúca strana: Ako vypočítať Veľká noc s Java 
• Ďalšia strana: Čo je to Java Runtime Environment