Может кто-то прояснить этот код?

Question

У меня есть сомнения в самых основах C.

• Я написал следующий код. Здесь, в функции add(), я ничего не возвращаю и поэтому ожидал, что выход будет какой-то ненужной или что-то вроде этого, но это не произошло. Может ли кто-нибудь объяснить мне, почему это так происходит? Пожалуйста, извините меня, если я написал что-то неправильно в коде.
• Насколько я понимаю, я думал, что память для переменной add1 будет из стека, и, как только будет выполнена add(), вся выделенная память будет освобождена, поэтому будет отображаться некоторое значение нежелательной почты.
• Мое ясное сомнение не возвращает ничего, как он может напечатать правильное значение?

Пример кода:

main() { 
    int x = 4, sum; 
    int n; 

    printf(" enter a number \n"); 
    scanf("%d", &n); 

    sum = add(x, n); 

    printf(" total sum = %d\n", sum); 
} 


add(int x, int n) { 
    int add1 = 0; 

    add1 = x + n; 

    //return(add1); 
} 

Answer 1

Это неопределенное поведение.

Если вы не укажете, что возвращает функция, по умолчанию будет установлено значение int. Тогда, когда у вас нет оператора return, будет не определено, что произойдет. Так что в принципе все может случиться.

Для gcc, он будет во многих системах просто возвращать некоторое «случайное» значение. В вашем случае это просто сумма. Просто «удача».

Всегда включайте предупреждения во время компиляции, например. gcc -Wall и всегда обрабатывать предупреждения, как если бы они были ошибками.

Ваш код должен выглядеть примерно так:

#include <stdio.h> 

int add(int x,int n);  // Corrected 

int main(void) // Corrected 
{ 
    int x=4,sum; 

    int n; 

    printf(" enter a number \n"); 
    scanf("%d",&n); 

    sum = add(x,n); 

    printf(" total sum = %d\n",sum); 

    return 0;  // Corrected 
} 


int add(int x,int n)  // Corrected 
{ 

    int add1=0; 

    add1 = x+n; 

    return add1;  // Removed the // to uncomment and removed unnecessary() 
} 

Answer 2

Как уже говорилось ранее, это неопределенное поведение, и вы не должны полагаться на него.

Однако, существует какая-то логика того, что происходит. Возвращаемое значение для функции, по соглашению, сохраняется в регистре eax на x86 или в регистре rax на x86_64. Просто бывает, что ваш компилятор также использует регистр eax или rax для хранения вычисленного значения. Кроме того, поскольку тип возврата add() не указан, он неявно определяется как int.