Где и как обычно реализуется слайс в памяти во время выполнения программы?

В 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 может выделить новый массив, если ёмкость недостаточна, и вернуть новый слайс с указателем на этот массив.