在编程领域,Go 之旅练习 51 提出了一个有趣的谜。 Scale 方法声称在接收 Vertex 值而不是指针时无效,但实际上违背了这一概念。
为了说明这一点,原始代码声明 v,一个 Vertex 类型的变量,以 &v 的形式传递给 Scale 。令人惊讶的是,直接用 v 替换 &v 仍然会对输出产生明显的影响。
深入研究这种现象背后的机制,我们发现 Go 的强类型系统强制声明明确的变量类型。当函数或方法需要指向某种类型的指针时,例如 T,只有该精确类型 (T) 的变量才能满足此要求。
然而,Go 的编译器具有隐藏的power:在特定条件下,它会为您转换代码。当使用非指针变量 (x) 来调用接受指针接收器的方法 (m) 时,就会出现这样的情况之一。这里,编译器介入并有效执行语句 (&x).m() 而不是 x.m()。这种令人着迷的行为与 Go 的文档一致,其中指出:
“如果 x(的类型)的方法集包含 m 并且参数列表可以分配给参数列表,则方法调用 x.m() 是有效的如果 x 是可寻址的并且 &x 的方法集包含 m,则 x.m() 是 (&x).m() 的简写:"
理解这个概念澄清了一个奇怪的观察结果:即使提供了非指针参数,Scale 也会修改接收器:编译器的静默转换确保预期的行为生效。
以上是为什么 Go 的编译器在调用方法时似乎隐式传递指针?的详细内容。更多信息请关注PHP中文网其他相关文章!