Какие виды памяти различает Go (стек и куча)? Чем они отличаются? Как Garbage Collector работает с объектами в стеке?

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

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

• Куча — область памяти для динамически выделяемых объектов, которые могут жить дольше, чем время выполнения одной функции. Объекты в куче управляются сборщиком мусора (Garbage Collector).

Отличия:

• Стек ограничен по размеру и предназначен для короткоживущих данных.
• Куча более гибкая, но выделение и освобождение памяти медленнее.

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

Таким образом, GC работает только с кучей, а объекты в стеке освобождаются автоматически при завершении функции, что делает работу со стеком очень эффективной.