Memory Management von zurückgegebenen Zeigern: Eine sichere Praxis in Go

in C, zurückgegeben, um einen Zeiger auf eine stapelgesteuerte Variable zurückzugeben, kann zu und definiertem Verhalten aufgrund des Löschens des Gedächtnisses bei der Funktion zurückgegeben werden. Dies wirft die Frage auf, ob ein ähnliches Verhalten in Go und ob es sicher ist, solche Zeiger zurückzugeben.

In Go ist das Verhalten überraschend anders. Der Compiler generiert keine Fehler für die Rückgabe von Stapel-zugezogenen Zeigern wie das folgende Beispiel:

package main

import (
    "fmt"
)

func main() {
    fmt.Println(*(something()))
}

func something() *string {
    s := "a"
    return &s
}

im Gegensatz zu C ist dieser Code in GO perfekt gültig und erzeugt keine Laufzeitfehler. Dies liegt daran, dass GO eine ausgefeilte Technik verwendet, die als Escape -Analyse bekannt ist.

Escape Analysis ist eine Compiler -Optimierung, die feststellt, ob ein Wert oder Zeiger seinem Funktionsbereich entgeht. Wenn der Wert oder der Zeiger entweichen, legt der Compiler ihn auf den garbage gesammelten Haufen anstelle auf dem Stapel. In diesem Fall entgeht der zurückgegebene Zeiger dem Umfang der Funktion von etwas () und wird daher auf den Heap platziert. Diese Strategie beseitigt die Notwendigkeit einer manuellen Speicherverwaltung und stellt sicher, dass nach der Funktionsrendite aufmerksame Daten zugänglich bleiben.

, um die Fluchtanalyse -Optimierungen des Compiler während der Kompilierung zu beobachten, verwenden Sie die Option -gcflags -m. Diese Option gibt Einblicke in die Entscheidungen in Bezug auf Heap- und Stapelzuweisung.