Dove si trova la variabile quando viene evidenziata in una goroutine?

Una variabile può essere allocata sia nello stack di una goroutine che nell'heap. Questo è determinato dal meccanismo di escape analysis (analisi di fuga) del compilatore Go.

Principi di base dell'escape analysis:

• Se il compilatore può dimostrare che la variabile vive solo all'interno di una chiamata di funzione o solo all'interno dello stack di una goroutine (cioè, non fa riferimento ad essa dall'esterno), viene allocata nello stack di quella goroutine. Questo è più veloce, poiché lo stack viene gestito automaticamente e non richiede raccolta dei rifiuti.
• Se il compilatore non può dimostrare che la variabile è limitata allo stack, o se ci sono riferimenti ad essa dall'esterno (ad esempio, passata per puntatore ad un'altra funzione, scritta in una variabile globale, restituita da una funzione tramite puntatore), viene allocata nell'heap. L'heap richiede raccolta dei rifiuti, il che può rallentare l'esecuzione.

Esempio di allocazione nello stack:

// La variabile 'x' viene allocata nello stack della goroutine, poiché viene usata solo all'interno della funzione.
func exampleStack() int {
	x := 10
	return x
}

Esempio di allocazione nell'heap:

// La variabile 'p' (puntatore a int) e l'int a cui punta, possono essere allocati nell'heap.
// Questo accade perché il puntatore viene restituito dalla funzione e può essere usato dall'esterno.
func exampleHeap() *int {
	x := 20 // Il valore 20 può essere allocato nell'heap
	return &x // Restituisce l'indirizzo della variabile x
}

L'escape analysis avviene durante la compilazione. Può essere verificata usando il flag -gcflags "-m":

go build -gcflags "-m" your_package_name

L'output del compilatore mostrerà quali variabili "escape to heap".

Pertanto, la posizione della variabile (stack vs heap) non è determinata dal fatto che la variabile venga allocata nella goroutine, ma da come il compilatore Go analizza il suo ciclo di vita e il suo ambito.