> Где в памяти живут глобальные переменные в Go? (Go)

Короткий ответ

Глобальные переменные в Go живут в сегменте данных (data segment) процесса, а именно в области статической памяти (static memory). Они размещаются в BSS (неинициализированные) или в data (инициализированные) секциях. Время их жизни - вся продолжительность работы программы, они доступны из любого места в пакете, где объявлены, и не зависят от стека или кучи.

Подробное объяснение

В Go память процесса условно делится на несколько областей: стек (stack), куча (heap), сегмент данных (data segment) и сегмент кода (text segment). Глобальные переменные - это переменные, объявленные на уровне пакета (package-level). Они размещаются в статической памяти, которая выделяется при старте программы и существует до её завершения.

Конкретно:

• Если глобальная переменная инициализирована значением (например, var x = 42), она попадает в секцию .data (data segment).
• Если глобальная переменная объявлена без инициализации (например, var y int), она попадает в секцию .bss (block started by symbol), которая обнуляется при запуске.

Важно: в Go нет глобальных переменных в классическом смысле C - они всегда привязаны к пакету. Но с точки зрения памяти это та же статическая область.

Особенность Go: компилятор может переместить переменную в кучу, если он видит, что её адрес может быть передан в другую горутину или использован после возврата из функции. Однако для глобальных переменных это не происходит - они всегда остаются в статической памяти, так как их адрес известен на этапе компиляции и они не могут быть собраны сборщиком мусора (GC) до завершения программы.

На практике

На практике это означает:

• Глобальные переменные не создают нагрузки на GC - они не сканируются как объекты кучи, но их содержимое может быть просканировано, если там есть указатели.
• Доступ к глобальным переменным из нескольких горутин требует синхронизации (mutex, atomic), иначе будет data race.
• Инициализация глобальных переменных происходит в порядке зависимостей (по правилам инициализации пакетов) до вызова main().
• Не стоит злоупотреблять глобальными переменными - они усложняют тестирование и делают код менее предсказуемым.

Пример кода

GO
package main

import "fmt"

// глобальная переменная, инициализированная значением - секция .data
var globalCounter = 10

// глобальная переменная без инициализации - секция .bss
var globalBuffer []byte

func main() {
    fmt.Println(globalCounter)
    globalBuffer = make([]byte, 1024)
}

Как отвечать на собеседовании

Начни с прямого ответа: "глобальные переменные живут в статической памяти, в сегменте данных". Затем уточни про .data и .bss. Добавь, что в Go это память уровня пакета, и она существует всё время работы программы. Если спросят про отличие от кучи - скажи, что глобальные переменные не управляются GC и не перемещаются. Можно упомянуть, что компилятор может оптимизировать размещение, но для глобальных переменных это не меняет картину.

Что проверяет интервьюер

Интервьюер проверяет:

• Понимание модели памяти в Go: стек, куча, статическая память.
• Знание отличий глобальных переменных от локальных и переменных в куче.
• Понимание времени жизни объектов и роли GC.
• Осознание проблем синхронизации при работе с глобальными переменными в конкурентной среде.

Типичные ошибки

• Ответ "в куче" - это неверно, глобальные переменные не в куче.
• Путаница между глобальными переменными и переменными, захваченными замыканиями (closures) - последние могут уйти в кучу.
• Утверждение, что глобальные переменные можно перемещать или удалять GC - это не так.
• Игнорирование того факта, что инициализация глобальных переменных происходит до main() и в определённом порядке.