Къде се намира променливата, когато е подчертана в горутина?

Променлива може да бъде разпределена както в стека на горутината, така и в купчината. Това се определя от механизма на escape analysis (анализ на изтичане) на компилатора Go.

Основни принципи на escape analysis:

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

Пример за разпределение в стека:

// Променливата 'x' се разпределя в стека на горутината, тъй като се използва само вътре във функцията.
func exampleStack() int {
	x := 10
	return x
}

Пример за разпределение в купчината:

// Променливата 'p' (указател към int) и int, към който сочи, могат да бъдат разпределени в купчината.
// Това се случва, защото указателят се връща от функцията и може да се използва отвън.
func exampleHeap() *int {
	x := 20 // Стойността 20 може да бъде разпределена в купчината
	return &x // Връщаме адреса на променливата x
}

Escape analysis се извършва по време на компилация. Може да бъде проверена, използвайки флага -gcflags "-m":

// Компилация с флаг за анализ на изтичане
go build -gcflags "-m" your_package_name

Изходът на компилатора ще покаже кои променливи "escape to heap".

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