Java voegde de " beweren " keyword om het gemakkelijker maken om fouten op te sporen en in Java 1.4 melden. Beweringen toestaan dat het programma een voorwaarde dat het verwacht om waar te specificeren . Mocht de toestand niet , het programma meldt een fout die moet worden behandeld . Bewering Syntax
De syntaxis voor een bewering is heel eenvoudig :
beweren CODE
De code moet evalueren als waar of onwaar . Als dat waar is , dan is het programma verder zoals gewoonlijk . Als vals , dan is een AssertionError wordt gegooid . Op deze manier , de bewering zoekwoord een programmeur toelaat om beweringen over de toestand van het programma op specifieke punten te maken en identificeren van momenten waarop het programma overgaat in de staten die niet zijn toegestaan .
Wanneer Beweringen gebruiken < br > Beweringen
moet worden gebruikt om invarianten , of situaties die de programmeur gelooft nooit zal plaatsvinden controleren . Het onderstaande voorbeeld van een bevestiging over de stand van een munt is een voorbeeld van een invariant . Door het gebruik van beweringen te invarianten controleren , programmeurs bereiken twee dingen . Ten eerste , ze bieden een manier voor het programma te mislukken als de invariante blijkt vals te zijn als gevolg van het geheugen corruptie . Ten tweede , ze bieden een duidelijk leesbare manier voor de programmeur om andere programmeurs tonen de veronderstellingen die in zijn code bestaan .
Problemen
Het centrale probleem met beweringen kan worden teruggevoerd op het feit dat zij een optionele functie . Voor een verscheidenheid van redenen , kan de client machines voor kiezen om het programma uit te voeren met beweringen uitgeschakeld . Dit heeft een aantal effecten . Ten eerste kan de programmeur een code niet in de veronderstelling dat de staat van het programma verandert , omdat deze code zou niet meer worden uitgevoerd als een bewering is mislukt . Ten tweede , kan de programmeur nooit aannemen dat de beweringen zal worden geëvalueerd . Dit betekent dat de controle van argumenten voor methoden nog moeten worden uitgevoerd met behulp van het oude systeem van uitzonderingen , die nooit kan worden uitgeschakeld . Tot slot, aangezien een nieuw zoekwoord " beweren " is toegevoegd aan de taal , kunnen variabelen in oude code niet de naam " beweren . "
Assertion Voorbeeld
Denk aan de volgende code :
beweren ( coin == KOPPEN | | munt == TAILS ) ;
Dit beweert dat variabele genaamd " munt " moet gelijk zijn aan ofwel " KOPPEN " of wel " TAILS . " Als daarvoor een andere waarde , het programma is in een illegale toestand en de bewering fout zal optreden .
|
