Dlaczego główna funkcja bez instrukcji return zwraca wartość 12?

Question

Napisałem program, który drukuje tabelę. Nie zawarłem składni powrotu w funkcji głównej, ale nadal za każdym razem, gdy wpisuję echo $? wyświetla 12.

mojego kodu źródłowego:

#include <stdio.h> 


int main(void) 
{ 
    int ans,i,n; 
    printf("enter the no. : "); 
    scanf("%d",&n); 

    for(i=1;i<=10;i++) 
    { 
     ans = n*i; 
     printf("%d * %d = %d\n",n,i,ans); 
    } 
} 

nie pisałem powrotny 12, ale wciąż powraca 12 za każdym razem jak wykonać program.

Dzięki.

Answer 1

Jak mówi swegi, jest to niezdefiniowane zachowanie. Jak Steve Jessop wsp powiedzieć, że to nieokreślone zachowanie przed C99, oraz określone w C99 (obserwowane zachowanie jest non-conformant do C99)

Co właściwie dzieje się w większości środowisk jest to, że wartość zwracana z ostatniego printf pozostało w rejestrze używanym do zwracania wartości.

Więc to będzie 11 dla n == 0, 12 jeśli n jest jedna cyfra, 14 dla dwóch cyfr n 16 za trzy cyfry n itd

Answer 2

niezdefiniowane zachowanie

Answer 3

Jeśli w ogóle zna asemblerze, można przypomnieć, że „wartość zwracana” z funkcji jest przekazywana poprzez rejestr EAX.

W tym przypadku wartość zwracana jest odczytywana z EAX. Który w tym przypadku przypadkiem jest 12.

Jednak nie określasz wyraźnie tej wartości, jest to po prostu artefakt od reszty kodu (lub może po prostu przypadek).

Jak już powiedziano, jest to zdecydowanie undefined behavior. Jeśli jesteś po prostu ciekawy, dlaczego tak się dzieje, rozważ to wyjaśnienie.

Ale pod żadnym pozorem nie wolno próbować używać tej wartości jako znaczącej.

Answer 4

Twój program jest przyczyną niezdefiniowanej zachowanie przez nie wraca cokolwiek, kiedy powinno, w związku z tym osoba wywołująca generalnie będzie chwytała to, co kiedykolwiek wartość rejestru eax (na x86, rax na x64) jest w momencie powrotu procedury, co jest ogólnie bzdurą od ostatniego użycia eax (przez funkcje zwracające wartości lub tylko rejestry oparte na vars), w tym przypadku prawdopodobnie ilość znaków char, które printf zapisał na stdoutowym buforze

Answer 5

Odpowiedzi, ponieważ wszystkie istniejące odpowiedzi mówią, że jest to niezdefiniowane zachowanie, co nie jest prawdą, więc nie mam nic C uprowadzenie.

w C89 (dzięki PMG w odniesieniu do draft standard) 5.1.2.2.3:

Powrót z pierwszego połączenia do głównych funkcji jest równoważne wywołaniu funkcji wyjścia z wartość zwrócona przez funkcję główną jako jej argument. Jeśli zostanie osiągnięte} , które kończy działanie głównej funkcji, stan zakończenia powracający do środowiska hosta to nieokreślony.

W C99, cytując za pomocą n1256, 5.1.2.2.3:

Jeśli zwracany typ głównego funkcji jest typ zgodny z int, powrót z początkowego wywołania główną funkcją jest równoważna wywołując funkcję wyjścia z wartością zwróconej przez główna funkcja jako jego argument; docierając do}, że kończy się, funkcja główna zwraca wartość 0. Jeśli typ powrotu nie jest kompatybilny z int, stan zakończenia zwrócono do środowiska hosta środowisko nie jest określone.

Tak, to nie jest „niezdefiniowane zachowanie”: zachowuje się jak gdyby main zwrotów funkcyjnych, ale w C89 zwrócona wartość nie jest określona przez standard. W przypadku twojego przykładowego programu, na twojej implementacji, zwracana wartość wydaje się konsekwentnie wynosić 12, prawdopodobnie z powodu, dla którego mówi Ben Voigt. Skoro jesteś na Linuksie, prawdopodobnie nie jest to duża zmiana, aby skompilować twój kod jako C99 (lub zresztą skompilować go przy użyciu prawie zgodnego z GCC trybu C99).

dowolną funkcję, która zwraca wartość, inne niż main to jest niezdefiniowane zachowanie chyba rozmówca nie wykorzystuje wartość powrotną (n1256, 6.9.1/12):

Jeśli}, który kończy działanie, osiąga wartość , a wywołanie funkcji wywołuje funkcję , zachowanie jest niezdefiniowane.

Nie jestem pewien, czy początkowe połączenie z numerem main należy wymienić jako wyłączone z tej ogólnej zasady. Nie musi to być: z POV standardu, że wywołanie nie ma wywołującego, więc myślę, że wartość wywołania funkcji nie jest "używana przez wywołującego", mimo że staje się stanem zakończenia dla programu.