Assert.h: differenze tra le versioni

Versione delle 19:26, 29 apr 2019

Versione delle 07:33, 9 ago 2020

Riga 1:

{{LIBRERIA-STANDAR-C}}

{{Libreria_standard_C}}

{{titoloTITOLO minuscoloMINUSCOLO}}

'''assertASSET.hH''' èÈ lL'[[headerHEADER fileFILE]] dellaDELLA [[libreriaLIBRERIA standardSTANDARD delDEL C]] cheCHE definisceDEFINISCE laLA macroMACRO <codeCODE>assertASSET()</codeCODE>. QuestaQUESTA macroMACRO implementaIMPLEMENTA unUN sistemaSISTEMA diDI controllo delleCONTROLLO DELLE [[asserzioneASSERZIONE logicaLOGICA|asserzioniASSERZIONI]], cheCHE PUÒ puòESSERE essereUTILIZZATO utilizzato perPER verificareVERIFICARE eE controllareCONTROLLARE lL'eventualeEVENTUALE verificarsiVERIFICARSI diDI casiCASI "impossibiliIMPOSSIBILI" nelNEL programmaPROGRAMMA.

{| classCLASSE="wikitableWIKITABLE"

|- bgcolorBGCOLOR=#e9e9e9E9E9E9

! NomeNOME || DescrizioneDESCRIZIONE

|-

|<codeCODE>assertASSET</codeCODE>|| QuandoQUANDO questaQUESTA macroMACRO vieneVIENE eseguitaESEGUITA, essaESSA computaCOMPUTA ilIL risultatoRISULTATO dellDELL'espressioneESPRESSIONE fornìtaleFRONTALE: seSE essaESSA risultaRISULTA essereESSERE falsaFALSA (inIN altreALTRE parolePAROLE, seSE ilIL valoreVALORE finaleFINALE risultaRISULTA essereESSERE 0), <codeCODE>assertASSET</codeCODE> scriveSCRIVE alcuneALCUNE informazioniINFORMAZIONI diDI [[debugDEBUG]] suSU <codeCODE>stderrSTDERR</codeCODE> eE, successivamenteSUCCESSIVAMENTE, richiamaRICHIAMA laLA funzioneFUNZIONE <codeCODE>abortABORT()</codeCODE>. Le informazioni riportate suLE stderrINFORMAZIONI includonoRIPORTATE SU STDERR INCLUDONO:

* ilIL testoTESTO dellDELL'espressioneESPRESSIONE cheCHE haHA fornitoFORNITO ilIL risultatoRISULTATO 0

* ilIL nomeNOME delDEL fileFILE sorgenteSORGENTE (laLA macroMACRO predefinitaPREDEFINITA __FILE__FILE)

* IL NUMERO DELLA LINEA IN CUI SI È FALLITA L'ASSERZIONE (LA MACRO PREDEFINITA LINEA

* il numero della linea in cui si è fallita l'asserzione (la macro predefinita __LINE__)

|}

L'UTILITÀ DELLA MACRO <CODE>ASSERT()</CODE> RISIEDE NELLA SEMPLICITÀ CON LA QUALE SI PUÒ VERIFICARE UN'AFFERMAZIONE CHE SI RITIENE, IN UN DATO CONTESTO, BANALMENTE OVVIA: AD ESEMPIO, RICONTROLLARE IL VALORE DI UNA VARIABILE SULLA QUALE SI SONO GIÀ EFFETTUATE DELLE VERIFICHE. NEL CODICE CHE SEGUE, LA MACRO <CODE>ASSERT()</CODE> VIENE UTILIZZATA PER CONTROLLARE CHE IL IL VALORE DELLA VARIABILE "SCELTA" SIA EFFETTIVAMENTE COMPRESO NEL RANGER VALIDO, NONOSTANTE L'USCITA DAL CICLO WHILE IMPLICITAMENTE AFFERMI LA VERIDICITÀ DI QUESTA CONDIZIONE.

L'utilità della macro <code>assert()</code> risiede nella semplicità con la quale si può verificare un'affermazione che si ritiene, in un dato contesto, banalmente ovvia: ad esempio, ricontrollare il valore di una variabile sulla quale si sono già effettuate delle verifiche. Nel codice che segue, la macro <code>assert()</code> viene utilizzata per controllare che il valore della variabile "scelta" sia effettivamente compreso nel range valido, nonostante l'uscita dal ciclo while implicitamente affermi la veridicità di questa condizione.

intINT sceltaSCELTA = 0;

do {

/* VisualizzoVISUALIZZO unUN menuMENU conCON 4 scelteSCELTE numerateNUMERATE da 1 a 4 */

scanfSCANF("%d", &sceltaSCELTA);

} whileWHILE (sceltaSCELTA<1 || sceltaSCELTA>4);

/* PrimoPRIMO bloccoBLOCCO diDI operazioniOPERAZIONI eseguiteESEGUITE inIN baseBASE alAL valoreVALORE sceltoSCELTO */

assertASSET(sceltaSCELTA>=1 && sceltaSCELTA <=4);

/* SecondoSECONDO bloccoBLOCCO diDI operazioniOPERAZIONI eseguiteESEGUITE IN in baseBASE alAL valoreVALORE sceltoSCELTO */

UTILIZZANDO <CODE>ASSERT()</CODE>, IL PROGRAMMATORE SI ACCERTA NUOVAMENTE CHE LA CONDIZIONE CHE AVEVA PROVOCATO L'USCITA DAL CICLO CICLO WHITE SIA ANCORA VERA: IN QUESTO CASO, AD ESEMPIO, VERIFICA DI NON AVER ACCIDENTALMENTE MODIFICATO IL VALORE DELLA VARIABILE <CODE>SCELTA</CODE> ALL'INTERNO DEL PRIMO BLOCCO DI OPERAZIONI.<BR />

