pointers - 为什么带有指针接收器的方法在接收到值时仍然有效？

Question

我只是在玩围棋中的练习 51。该解释声称该Scale方法在接收到 aVertex而不是指向 a 的指针时无效Vertex。

然而，当我将声明更改v := &Vertex{3, 4}为v := Vertex{3, 4}inmain时，输出中的唯一变化是缺少&标记指针。

Scale那么，即使变量不是指针，为什么还要更改它接收到的变量呢？

Answer 1

它不会“接收”一个值。Go 是强类型的，因此如果在某处指定了指向 T 的指针，则指向 T ( *T) 的指针是唯一可以作为此类类型位置的值的选项。

“魔术”在编译器中，它在某些条件下有效地“重写”您的代码：

x.m()如果（的类型）的方法集x包含m并且参数列表可以分配给 的参数列表，则方法调用是有效的m。Ifx是可寻址的并且 &x 的方法集包含m,x.m()是 的简写(&x).m()：

相关：方法集

Answer 2

这次旅行建议的区别实际上并不在于更改v := &Vertex{3, 4}为v:= Vertex{3, 4}，而是在于更改这两种方法的定义，以便它们处理值而不是指针。因此，例如，对于Scale，func (v *Vertex) Scale(f float64) {...变为func (v Vertex) Scale(f float64) {...（注意(v *Vertex)，指针值，变为(v Vertex)，非指针值）。在这两种情况下，您都应该保留vas的声明v := &Vertex{3, 4}。

您会注意到，在第一种情况下，当方法采用指针时，输出为&{15 20} 25. 但是，当方法采用值而不是指针时，输出为&{3 4} 5.

在这两种情况下，v都是指向Vertex对象的指针。Vertex在第一种情况下，指针被传递给方法，并且一切都按预期工作 - 对对象所做的任何修改都对原始值进行，因此这些更改在方法返回后仍然存在。在第二种情况下，尽管v它仍然是一个指针，但 Go 编译器足够聪明，可以转换v.Scale(5)为(*v).Scale(5)，v取消引用，并将结果值传递给Scale。