Когда слайс переобъявляется внутри функции при выходе за пределы capacity — он объявляется на куче или на стеке?

В Go слайс — это структура, которая содержит указатель на массив, длину и емкость. Когда вы добавляете элементы и выходите за пределы текущей емкости слайса, происходит выделение нового массива с увеличенной емкостью.

Этот новый массив выделяется в куче, а не на стеке, потому что его размер и время жизни не могут быть определены на этапе компиляции. После этого слайс внутри функции указывает на этот новый массив в куче.

Пример:

func appendElement(s []int, val int) []int {
    s = append(s, val) // если capacity недостаточна, выделяется новый массив в куче
    return s
}

Таким образом, при выходе за пределы capacity слайс переобъявляется с новым массивом, который размещается в куче.