Perché main non restituisce 0 qui?

Question

Stavo leggendo

ISO/IEC 9899: 201x Comitato Progetto - 12 Aprile 2011

in cui ho trovato sotto cessazione 5.1.2.2.3 programma

..reaching the } that terminates the main function returns a value of 0. 

significa se non si specifica alcuna dichiarazione di reso in main() e se il programma viene eseguito correttamente, alla parentesi di chiusura} di main verrà restituito 0.

Ma nel foll grazie codice che non si specifica alcuna dichiarazione di ritorno, ma non restituisce 0

#include<stdio.h> 
int sum(int a,int b) 
{ 
return (a + b); 
} 

int main() 
{ 
    int a=10; 
    int b=5; 
    int ans;  
    ans=sum(a,b); 
    printf("sum is %d",ans); 
} 

compilare

gcc test.c 
./a.out 
sum is 15 
echo $? 
9   // here it should be 0 but it shows 9 why? 

Answer 1

Tale regola è stata aggiunta nella versione del 1999 dello standard C. In C90, lo stato restituito non è definito.

È possibile abilitare il passaggio da -std=c99 a gcc.

Come nota a margine, è interessante restituire 9 perché è il risultato di printf che ha appena scritto 9 caratteri.

Answer 2

Restituisce il valore restituito di printf che è il numero di caratteri realmente stampato.

Answer 3

Il valore restituito da una funzione è normalmente memorizzato nel registro eax della CPU, quindi l'istruzione "return 4;" di solito compilare in

mov eax, 4; 
ret; 

e tornare x (a seconda del compilatore) sarebbe qualcosa di simile:

mov eax, [ebp + 4]; 
ret; 

se non si specifica un valore di ritorno il compilatore sarà ancora sputare il " ret "ma non cambia il valore di eax. Quindi il chiamante penserà che ciò che è rimasto nel registro eax in precedenza è il valore di ritorno. Per questo esempio, di solito è il valore di ritorno printf, ma diversi compilatori genereranno un codice macchina diverso e useranno alcuni registri in modo diverso.

Questa è una spiegazione semplificata, le diverse convenzioni di chiamata e le piattaforme di destinazione svolgeranno un ruolo fondamentale, ma dovrebbero essere sufficienti informazioni per spiegare cosa sta succedendo "dietro le quinte" nel tuo esempio.

Se hai una conoscenza di base dell'assembler, vale la pena confrontare lo smontaggio di diversi compilatori. Potresti scoprire che alcuni compilatori stanno cancellando il registro eax come salvaguardia.