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

В Go автоматичното разпределение на памет от динамичната област (heap) се случва по време на изпълнение на програмата, когато компилаторът или средата за изпълнение определят, че променливата трябва да живее по-дълго от текущата функция или горутина.

Условия, при които се извършва разпределение в heap:

• Ако променливата е уловена в затваряне (closure) и може да се използва след изхода от функцията.
• Ако променливата се връща от функция или се предава на друга горутина.
• Ако компилаторът не може да гарантира, че променливата ще бъде унищожена след изхода от текущата област.

Компилаторът на Go извършва анализ на escape, за да определи кои променливи трябва да бъдат поставени в купчината, а кои на стека.

Пример:

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

Тук x се разпределя в купчината, защото се връща указател към нея и може да се използва извън нейния обхват.