Peut-on renvoyer en toute sécurité des pointeurs vers des variables allouées à la pile ?

Renvoi de pointeurs sur la pile en Go

En C, renvoyer un pointeur vers une variable créée par la pile à partir d'une fonction peut entraîner des problèmes car la mémoire peut être supprimée après le retour de la fonction, invalidant le pointeur. Cependant, dans Go, le comportement est différent.

Dans Go, un pointeur vers une variable créée par la pile peut être renvoyé en toute sécurité à partir d'une fonction, car le compilateur Go utilise l'analyse d'échappement pour déterminer si les valeurs pointées par les variables peut être utilisé après le retour de la fonction. Si le compilateur ne peut pas prouver que la variable n'est pas référencée après le retour de la fonction, il allouera automatiquement la variable sur le tas récupéré pour éviter les erreurs de pointeur pendantes.

Cette optimisation peut être observée en utilisant le -gcflags - m option lors de la compilation. Voici un exemple :

package main

import (
    "fmt"
)

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

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

L'exécution de ce code affichera "a", démontrant qu'il est sûr de renvoyer un pointeur vers une variable créée par la pile dans Go.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!