使用指標接收器方法複製實例的陷阱
在Go 中,如果命名型別T 的所有方法都有T 本身的接收器類型(不是*T),複製該類型的實例被認為是安全的。這是因為任何方法呼叫都必須對副本進行操作,以確保原始值保持不變。但是,如果 T 的任何方法具有指標接收器,則複製 T 的實例可能會很危險。
說明
呼叫方法時,呼叫該方法的值on首先被複製,並將副本作為接收者傳遞。如果類型僅具有具有值接收器的方法,則它保證這些方法無法修改原始值,無論其操作如何。這是因為始終使用副本,從而保護原始值免受無意的更改。
但是,如果類型具有帶有指標接收器的方法,則這些方法可以修改原始指向的值而不是其副本。這是因為該方法接收指向原始值的指針,從而允許它更改基礎資料。
範例
考慮一個包裝器類型Wrapper:
type Wrapper struct { v int p *int }
使用Set() 方法確保兩個欄位包含相同的值:
func (w *Wrapper) Set(v int) { w.v = v *w.p = v }
如果我們建立一個Wrapper 實例:
a := Wrapper{v: 0, p: new(int)}
然後建立一個a 的(b) 副本:
b := a
使用Set() 將a 設定為1 後:
a.Set(1)
我們預期a 和b 的欄位都設為1。然而,列印它們的值揭示了一個不同的故事:
fmt.Printf("a.v=%d, a.p=%d; b.v=%d, b.p=%d\n", a.v, *a.p, b.v, *b.p)
輸出:
a.v=1, a.p=1; b.v=0, b.p=1
造成這種差異的原因是,雖然複製了b 中的指針,但它仍然引用相同的指標底層資料作為a 中的指標。當 Set() 修改指向的值時,它會影響 Wrapper 的兩個副本。但是,a 和 b 之間的非指標欄位 v 仍然是不同的。
最佳實踐
為了避免此問題,建議不要複製類型的實例指標接收器方法。如果需要使用指標值,複製指標本身 (*T) 是一個可行的替代方案。
以上是## 為什麼使用指標接收器方法複製 Go 類型的實例是危險的?的詳細內容。更多資訊請關注PHP中文網其他相關文章!