Vitajte na [www.pocitac.win] Pripojiť k domovskej stránke Obľúbené stránky
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 :