Kde se nachází proměnná, když je zvýrazněna v gorutině?

Proměnná může být přiřazena jak na zásobník gorutiny, tak na haldu. To je určeno mechanismem escape analysis (analýza úniku) kompilátoru Go.

Základní principy escape analysis:

• Pokud kompilátor dokáže prokázat, že proměnná žije pouze v rámci jednoho volání funkce nebo pouze v rámci zásobníku jedné gorutiny (tj. není na ni odkazováno zvenčí), je přiřazena na zásobník této gorutiny. To je rychlejší, protože zásobník je spravován automaticky a nevyžaduje sběr odpadu.
• Pokud kompilátor nedokáže prokázat, že proměnná je omezena na zásobník, nebo pokud na ni existují odkazy zvenčí (například předáním ukazatele do jiné funkce, zápisem do globální proměnné, vrácením z funkce přes ukazatel), je přiřazena na haldu. Haldy vyžadují sběr odpadu, což může zpomalit výkon.

Příklad přiřazení na zásobník:

// Proměnná 'x' je přiřazena na zásobník gorutiny, protože je používána pouze uvnitř funkce.
func exampleStack() int {
	x := 10
	return x
}

Příklad přiřazení na haldu:

// Proměnná 'p' (ukazatel na int) a int, na který ukazuje, mohou být přiřazeny na haldu.
// To se děje, protože ukazatel je vrácen z funkce a může být použit zvenčí.
func exampleHeap() *int {
	x := 20 // Hodnota 20 může být přiřazena na haldu
	return &x // Vracíme adresu proměnné x
}

Escape analysis probíhá při kompilaci. Může být ověřena pomocí vlajky -gcflags "-m":

// Překlad s analýzou úniku
go build -gcflags "-m" your_package_name

Výstup kompilátoru ukáže, které proměnné "escape to heap".

Tedy, umístění proměnné (zásobník vs halda) není určeno tím, zda je proměnná přiřazena do gorutiny, ale tím, jak Go kompilátor analyzuje její životní cyklus a rozsah.