Когда и почему возвращаемое значение сохраняется на стеке, а когда — в куче?

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

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

Пример:

func foo() *int {
    x := 10
    return &x // x "убегает" в кучу, чтобы указатель был валиден
}

func bar() int {
    y := 20
    return y // y возвращается по значению, хранится на стеке
}

Таким образом, решение о размещении зависит от анализа компилятора, который оценивает время жизни переменных и необходимость их сохранения вне текущего стека.