Pourquoi une méthode Go avec un récepteur pointeur peut-elle modifier un argument de valeur ?

Pourquoi une méthode avec un récepteur pointeur fonctionne-t-elle toujours lorsqu'elle reçoit une valeur ?

Dans l'exercice 51 du Tour de Go, il est indiqué qu'une méthode avec un récepteur de pointeur n'aura aucun effet sur la valeur qui lui est transmise. Cependant, ce comportement n'est pas observé lors de l'attribution d'une valeur à une variable transmise à la méthode.

Pour comprendre cet écart, il est important de reconnaître qu'en Go, un appel de méthode x.m() est valide si le L'ensemble de méthodes du type de x contient m et la liste d'arguments peut être affectée à la liste de paramètres de m. Surtout, si x est adressable et que l'ensemble de méthodes de &x contient m, alors x.m() est effectivement un raccourci pour (&x).m().

Lorsqu'une méthode avec un récepteur de pointeur est appelée sur une valeur, le compilateur crée automatiquement un pointeur temporaire vers la valeur et transmet ce pointeur à la méthode. Ceci est dû au fait que la méthode opère réellement sur le pointeur vers la variable, et non sur la variable elle-même. Par conséquent, même si la variable transmise à la méthode est une valeur, la méthode reçoit toujours un pointeur et peut modifier la valeur en conséquence.

Cette « magie » est le résultat du système de types et des ensembles de méthodes de Go, qui permettent pour un code concis et efficace tout en conservant une frappe forte.

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!