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

В Go, слайсът е структура, която съдържа указател към масив, дължина и капацитет. Когато добавяте елементи и превишите текущия капацитет на слайса, се заделя нов масив с увеличен капацитет.

Този нов масив се заделя в купчината (heap), а не на стека, защото размерът и времето на живот не могат да бъдат определени по време на компилация. След това, слайсът вътре във функцията сочи към този нов масив в купчината.

Пример:

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

По този начин, при превишаване на капацитета, слайсът се преобявя с нов масив, който се намира в купчината.