Wskaźniki funkcji - Dlaczego ten kod ulega awarii?

Question

#include <stdio.h> 
int main(void) 
{ 
    int (*fp)(void); 
    printf("Loopy.\n"); 
    fp = &main; //point to main function 
    fp(); //call 'main' 

    return 0; 
} 

Zamiast nieskończenie wykonywać pętlę, "pętla" wykonuje się na około 10-20 sekund na moim komputerze, a następnie otrzymuje standardowy raport awarii aplikacji systemu Windows. Dlaczego to?

Kompilator: GCC IDE: Code :: Blocks OS: Win7 64bit

Answer 1

10..20 sekund jest tak długo, jak długo trwa komputer do przepełnienia stosu.

Nowa ramka stosu jest tworzona za każdym razem, gdy funkcja wywołuje się rekursywnie za pomocą wskaźnika funkcji. Ponieważ wywołanie jest wykonywane pośrednio, kompilator nie ma szansy na zoptymalizowanie wywołania ogona w pętli, więc program w końcu ulega awarii z przepełnieniem stosu.

Jeśli utrwalisz pętlę po określonej liczbie razy, powiedzmy, ustawiając licznik, Twój program będzie działał poprawnie do zakończenia (demo).

#include <stdio.h> 

int counter = 200; 

int main(void) 
{ 
    int (*fp)(void); 
    printf("Loopy %d\n", counter); 
    fp = &main; //point to main function 
    if (counter--) { 
     fp(); //call 'main' 
    } 
    return 0; 
} 

Answer 2

zachowanie jest kompilator zależne może upaść po przepełnienia stosu lub po prostu powiesić tam bez żadnych odpowiedzi, ale jedynym powodem może być pchania zbyt wiele ramek stosu w stosie pamięci