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

Например, если функция возвращает указатель на локальную переменную, эта переменная будет размещена в куче, чтобы не потерять данные после выхода из функции:

func create() *int {
    x := 42
    return &x // x будет размещён в куче
}

func main() {
    p := create()
    fmt.Println(*p) // 42
}

Если же объект используется только внутри функции и не выходит за её пределы, он будет размещён в стеке для более быстрой работы.

Когда объект попадает в кучу в Go?