Почему main не возвращает здесь 0?

Я просто читал

ISO / IEC 9899: проект комитета 201x - 12 апреля 2011 г.

в котором я нашел в разделе 5.1.2.2.3 Прекращение программы

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

это означает, что если вы не укажете какой-либо оператор return в main(), и если программа будет успешно выполнена, то в закрывающей скобке} main вернет 0.

Но в следующем коде я не указываю никакого оператора возврата, но он не возвращает 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);
}

компиляции

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

Это правило было добавлено в версию стандарта C. В C90 возвращаемый статус не определен.

Вы можете включить его, перейдя -std=c99в gcc.

В качестве примечания, что интересно, возвращается 9, потому что это возврат, printfкоторый только что написал 9 символов.

Он возвращает возвращаемое значение, printfкоторое является количеством действительно распечатанных символов.

Значение, возвращаемое функцией, обычно сохраняется в регистре eax процессора, поэтому оператор return 4; обычно компилируется в

mov eax, 4;
ret;

и вернуть x (в зависимости от вашего компилятора) будет примерно так:

mov eax, [ebp + 4];
ret;

если вы не укажете возвращаемое значение, компилятор все равно выдаст "ret", но не изменит значение eax. Таким образом, вызывающий будет думать, что все, что было ранее оставлено в регистре eax, является возвращаемым значением. В этом примере обычно будет возвращаемое значение printf, но разные компиляторы будут генерировать другой машинный код и по-разному использовать некоторые регистры.

Это упрощенное объяснение, различные соглашения о вызовах и целевые платформы будут играть жизненно важную роль, но этой информации должно быть достаточно, чтобы объяснить, что происходит «за кулисами» в вашем примере.

Если у вас есть базовые представления об ассемблере, стоит сравнить дизассемблирование разных компиляторов. Вы можете обнаружить, что некоторые компиляторы очищают регистр eax в качестве меры предосторожности.