Jak stworzyć stos funkcji w C/C++

Question

void a()
{
	b();
}

void b()
{

}

int main()
{
	a();

    return 0;
}

W tym prostym programie, jak dobrze rozumiem zachodzi coś takiego:

1) start programu, dodanie funkcji main do stosu

2) wywołanie a() -> dodanie a do stosu

3) wywołanie b() z wewnątrz a -> dodanie b do stosu

4) zakończenie b -> usunięcie b ze stosu, kontynuujemy najwyższą funkcję na stosie czyli a

5) zakończenie a -> usunięcie a ze stosu, kontynuujemy najwyższą funkcję na stosie czyli main

6) zakończenie main -> usunięcie main ze stosu. Jako że stos jest pusty, kończymy program.

 

Moje pytanie: W jaki sposób można zaimplementować to tak, aby w momencie wykonywania punktu 5, po powrocie do funkcji main nie wywoływała się ona od początku, tylko od momentu w którym zakończyła, kiedy program z niej wychodził?

Przykładowe rozwiązanie, choć nie wiem jak je wykonać:

W momencie wyjścia z funkcji, zastąp funkcję do której wchodzisz jakimś GOTO: statement, potem trzymaj w stosie wskaźniki do funkcji & wskaźniki do tych GOTO.

Nie wiem czy tak można, w C++ jestem dość nowy.

 

Głównie pytam z ciekawości: jak to działa i czy da się takie coś zaimplementować samemu w C/C++, np aby przedefiniować przez co rozumiem zakończenie funkcji

Answer 1

"po powrocie do funkcji main nie wywoływała się ona od początku, tylko od momentu w którym zakończyła"

Ale tak się właśnie dzieje.

main()
{
   cout<<"a";
   a();
   cout<<"a";
}

wyjście to będzie "aa" a nie "aaa".

Comments

Wiem, chciałbym taki mechanizm stworzyć samemu/jestem ciekaw jak to jest zrobionę, bo sam nie mogę wymyślić działającego rozwiązania z moimi umiejętnościami w C++

Btw jakby main zaczynał od zera, to byłaby nieskończona pętla ;)

---

Okej, teraz rozumiem o co chodzi. Warto się tutaj zainteresować tym jak realizowane jest wywołanie funkcji w assemblerze. Nie wiem czy jest jakaś prosta metoda na zrobienie tego bez assemblerowych wstawek bo to tak naprawdę opiera się na jakiś niskopoziomowych operacjach.

---

Wiem, chciałbym taki mechanizm stworzyć samemu/jestem ciekaw jak to jest zrobionę,

W chwili wywołania funkcji na stos jest wrzucany adres powrotu (czyli adres następnej instrukcji). Potem w chwili zakończenia działania funkcji ten adres jest wykorzystywany.

---

Czy da się jakoś manipulować adresem instrukcji? np Trzymać go jako zmienną w programie/idź_do_instrukcji_o_adresie(adres)

 Troszkę nie ogarniam, mógłbyś może podać co wpisać w googla żeby się więcej dowiedzieć na ten temat?

---

Czy da się jakoś manipulować adresem instrukcji?

Tak, tylko po co? Zły adres spowoduje wywalenie się programu.

Trzymać go jako zmienną w programie/idź_do_instrukcji_o_adresie(adres)

Można wszystko, ale trzeba znać assembly.

Troszkę nie ogarniam, mógłbyś może podać co wpisać w googla żeby się więcej dowiedzieć na ten temat?

Poucz się trochę assembly a temat sam się rozjaśni.

---

Ja jeszcze tylko podrzucę coś, co może się przydać - tutaj troszkę na temat konwencji wywołania funkcji w C++.