Go 指標：為什麼我似乎可以傳遞值或指標給我的方法？

Go 指標：揭秘指標語意

指標是Go 程式設計中的一個基本概念，它可以透過引用來操作記憶體位址和值。雖然指針與其他程式語言有相似之處，但 Go 的指針語義可能是獨特的，可能會給初學者帶來困惑。

考慮以下程式碼：

type Vertex struct {
    X, Y float64
}

func (v *Vertex) Abs() float64 {
    return math.Sqrt(v.X*v.X + v.Y*v.Y)
}

func main() {
    v := &Vertex{3, 4}
    fmt.Println(v.Abs())
}

程式碼片段定義了一個 Vertex 結構體和func (v *Vertex) Abs() 方法，計算頂點座標的絕對值。透過將方法接收器宣告為指標 *Vertex，我們表明該方法對指向 Vertex 值的指標進行操作。

如果我們將程式碼修改如下：

func (v Vertex) Abs() float64 {
    [...]
    v := &Vertex{3, 4}
}

其中接收者不再是一個指針，而是一個值（Vertex），我們將得到相同的結果。這樣做的原因有兩個：

方法派生：Go 允許從具有值接收器的方法派生出具有指標接收器的方法。這意味著方法func (v Vertex) Abs() 自動產生一個額外的方法實作：

func (v Vertex) Abs() float64 { return math.Sqrt(v.X*v.X+v.Y*v.Y) }
func (v *Vertex) Abs() float64 { return Vertex.Abs(*v) } // GENERATED METHOD

當你呼叫v.Abs() 時，其中v 不是指針，編譯器會自動尋找並使用產生的方法。

自動取位址：Go 能夠自動取變數的位址。在下面的程式碼中：

func (v *Vertex) Abs() float64 { return math.Sqrt(v.X*v.X+v.Y*v.Y) }
func main() {
    v := Vertex{3, 4}
    v.Abs()
}

表達式v.Abs() 相當於程式碼：

vp := &v
vp.Abs()

在這種情況下，編譯器會自動取得v 變數的位址並將其傳遞給指標接收者方法func (v *Vertex) Abs()。

因此，在您提到的程式碼修改的情況下，無論您傳遞的是值還是指標到 Abs( ) 方法，Go 的指標語意保證了正確的行為。然而，在處理 Go 中的結構體等引用類型時，使用指標通常被認為是良好的做法。

以上是Go 指標：為什麼我似乎可以傳遞值或指標給我的方法？的詳細內容。更多資訊請關注PHP中文網其他相關文章！