При каких типах памяти операции выделения памяти не осуществляются в области кучи?

В Go операции выделения памяти не осуществляются в области кучи, если объекты могут быть размещены в стеке или в статической памяти. Это происходит, когда:

• Объекты имеют короткий жизненный цикл и не выходят за пределы функции (выделяются в стеке).
• Переменные являются глобальными или статическими (выделяются в статической области памяти).

Компилятор Go выполняет escape-анализ, чтобы определить, где именно размещать объект — в куче или в стеке. Если объект "не утекает" за пределы функции, он размещается в стеке, что быстрее и эффективнее.