Keď sa slice znovu vyhlási vo vnútri funkcie pri prekročení kapacity — je deklarovaný na halde alebo na zásobníku?

V jazyku Go je slice štruktúra, ktorá obsahuje ukazovateľ na pole, dĺžku a kapacitu. Keď pridáte prvky a prekročíte aktuálnu kapacitu slice, alokuje sa nové pole s väčšou kapacitou.

Toto nové pole je alokované na halde (heap), nie na zásobníku (stack), pretože jeho veľkosť a životnosť nemôžu byť určené počas kompilácie. Následne slice vnútri funkcie ukazuje na toto nové pole na halde.

Príklad:

func appendElement(s []int, val int) []int {
    s = append(s, val) // ak kapacita nie je dostatočná, alokuje sa nové pole na halde
    return s
}

Týmto spôsobom, keď je kapacita prekročená, je slice znovu deklarovaný s novým poľom, ktoré sa nachádza na halde.