¿En qué situaciones el compilador reserva automáticamente memoria en el área dinámica (montón)?

En el compilador de Go, la memoria en el montón se asigna automáticamente en las siguientes situaciones:

• Cuando una variable debe vivir más allá del tiempo de ejecución de la función en la que se declara (análisis de escape). Por ejemplo, si la dirección de una variable local se devuelve desde una función o se guarda en una estructura que vive más tiempo.
• Si la variable es demasiado grande para la pila o su tamaño se desconoce durante la compilación.

Ejemplo:

func create() *int {
    x := 10
    return &x // la variable x "escapa" al montón, ya que se devuelve un puntero
}

Aquí, la variable x será colocada en el montón para que el puntero siga siendo válido después de salir de la función. El compilador analiza el código (análisis de escape) y decide dónde asignar memoria.