Milyen feltételek mellett történik automatik memóriafoglalás a dinamik területről a program fordítása vagy futtatása során?

Go-ban a dinamikus terület (heap) memóriájának automatikus allokációja a program futása közben történik, amikor a fordító vagy a futásidő meghatározza, hogy egy változónak tovább kell élni a jelenlegi függvénynél vagy gorutinál.

Azokban az esetekben történik a heap-allokáció:

• Ha a változót egy lezárás (closure) elfogja, és a függvény vagy gorutin elhagyása után is használható.
• Ha a változót visszaadják a függvényből vagy átadják egy másik gorutinnak.
• Ha a fordító nem tudja garantálni, hogy a változó meg lesz semmisítve a jelenlegi hatókör elhagyása után.

A Go fordító escape-analízist végez, hogy meghatározza, mely változókat kell a heap-re helyezni, és melyeket a stack-re.

Példa:

func f() *int {
    x := 10
    return &x // x "elszökik" a heap-re, mivel egy mutatót adunk vissza
}

Ebben az esetben az x a heap-re kerül, mert egy mutatója visszaadódik, és azon kívül is használható.