Как работает механизм стека вызовов при запуске функции в программе?

При запуске функции в программе создаётся новый фрейм (кадр) стека вызовов. Этот фрейм содержит адрес возврата (куда нужно вернуться после завершения функции), параметры функции, локальные переменные и другую служебную информацию.

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

В Go стек вызовов динамически расширяется при необходимости, что позволяет эффективно управлять памятью при глубоком рекурсивном вызове или большом количестве вызовов функций.

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

func foo() {
    bar()
}

func bar() {
    // тело функции
}

func main() {
    foo() // при вызове foo создаётся фрейм, внутри foo вызывается bar — создаётся ещё один фрейм
}