Go 領域在編程中,使用泛型時了解類型參數的性質及其約束至關重要。一個常見的陷阱在於混淆類型參數本身及其約束。
考慮使用共用 ID 欄位為類型 A 和 B 實作物件儲存的範例。為了遵循 DRY 原則,開發人員使用泛型來創建一個具有代表常見操作的 GS 介面的商店。但是,當嘗試使用 GS 介面新增物件並設定其 ID 欄位時,編譯器會引發錯誤:
item.SetId undefined (type *T is pointer to type parameter, not type parameter) A does not implement GS (SetId method has pointer receiver)
解碼此錯誤訊息可以得出基本的理解:類型參數與其類型參數不同限制。此約束建立了 T 上允許的操作,但沒有對 T(指向 T 的指標)施加任何要求。因此,T 的方法集不會繼承在特定類型 A 上宣告的指標接收器方法,也不會隱含實作適用於 *A 的介面。
解決此問題涉及明確定義附加約束,如以下示例所示:
func Foo[T any, PT interface { SetId(string); *T}](v T) {}
為了解決錯誤的第二部分,涉及約束的實現,需要注意的是MyStore 應該使用A 實例化以滿足約束SetId() 是在A 上定義的,而不是A。隨後,調整結構體欄位的類型和方法簽名以反映此變更將允許所需的行為。
總而言之,有效地處理「 *T 是指向型別參數的指針,而不是型別參數」錯誤需要明確區分型別參數及其限制。這可確保明確聲明和實作約束,從而防止意外的編譯器錯誤。
以上是為什麼 Go 使用泛型時會拋出'*T 是指向型別參數的指針,而不是型別參數”錯誤?的詳細內容。更多資訊請關注PHP中文網其他相關文章!