Σε ποιες περιπτώσεις γίνεται αυτόματη διαχείριση μνήμης από την δυναμική περιοχή κατά τη διάρκεια της μεταγλώττισης ή εκτέλεσης του προγράμματος;

Στα Go, η αυτόματη κατανομή μνήμης από το σωρό (heap) συμβαίνει κατά την εκτέλεση του προγράμματος, όταν ο μεταγλωττιστής ή το runtime καθορίζουν ότι μια μεταβλητή πρέπει να ζει περισσότερο από τη τρέχουσα λειτουργία ή goroutine.

Οι συνθήκες υπό τις οποίες γίνεται η κατανομή στο heap:

• Αν η μεταβλητή πιαστεί σε ένα κλείσιμο (closure) και μπορεί να χρησιμοποιηθεί μετά την έξοδο από τη λειτουργία.
• Αν η μεταβλητή επιστρέφεται από τη λειτουργία ή μεταβιβάζεται σε άλλη goroutine.
• Αν ο μεταγλωττιστής δεν μπορεί να εγγυηθεί ότι η μεταβλητή θα καταστραφεί μετά την έξοδο από το τρέχον πεδίο ορατότητας.

Ο μεταγλωττιστής Go πραγματοποιεί ανάλυση διαφυγής (escape analysis) για να καθορίσει ποιες μεταβλητές πρέπει να τοποθετηθούν στο σωρό και ποιες στην στοίβα.

Παράδειγμα:

func f() *int {
    x := 10
    return &x // x "δραπετεύει" στο heap, καθώς επιστρέφεται ένας δείκτης
}

Εδώ, το x καταλαμβάνει χώρο στο heap επειδή επιστρέφεται ένας δείκτης σε αυτό και μπορεί να χρησιμοποιηθεί εκτός του πεδίου ορατότητάς του.