Πού και πώς πραγματοποιείται συνήθως η διαμέριση στη μνήμη κατά την εκτέλεση του προγράμματος;

Στη Go, ένα slice είναι μια δομή δεδομένων που περιέχει τρία πεδία: έναν δείκτη σε έναν πίνακα στη μνήμη, το μήκος (len) και τη χωρητικότητα (cap). Κατά την εκτέλεση του προγράμματος, το slice αποθηκεύεται στη στοίβα (αν είναι τοπικό), και ο πίνακας στον οποίο δείχνει τοποθετείται στον σωρό ή στη στατική μνήμη, ανάλογα με την περίπτωση.

Όταν δημιουργείται ένα slice, π.χ. s := make([]int, 5, 10), καταχωρείται ένας πίνακας 10 στοιχείων στον σωρό, και το slice περιέχει έναν δείκτη στην αρχή αυτού του πίνακα, μήκος 5 και χωρητικότητα 10. Όταν περνάει ένα slice σε μια συνάρτηση, αντιγράφεται μόνο η δομή του slice (3 πεδία), όχι ολόκληρος ο πίνακας, κάτι που είναι αποδοτικό στη μνήμη.

Παράδειγμα:

s := []int{1, 2, 3}
// s - δομή με δείκτη σε πίνακα [1,2,3], μήκος=3, χωρητικότητα=3

func appendValue(slice []int, val int) []int {
    return append(slice, val)
}

s = appendValue(s, 4)

Εδώ, το append μπορεί να καταχωρίσει έναν νέο πίνακα αν η χωρητικότητα δεν είναι επαρκής, και να επιστρέψει ένα νέο slice με δείκτη σε αυτόν τον πίνακα.