¿Dónde se encuentra la variable cuando se destaca en una goroutine?

Una variable puede ser asignada tanto en la pila de una gorutina como en el montón. Esto se determina mediante el mecanismo de escape analysis (análisis de escape) del compilador Go.

Principios básicos del escape analysis:

• Si el compilador puede demostrar que la variable vive solo dentro de una llamada a función o solo dentro del marco de la pila de una gorutina (es decir, no hace referencia a ella desde fuera), se asigna en la pila de esa gorutina. Esto es más rápido, ya que la pila se gestiona automáticamente y no requiere recolección de basura.
• Si el compilador no puede demostrar que la variable está limitada a la pila, o si hay referencias a ella desde fuera (por ejemplo, pasada por puntero a otra función, escrita en una variable global, devuelta desde una función por puntero), se asigna en el montón. El montón requiere recolección de basura, lo que puede ralentizar la ejecución.

Ejemplo de asignación en la pila:

// La variable 'x' se asigna en la pila de la gorutina, ya que solo se usa dentro de la función.
func exampleStack() int {
	x := 10
	return x
}

Ejemplo de asignación en el montón:

// La variable 'p' (puntero a int) y el int al que apunta, pueden ser asignados en el montón.
// Esto sucede porque el puntero se devuelve desde la función y puede usarse desde fuera.
func exampleHeap() *int {
	x := 20 // El valor 20 puede ser asignado en el montón
	return &x // Devolvemos la dirección de la variable x
}

El análisis de escape ocurre durante la compilación. Se puede verificar usando la bandera -gcflags "-m":

go build -gcflags "-m" your_package_name

La salida del compilador mostrará qué variables "escape to heap".

Por lo tanto, la ubicación de la variable (pila vs montón) no se determina por si la variable se asigna en la gorutina, sino por cómo el compilador Go analiza su ciclo de vida y ámbito.