Pourquoi la méthode Go avec un récepteur pointeur semble-t-elle modifier les valeurs non-pointeur ?

Méthode avec récepteur pointeur

Dans le Tour of Go, l'exercice 51 explore les récepteurs de méthode. L'explication fournie indique que la méthode Scale, qui opère sur un pointeur vers un sommet, n'a aucun effet lorsqu'elle reçoit directement une valeur de sommet. Cependant, modifier la fonction principale pour transmettre un sommet sans pointeur contredit cette affirmation.

Pourquoi cet écart ?

Malgré le code recevant une valeur sans pointeur, Scale modifie avec succès la variable. Ce comportement peut être attribué au système de frappe puissant de Go. Lorsqu'un pointeur vers T est attendu dans un certain contexte, seul un pointeur vers T (*T) peut satisfaire cette exigence.

Le compilateur utilise une transformation en coulisse pour activer ce comportement :

"Un appel de méthode x.m() est valide si l'ensemble de méthodes de (le type de) x contient m et la liste d'arguments peut être affectée à la liste de paramètres de m. Si x est adressable et que la méthode de &x set contient m, x.m() est un raccourci pour (&x).m():"

En substance, le compilateur réécrit le code pour passer un pointeur vers la valeur non-pointeur lorsque la variable réceptrice a un pointeur type de récepteur. Cela permet à la méthode Scale de modifier la variable d'origine.

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!