Где находится переменная, когда она выделяется в горутине?

Переменная может быть выделена как в стеке горутины, так и в куче. Это определяется с помощью механизма escape analysis (анализа утечек) компилятора Go.

Основные принципы escape analysis:

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

Пример выделения в стеке:

go