Какие действия выполняются в стеке при запуске функции в программе?

При запуске функции в программе на Go (и в большинстве языков с поддержкой стека вызовов) в стеке происходит следующее:

1. Выделяется фрейм стека (stack frame) — область памяти для хранения локальных переменных функции, параметров и адреса возврата.
2. Сохраняется адрес возврата — чтобы после завершения функции программа могла продолжить выполнение с правильного места.
3. Копируются параметры функции — значения аргументов передаются в новый фрейм.
4. Инициализируются локальные переменные — выделяется память и, если нужно, задаются начальные значения.

После выполнения функции фрейм стека удаляется, и управление возвращается по сохранённому адресу.

Пример (упрощённо):

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

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

При вызове add в стеке создаётся фрейм с параметрами a=2, b=3, локальной переменной sum, и адресом возврата в main.