Comment retourner un pointeur vers une structure locale ?

Comprendre la sémantique du retour de pointeurs vers des structures locales dans Go

Dans Go, une construction telle que la suivante est souvent rencontrée :

type point struct {
  x, y int
}

func newPoint() *point {
  return &point{10, 20}
}

Cet extrait de code peut soulever des inquiétudes pour les développeurs issus du C. La question est : étant donné que la structure point est une variable locale dans la fonction newPoint, comment un pointeur vers celle-ci peut-il être renvoyé ?

La clé ici réside dans le mécanisme de gestion de la mémoire de Go connu sous le nom d'analyse d'échappement de pointeur. L'analyse d'échappement de pointeur examine le flux de pointeurs et identifie ceux qui échappent au cadre de pile local. Si un pointeur s'échappe, comme dans ce cas où le pointeur est renvoyé par la fonction, l'objet vers lequel il pointe sera alloué sur le tas.

En l'absence d'échappement du pointeur, Go est libre d'allouer le objet sur la pile. Cependant, il est important de noter que le compilateur ne fournit aucune garantie à cet égard. L'allocation sur le tas ou la pile est soumise à la capacité du compilateur à déterminer si le pointeur reste local à la fonction.

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!