¿Dónde y cómo se realiza normalmente la segmentación en la memoria durante la ejecución del programa?

En Go, un slice es una estructura de datos que contiene tres campos: un puntero a un array en la memoria, la longitud (len) y la capacidad (cap). Durante la ejecución del programa, el slice se almacena en la pila (si es local), y el array al que apunta se ubica en el montón o en la memoria estática, dependiendo de la situación.

Cuando se crea un slice, por ejemplo s := make([]int, 5, 10), se asigna un array de 10 elementos en el montón, y el slice contiene un puntero al inicio de ese array, una longitud de 5 y una capacidad de 10. Al pasar un slice a una función, solo se copia la estructura del slice (3 campos), no todo el array, lo que es eficiente en memoria.

Ejemplo:

s := []int{1, 2, 3}
// s - estructura con un puntero al array [1,2,3], len=3, cap=3

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

s = appendValue(s, 4)

Aquí, append puede asignar un nuevo array si la capacidad no es suficiente, y devolver un nuevo slice con un puntero a ese array.