Esiste una garanzia per lo svuotamento automatico dello stdout prima dell'uscita? Come funziona?

Question

Ecco il codice (valido C e C++)

#include <stdio.h> 

int main() { 
    printf("asfd"); 
    // LINE 1 
    return 0; 
} 

Se in linea 1 ho messo va in segfault espressione del programma sarebbe appena in crash senza stampare nulla (come previsto).

Ma perché il codice sopra riportato stampa "asdf" e non esce senza che il buffer venga svuotato? Cosa è sotto il cofano e perché funziona come previsto?

Answer 1

Questo si ottiene queste due sezioni del linguaggio C++ specifica:

[basic.start.main]

Una dichiarazione di ritorno nel main ha l'effetto di lasciare la funzione principale e chiamando exit con il valore restituito come argomento.

e

[lib.support.start.term]

La funzione exit ha un comportamento aggiuntivo nella presente norma internazionale:

• ...
• Successivamente, tutti i flussi C aperti con dati buffer non scritti ar e arrossì.
• ...

Answer 2

Quando si esce da main(), tutti gli stream aperti sono chiusi ... per includere stdout. La chiusura del flusso aperto svuota stdout e ciò che è stato scritto sul buffer viene eseguito con o senza la nuova riga.

Answer 3

In generale, un ritorno da main non è la fine del programma, né è l'ingresso al main l'inizio.

In genere, il linker che crea l'eseguibile finale per il programma contrassegna una posizione, forse denominata start, come il luogo in cui deve iniziare l'esecuzione. Quando il sistema operativo carica il programma e inizia a eseguirlo, inizia l'esecuzione in questo punto. Esiste un codice che crea un ambiente: crea uno stack, imposta stati del flusso, eccetera. Quindi questo codice chiama main.

Quando restituisce main, si torna a questo codice speciale. Tale codice esegue quindi vari lavori di pulizia richiesti alla fine di un programma C o C++, come descritto in this answer.

Se un programma viene interrotto bruscamente, questo codice finale potrebbe non essere eseguito.