Я просто читал
Проект ИСО/МЭК 9899: 201x - 12 апреля 2011 г.
в котором я нашел в соответствии с 5.1.2.2.3 Окончание программы
..reaching the } that terminates the main function returns a value of 0.
это означает, что если вы не укажете какой-либо оператор возврата в main(), и если программа выполняется успешно, то в закрывающей скобке} main вернет 0.
Но в следующем коде я не указываю никакого оператора return, но он не возвращает 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?
Ответ 1
Это правило было добавлено в версии стандарта стандарта C 1999 года. В C90 возвращается статус undefined.
Вы можете включить его, передав -std=c99 в gcc.
В качестве побочной заметки интересно 9 возвращается, потому что это возврат printf, который только что написал 9 символов.
Ответ 2
Возвращает возвращаемое значение printf, в котором действительно напечатано количество символов.
Ответ 3
Возвращаемое значение функции обычно сохраняется в регистре eax процессора, поэтому оператор "return 4;" обычно компилируется на
mov eax, 4;
ret;
и return x (в зависимости от вашего компилятора) будет что-то вроде:
mov eax, [ebp + 4];
ret;
если вы не укажете возвращаемое значение, тогда компилятор все равно выплюнет "ret", но не изменит значение eax. Таким образом, вызывающий может подумать, что ранее в регистре eax ранее было возвращаемое значение. Для этого примера обычно будет возвращаемое значение printf, но разные компиляторы будут генерировать разные машинные коды и использовать некоторые регистры по-разному.
Это упрощенное объяснение, различные вызовы и целевые платформы будут играть жизненно важную роль, но для этого достаточно информации, чтобы объяснить, что происходит "за кадром" в вашем примере.
Если у вас есть базовое понимание ассемблера, стоит сравнить разборку разных компиляторов. Вы можете обнаружить, что некоторые компиляторы очищают регистр eax как гарантию.
