Welke acties worden uitgevoerd in de stack bij het starten van een functie in een programma?

Wanneer een functie wordt aangeroepen in een Go-programma (en in de meeste talen met ondersteuning voor de call stack), gebeurt het volgende:

1. Er wordt een stack frame gereserveerd — een geheugenruimte voor het opslaan van lokale variabelen, parameters en het retouradres.
2. Het retouradres wordt opgeslagen — zodat het programma na het voltooien van de functie verder kan gaan op de juiste plek.
3. De parameters van de functie worden gekopieerd — de argumentwaarden worden overgebracht naar het nieuwe frame.
4. Lokale variabelen worden geïnitialiseerd — er wordt geheugen toegewezen en, indien nodig, worden beginwaarden ingesteld.

Na het uitvoeren van de functie wordt het stack frame verwijderd en keert de controle terug naar het opgeslagen adres.

Voorbeeld (vereenvoudigd):

func add(a, b int) int {
    sum := a + b
    return sum
}

func main() {
    result := add(2, 3)
    fmt.Println(result) // 5
}

Bij het aanroepen van add wordt een frame op de stack gemaakt met de parameters a=2, b=3, de lokale variabele sum en het retouradres in main.