如何在 Go 1.18 泛型中將約束類型作為參數處理？

在Go 1.18 中使用約束類型作為參數

在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
}</code>

這裡，Charmander 使用泛型實作 Pokemon 介面類型參數 F 可以用 float32 或 float64 實例化。但是，嘗試在other.ReceiveDamage() 中使用AttackPower（受約束類型）作為float64 參數會導致錯誤：

<code class="go">func (c *Charmander[float64]) InflictDamage(other Pokemon) {
    other.ReceiveDamage(c.AttackPower)
}</code>

相容性類型轉換

相容性類型轉換

<code class="go">func (c *Charmander[T]) InflictDamage(other Pokemon) {
    other.ReceiveDamage(float64(c.AttackPower))
}</code>

相容性類型轉換

<code class="go">func (c *Charmander[T]) ReceiveDamage(damage float64) {
    c.Health -= T(damage)
}</code>

相容性類型轉換

相容性類型轉換相容性類型轉換相容性類型轉換要解決此問題，必須使用類型轉換來確保受約束類型與函數期望的特定類型之間的相容性。這是因為即使約束為 float64，F 也不等於 float64。 修正後的程式碼變成：同樣，ReceiveDamage() 方法被修改為處理約束類型( Health）透過將傷害參數轉換為約束類型：精度注意事項需要注意的是，從float64 到float32 的轉換（當F使用float32 實例化）可能會導致精度損失。這可能需要在特定用例中考慮。

以上是如何在 Go 1.18 泛型中將約束類型作為參數處理？的詳細內容。更多資訊請關注PHP中文網其他相關文章！