Když je slice znovu deklarován uvnitř funkce při překročení kapacity, je deklarován na haldě nebo na zásobníku?

V jazyce Go je slice struktura, která obsahuje ukazatel na pole, délku a kapacitu. Když přidáte prvky a překročíte aktuální kapacitu slice, alokuje se nové pole s větší kapacitou.

Toto nové pole je alokováno na haldě (heap), nikoli na zásobníku (stack), protože jeho velikost a životnost nelze určit při kompilaci. Poté slice uvnitř funkce ukazuje na toto nové pole na haldě.

Příklad:

func appendElement(s []int, val int) []int {
    s = append(s, val) // pokud kapacita nestačí, alokuje se nové pole na haldě
    return s
}

Tímto způsobem, když je kapacita překročena, je slice znovu deklarován s novým polem, které je umístěno na haldě.