Go のコンパイラがメソッド呼び出し時に暗黙的にポインタを渡しているように見えるのはなぜですか?

Go におけるメソッド レシーバーの奇妙な動作を理解する

プログラミングの領域では、Tour of Go 演習 51 で興味深い謎が提示されます。 Scale メソッドは、ポインターではなく Vertex 値を受け取る場合には効果がないと主張されていますが、実際にはこの概念に反しています。

説明すると、元のコードでは、Vertex 型の変数である v が &v として Scale に渡されると宣言されています。 。驚くべきことに、&v を v に直接置き換えても、出力に目に見える影響が生じます。

この現象の背後にあるメカニズムを詳しく調べると、Go の強力な型指定システムが明確な変数型の宣言を強制していることがわかります。関数またはメソッドが T などの特定の型へのポインターを必要とする場合、その正確な型 (T) の変数のみがこの要件を満たすことができます。

ただし、Go のコンパイラーは隠蔽されたpower: 特定の条件下で、コードを変換します。このような条件の 1 つは、ポインター レシーバーを受け入れるメソッド (m) を呼び出すために非ポインター変数 (x) が使用されるときに発生します。ここでは、コンパイラが介入して、x.m() の代わりにステートメント (&x).m() を効果的に実行します。この魅力的な動作は Go のドキュメントと一致しています。次のように述べられています。

「x (の型) のメソッド セットに m が含まれており、引数リストをパラメータ リストに割り当てることができる場合、メソッド呼び出し x.m() は有効です」 x がアドレス指定可能で、&x のメソッド セットに m が含まれている場合、x.m() は (&x).m():"

の短縮形です。この概念は、非ポインター引数が指定された場合でも Scale がレシーバーを変更するという興味深い観察を明確にします。つまり、コンパイラーのサイレント変換により、意図した動作が確実に有効になります。

以上がGo のコンパイラがメソッド呼び出し時に暗黙的にポインタを渡しているように見えるのはなぜですか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。