В каких случаях память точно будет выделяться в стеке

Аллокация памяти в стеке в Go

В Go память точно будет выделяться в стеке в следующих случаях:

1. Примитивные типы и структуры фиксированного размера внутри функций

Локальные переменные примитивных типов (int, float64, bool, string и т.д.) и структуры фиксированного размера, которые не содержат ссылочных полей (указателей, слайсов, каналов, мапов, функций, интерфейсов), обычно размещаются в стеке.

func example() {
    x := 42              // int - скорее всего в стеке
    y := 3.14            // float64 - скорее всего в стеке
    name := "Go"         // string - сложнее, заголовок в стеке, данные могут быть в куче
    isValid := true      // bool - в стеке
    
    // Структура без ссылочных полей - в стеке
    type Point struct {
        X, Y int
    }
    p := Point{X: 10, Y: 20}  // Скорее всего в стеке
}

2. Массивы фиксированного размера внутри функций

Локальные массивы с фиксированным размером, если их размер известен на этапе компиляции и не слишком велик, обычно размещаются в стеке.

func process() {
    var buffer [256]byte    // Массив фиксированного размера - в стеке
    primes := [5]int{2, 3, 5, 7, 11}  // В стеке
}

3. Аргументы функций

Аргументы, передаваемые в функцию, размещаются в стеке вызовов.

func calculate(a int, b float64) float64 {
    // a и b находятся в стеке
    return float64(a) * b
}

4. Возвращаемые значения

Значения, возвращаемые из функций (не указатели), также размещаются в стеке.

func createValue() int {
    return 100  // Возвращаемое значение размещается в стеке
}

5. Сложные случаи: структуры со ссылочными полями

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

type User struct {
    ID   int
    Name string  // string - ссылочный тип
}

func getUser() User {
    u := User{ID: 1, Name: "Alice"}  
    // Структура User в стеке, но данные для Name могут быть в куче
    return u
}

Ключевые факторы, влияющие на размещение в стеке:

• Размер объекта: Если объект слишком велик, компилятор может решить разместить его в куче
• Время жизни объекта: Если время жизни объекта выходит за рамки функции (например, возвращается указатель на локальную переменную), он будет перемещён в кучу (escape analysis)
• Динамическое выделение памяти: Использование make(), new() для слайсов, мапов и каналов обычно приводит к аллокации в куче
• Замыкания: Переменные, захваченные замыканиями, часто перемещаются в кучу

Пример с escape analysis:

func createLocal() *int {
    x := 42  // x "сбегает" из функции, поэтому будет в куче
    return &x
}

func keepLocal() int {
    y := 100  // y остаётся локальной, будет в стеке
    return y
}

Важные уточнения:

1. Компилятор Go выполняет escape analysis для определения, может ли объект безопасно размещаться в стеке или должен быть в куче
2. Стек каждого горутины ограничен (обычно от 2KB до 1GB, зависит от версии Go и настроек)
3. Производительность: Аллокация в стеке значительно быстрее, чем в куче
4. Автоматическое управление: Память в стеке освобождается автоматически при выходе из функции

Практическое правило:

Если переменная используется только внутри функции и на неё не сохраняются ссылки за её пределами, компилятор Go постарается разместить её в стеке. Однако окончательное решение принимает escape analyzer компилятора, который может переместить объект в кучу, если сочтёт это необходимым для корректности работы программы.