Wo befindet sich die Variable, wenn sie in einer Goroutine hervorgehoben wird?

Eine Variable kann sowohl im Stack einer Goroutine als auch im Heap zugewiesen werden. Dies wird durch den Mechanismus der escape analysis (Escape-Analyse) des Go-Compilers bestimmt.

Grundprinzipien der Escape-Analyse:

• Wenn der Compiler nachweisen kann, dass die Variable nur innerhalb eines Funktionsaufrufs oder nur im Stack-Bereich einer Goroutine lebt (d.h., sie wird von außen nicht referenziert), wird sie im Stack dieser Goroutine zugewiesen. Das ist schneller, da der Stack automatisch verwaltet wird und keine Garbage Collection erforderlich ist.
• Wenn der Compiler nicht nachweisen kann, dass die Variable auf den Stack beschränkt ist, oder wenn es Referenzen von außen auf sie gibt (z.B. per Zeiger an eine andere Funktion übergeben, in eine globale Variable geschrieben, aus einer Funktion per Zeiger zurückgegeben), wird sie im Heap zugewiesen. Der Heap erfordert Garbage Collection, was die Ausführung verlangsamen kann.

Beispiel für Zuweisung im Stack:

// Die Variable 'x' wird im Stack der Goroutine zugewiesen, da sie nur innerhalb der Funktion verwendet wird.
func exampleStack() int {
	x := 10
	return x
}

Beispiel für Zuweisung im Heap:

// Die Variable 'p' (Zeiger auf int) und der auf sie zeigende int können im Heap zugewiesen werden.
// Das passiert, weil der Zeiger aus der Funktion zurückgegeben wird und außerhalb verwendet werden kann.
func exampleHeap() *int {
	x := 20 // Der Wert 20 kann im Heap zugewiesen werden
	return &x // Gibt die Adresse der Variable x zurück
}

Die Escape-Analyse findet während der Kompilierung statt. Sie kann mit dem Flag -gcflags "-m" überprüft werden:

go build -gcflags "-m" your_package_name

Die Ausgabe des Compilers zeigt, welche Variablen "escape to heap".

Daher wird der Speicherort der Variablen (Stack vs. Heap) nicht dadurch bestimmt, ob die Variable in einer Goroutine zugewiesen wird, sondern wie der Go-Compiler ihren Lebenszyklus und Gültigkeitsbereich analysiert.