Che cosa è esattamente va_end? È sempre necessario chiamarlo?

Question

va_end - Macro da ripristinare arg_ptr.

Dopo l'accesso a un elenco di argomenti variabili, il puntatore arg_ptr di solito è ripristinato con va_end(). Capisco che sia necessario se vuoi ripetere l'elenco, ma è davvero necessario se non lo fai? È solo una buona pratica, come la regola "avere sempre un default: nel tuo switch"?

Answer 1

va_end viene utilizzato per eseguire la pulizia. Non vuoi distruggere lo stack, vero?

Da man va_start:

va_end()

ogni chiamata va_start() deve essere accompagnata da una corrispondente invocazione di va_end() nella stessa funzione. Dopo la chiamata va_end (ap) la variabile ap non è definita. Sono possibili più attraversamenti dell'elenco, ciascuno tra parentesi con va_start() e va_end(). va_end() può essere una macro o una funzione.

Nota la presenza della parola deve.

Lo stack potrebbe essere danneggiato perché non si sa cosa sta facendo va_start(). I macro va_* sono pensati per essere trattati come scatole nere. Ogni compilatore su ogni piattaforma può fare tutto ciò che vuole lì. Potrebbe non fare nulla, o potrebbe fare molto.

Alcune ABI passano i primi pochi arg in registri e il resto in pila. A va_arg() ci potrebbe essere più complicato. Puoi cercare in che modo una determinata implementazione fa vararg, che può essere interessante, ma scrivendo codice portatile dovresti trattarli come operazioni opache.

Answer 2

Nell'implementazione comune "parametri passati nello stack", credo che va_end() di solito non è nulla/vuoto/null. Tuttavia, su piattaforme che hanno schemi meno tradizionali, diventa necessario. È una "buona pratica" includerla per rimanere neutrale rispetto alla piattaforma.

Answer 3

Su Linux x86-64 è possibile eseguire solo una traversata su una variabile va_list. Per fare più attraversamenti è necessario prima copiarlo usando va_copy. man va_copy spiega i dettagli:

va_copy()

Un ovvio attuazione avrebbe un va_list essere un puntatore alla cornice pila della funzione variadic.In una tale configurazione (di gran lunga la più comune) non sembra nulla contro un'assegnazione

va_list aq = ap; 

Purtroppo, ci sono anche sistemi che ne fanno un array di puntatori (di lunghezza 1), e non si ha la necessità

va_list aq; 
    *aq = *ap; 

Infine, nei sistemi in cui sono passati argomenti nei registri, può essere necessaria per va_start() per allocare la memoria, memorizzare gli argomenti lì, e anche un'indicazione di cui argomento è prossimo, in modo che va_arg () può fare il passo attraverso la lista. Ora va_end() può liberare nuovamente la memoria allocata . Per soddisfare questa situazione, C99 aggiunge una va_copy macro(), in modo che l'assegnazione sopra può essere sostituito da

va_list aq; 
    va_copy(aq, ap); 
    ... 
    va_end(aq); 

ogni chiamata va_copy() deve essere accompagnata da una corrispondente invoca- zione di va_end() nella stessa funzione. Alcuni sistemi che non forniscono va_copy() hanno invece __va_copy, poiché quello era il nome utilizzato nella proposta di bozza .