首頁 > 後端開發 > Golang > 主體

為什麼 Go 使用泛型時會拋出'*T 是指向型別參數的指針,而不是型別參數”錯誤?

Linda Hamilton
發布: 2024-11-05 11:14:02
原創
643 人瀏覽過

Why Does Go Throw

Go 使用泛型:探索「*T 是指向型別參數的指針,而不是型別參數」

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中文網其他相關文章!

來源:php.cn
本網站聲明
本文內容由網友自願投稿,版權歸原作者所有。本站不承擔相應的法律責任。如發現涉嫌抄襲或侵權的內容,請聯絡admin@php.cn
作者最新文章
熱門教學
更多>
最新下載
更多>
網站特效
網站源碼
網站素材
前端模板
關於我們 免責聲明 Sitemap
PHP中文網:公益線上PHP培訓,幫助PHP學習者快速成長!