Quando un slice viene ridefinito all'interno di una funzione superando la capacità, viene dichiarato sull'heap o sullo stack?

In Go, uno slice è una struttura che contiene un puntatore a un array, una lunghezza e una capacità. Quando aggiungi elementi e superi la capacità attuale dello slice, viene allocato un nuovo array con capacità aumentata.

Questo nuovo array viene allocato nell'heap, non nello stack, perché la sua dimensione e durata non possono essere determinate in fase di compilazione. Dopo di ciò, lo slice all'interno della funzione punta a questo nuovo array nell'heap.

Esempio:

func appendElement(s []int, val int) []int {
    s = append(s, val) // se la capacità non è sufficiente, viene allocato un nuovo array nell'heap
    return s
}

In questo modo, superata la capacità, lo slice viene ridefinito con un nuovo array che si trova nell'heap.