due casi durante il tentativo di stampare NULL, si lavora, altre segfaults

Question

Nel seguente:

printf("Example%s\n",NULL); 
printf("%s\n",NULL); 

Ho l'output come:

Example(null) 
Segmentation Fault 

Quando ho provato backtrace in GDB si dimostra printf() è convertito in puts(). Ma non riesco a capire perché questo accada.

BTW Ho trovato l'articolo this ma non riesco ancora a dare un senso.

Answer 1

La norma dice che passando un puntatore NULL come argomento di un printf con %s identificatore è un comportamento indefinito (vale a dire tutto può succedere), in modo da entrambi i comportamenti sono leciti.

Nel primo caso, la libreria standard (in particolare, il codice printf) ti sta facendo un favore stampando (null).

Nel secondo caso, l'ottimizzatore comprende che il tuo printf può essere sostituito da un puts (che è più efficiente) senza alcuna modifica al "comportamento osservabile" del programma, e quindi lo sostituisce. Ma, puts non contiene il codice di controllo NULL di printf e pertanto si verifica un errore di segmentazione.

---

1. C99, §7.19.6.1, ¶8:

   l'argomento sarà un puntatore all'elemento iniziale di un array di tipo carattere.

   ¶9:

   Se uno degli argomenti non è del tipo corretto per la specifica di conversione corrispondente, il comportamento è indefinito.

   si rientra in quest'ultimo caso, a causa NULL non è "un puntatore al primo elemento di un array di tipo carattere.