Utilizzando <code>assert()</code>, il programmatore si accerta nuovamente che la condizione che aveva provocato l'uscita dal ciclo while sia ancora vera: in questo caso, ad esempio, verifica di non aver accidentalmente modificato il valore della variabile <code>scelta</code> all'interno del primo blocco di operazioni.<br />

L'UTILIZZO DI <CODE>ASSERT()</CODE> DOVREBBE ESSERE LIMITATO ALLA SOLA FASE DI SVILUPPO DI UN PROGRAMMA: PER LA BRUTALITÀ DEL METODO DI CHIUSURA DELL'ESEGUIBILE E PER LA SCARSEZZA DI INFORMAZIONI SULL'ERRORE FORNITE A VIDEO, RISULTEREBBE ABBASTANZA FRUSTRANTE PER L'UTENTE FINALE SE UTILIZZATO NELLA VERSIONE DEFINITIVA DI UN APPLICATIVO. BUONA PROGRAMMAZIONE VORREBBE, INFATTI, CHE VENGA SPIEGATO ALL'UTENTE QUALE CAUSA ABBIA SCATENATO IL PROBLEMA E, NEL CASO NON FOSSE POSSIBILE PROSEGUIRE L'ESECUZIONE, ALMENO PERMETTERE UN SALVATAGGIO PARZIALE DELLO STATO DEL PROGRAMMA. PER QUESTO, UN CODICE SIMILE A:

L'utilizzo di <code>assert()</code> dovrebbe essere limitato alla sola fase di sviluppo di un programma: per la brutalità del metodo di chiusura dell'eseguibile e per la scarsezza di informazioni sull'errore fornite a video, risulterebbe abbastanza frustrante per l'utente finale se utilizzato nella versione definitiva di un applicativo. Buona programmazione vorrebbe, infatti, che venga spiegato all'utente quale causa abbia scatenato il problema e, nel caso non fosse possibile proseguirne l'esecuzione, almeno permettere un salvataggio parziale dello stato del programma. Per questo, un codice simile a:

intINT *ptrPTR = mallocMALLOC(sizeofSIZEOF(intINT) * 10);

assertASSERT(ptr PTR!= NULL);

/* utilizzoUTILIZZO diDI ptrPTR */

NON RAPPRESENTA UN USO OTTIMALE DI <CODE>ASSERT()</CODE>, PERCHÉ, ANCHE SE RARAMENTE, È POSSIBILE CHE UN[[ALLOCAZIONE DINAMICA DELLA MEMORIA|ALLOCAZIONE DINAMICA DI MEMORIA]] FALLISCA.

non rappresenta un uso ottimale di <code>assert()</code>, perché, anche se raramente, è possibile che un'[[allocazione dinamica della memoria|allocazione dinamica di memoria]] fallisca.

QuandoQUANDO ilIL programmatorePROGRAMMATORE nonNON haHA piùPIÙ bisognoBISOGNO delleDELLE asserzioniASSERZIONI, inveceINVECE diDI eliminarleELIMINARLE tutteTUTTE manualmenteMANUALMENTE puòPUÒ definireDEFINIRE laLA costanteCOSTANTE <codeCODE>NDEBUG</codeCODE> primaPRIMA diDI includereINCLUDERE nelNEL fileFILE sorgenteSORGENTE lL'headerHEADER <codeCODE>assertASSERT.hH</codeCODE>: inIN questoQUESTO modoMODO, laLA macroMACRO <codeCODE>assertASSERT()</codeCODE> vieneVIENE espansaESPANSA semplicementeSEMPLICEMENTE in:

#define#DEFINE assertASSERT(ignoreIGNORE)((voidVOID) 0)

ELIMINANDO QUINDI TUTTE LE POSSIBILI INTERAZIONI CON IL PROGRAMMA. BISOGNA QUINDI FAR NOTARE CHE, IN

eliminando quindi tutte le possibili interazioni con il programma. Bisogna quindi far notare che, in questo caso, l'espressione passata ad <code>assert()</code> non viene valutata. Come espressioni inserite all'interno di <code>assert()</code> vanno quindi assolutamente evitate quelle con effetti collaterali, come ad esempio

QUESTO CASO, L'ESPRESSIONE PASSATA AD <CODE>ASSERT()</CODE> NON VIENE VALUTATA. COME ESPRESSIONI INSERITE ALL'INTERNO DI <CODE>ASSERT()</CODE> VANNO QUINDI ASSOLUTAMENTE EVITATE QUELLE CON EFFETTI COLLATERALI, COME AD ESEMPIO

assertASSERT(*iI++);

che finirebbero per modificare la logica del programma a seconda della definizione o meno della costante <code>NDEBUG</code>. In questo esempio, infatti, al termine della verifica dell'asserzione, il valore del puntatore <code>i</code> risulterebbe incrementato di una unità nel caso <code>NDEBUG</code> non sia definito, mentre resterebbe inalterato nel caso opposto.

CHE FINIREBBERO PER MODIFICARE LA LOGICA DEL PROGRAMMA A SECONDA DELLA DEFINIZIONE O MENO DELLA COSTANTE <CODE>NDEBUG</CODE>. IN QUESTO ESEMPIO, INFATTI, AL TERMINE DELLA VERIFICA DELL'INSERZIONE, IL VALORE DEL PUNTATORE <CODE>i</CODE> RISULTEREBBE INCREMENTATO DI UNA UNITÀ NEL CASO <CODE>NDEBUG</CODE> NON SIA DEFINITO, MENTRE RESTEREBBE INALTERATO NEL CASO OPPOSTO.

== Voci correlate ==