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

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

Условия, при которых происходит выделение в heap:

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

Компилятор Go выполняет escape-анализ, чтобы определить, какие переменные нужно размещать в куче, а какие — на стеке.

Пример:

func f() *int {
    x := 10
    return &x // x "убегает" в heap, так как возвращается указатель
}

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