Къде и как обикновено се реализира сегментирането в паметта по време на изпълнение на програмата?

В Go, слайсът е структура от данни, която съдържа три полета: указател към масив в паметта, дължина (len) и капацитет (cap). По време на изпълнение на програмата, слайсът се съхранява в стека (ако е локален), а масивът, към който сочи, се намира в купчината или в статичната памет, в зависимост от ситуацията.

Когато се създаде слайс, например s := make([]int, 5, 10), се заделя масив от 10 елемента в купчината, а слайсът съдържа указател към началото на този масив, дължина 5 и капацитет 10. При предаване на слайс към функция, се копира само структурата на слайса (3 полета), а не целият масив, което е ефективно по отношение на паметта.

Пример:

s := []int{1, 2, 3}
// s - структура с указател към масива [1,2,3], len=3, cap=3

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

s = appendValue(s, 4)

Тук append може да задели нов масив, ако капацитетът е недостатъчен, и да върне нов слайс с указател към този масив.