В каких ситуациях выделение памяти происходит автоматически в стеке при выполнении программы?

В Go выделение памяти в стеке происходит автоматически для локальных переменных, которые:

• Имеют ограниченную область видимости (например, объявлены внутри функции).
• Не выходят за пределы функции (не передаются по ссылке или не сохраняются в куче).

Компилятор Go анализирует использование переменных и решает, где их размещать: в стеке или в куче. Если переменная не «уходит» за пределы функции, она размещается в стеке, что быстрее и эффективнее.

Пример:

func foo() {
    x := 10 // x выделяется в стеке
    fmt.Println(x)
}

Если же переменная возвращается из функции или сохраняется в замыкании, она будет выделена в куче.

Таким образом, автоматическое выделение в стеке происходит для локальных переменных с ограниченной областью видимости и временем жизни, что оптимизирует работу программы.