在函數中使用約束類型作為參數
在Go 1.18 中,泛型提供了一種使用類型參數定義類型的方法,將其約束為特定類型套。但是,當使用約束類型作為需要具體類型的函數的參數時,您可能會遇到錯誤。讓我們探索使用類型轉換的解決方案。
考慮提供的範例:
<code class="go">type Pokemon interface { ReceiveDamage(float64) InflictDamage(Pokemon) } type Float interface { float32 | float64 } type Charmander[F Float] struct { Health F AttackPower F } func (c *Charmander[float64]) ReceiveDamage(damage float64) { c.Health -= damage } func (c *Charmander[float64]) InflictDamage(other Pokemon) { other.ReceiveDamage(c.AttackPower) }</code>
當您嘗試編譯此程式時,您會遇到錯誤,因為c.AttackPower 的類型為F限制為float64,但other.ReceiveDamage () 需要float64 參數。
要解決此問題,您需要將 c.AttackPower 明確轉換為滿足 Float 的特定類型。在這種情況下,float32 和 float64 都符合約束,因此您可以轉換為其中任何一個。
更新後的方法變成:
<code class="go">func (c *Charmander[T]) ReceiveDamage(damage float64) { c.Health -= T(damage) } func (c *Charmander[T]) InflictDamage(other Pokemon) { other.ReceiveDamage(float64(c.AttackPower)) }</code>
透過這些轉換,程式將成功編譯。請注意,實例化 Charmander 類型時,必須指定 F 應該綁定的具體類型,如 *Charmander[float64].
以上是在 Go 函數中使用約束類型作為參數時如何解決類型錯誤?的詳細內容。更多資訊請關注PHP中文網其他相關文章!