¿Por qué main no devuelve 0 aquí?

Question

Estaba leyendo

ISO/IEC 9899: 201x Comité Proyecto - 12 de abril 2011

en el que he encontrado por resolución 5.1.2.2.3 Programa

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

que significa si no especifica ninguna declaración de devolución en main(), y si el programa se ejecuta con éxito, entonces en el corchete de cierre} de main devolverá 0.

Pero a la vista debido código que no se especifica ninguna instrucción de retorno, sin embargo, no devuelve 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); 
} 

compilar

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

Answer 1

se añadió Esa regla en la versión 1999 de la norma C. En C90, el estado devuelto no está definido.

Puede habilitarlo pasando -std=c99 a gcc.

Como nota al margen, curiosamente se devuelve 9 porque es la devolución de printf que acaba de escribir 9 caracteres.

Answer 2

Devuelve el valor de retorno de printf que es el número de caracteres realmente impreso.

Answer 3

El valor de retorno de una función normalmente se almacena en el registro eax de la CPU, por lo que la declaración "return 4;" por lo general a compilar

mov eax, 4; 
ret; 

yx (dependiendo de su compilador) volver sería algo así como:

mov eax, [ebp + 4]; 
ret; 

si no se especifica un valor de retorno, entonces el compilador todavía escupir el " ret "pero no cambia el valor de eax. Entonces la persona que llama pensará que lo que quedó en el registro eax anteriormente es el valor de retorno. Para este ejemplo, normalmente sería el valor de retorno printf, pero diferentes compiladores generarán diferentes códigos de máquina y usarán algunos registros de manera diferente.

Esta es una explicación simplificada, las diferentes convenciones de llamadas y plataformas de destino jugarán un papel vital, pero debería ser suficiente información para explicar lo que está sucediendo "detrás de escena" en su ejemplo.

Si tiene una comprensión básica del ensamblador, vale la pena comparar el desmontaje de diferentes compiladores. Puede encontrar que algunos compiladores están borrando el registro eax como salvaguarda.