Kdo určuje, zda je povolené umístit určitý objekt do paměti?

Alokace objektů v paměti v Go (Golang) je určena kompilátorem a běhovým prostředím.

• Kompilátor rozhodne, kde umístit proměnnou: na zásobník nebo na haldu, na základě analýzy jejího rozsahu a životnosti (analýza úniku).
• Pokud proměnná „unikne“ z funkce (například je vrácena nebo použita po opuštění funkce), je umístěna na haldě.
• Jinak je umístěna na zásobník, což je rychlejší.

Tímto způsobem rozhodnutí o umístění objektu v paměti přijímá kompilátor v době kompilace, a běhové prostředí spravuje alokaci a sběr odpadu pro objekty na haldě.