Как определяется, где выделяется память — на стеке или в куче?

В Go память выделяется либо на стеке, либо в куче, в зависимости от того, как используется переменная и как компилятор анализирует её жизненный цикл.

• Стек — используется для локальных переменных, которые живут в пределах функции и не выходят за её рамки. Память на стеке выделяется быстро и автоматически освобождается при выходе из функции.

• Куча — используется для переменных, которые должны жить дольше, чем вызов функции, или когда размер данных неизвестен на этапе компиляции. Память в куче выделяется динамически и требует сборщика мусора для освобождения.

Компилятор Go применяет escape analysis — анализ, который определяет, «убегает» ли переменная за пределы функции. Если переменная «убегает» (например, возвращается из функции или сохраняется в глобальную структуру), она выделяется в куче. Если нет — на стеке.

Пример:

func foo() *int {
    x := 10
    return &x // x "убегает" из функции, выделяется в куче
}

func bar() {
    y := 20 // y локальна, выделяется на стеке
    fmt.Println(y)
}

Таким образом, решение о выделении памяти принимает компилятор на основе анализа кода, чтобы оптимизировать производительность и управление памятью.