如何在 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>

兼容性类型转换

要解决此问题，必须使用类型转换来确保受约束类型与函数期望的具体类型之间的兼容性。这是因为即使约束为 float64，F 也不等于 float64。

更正后的代码变为：

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

同样，ReceiveDamage() 方法被修改为处理约束类型 ( Health）通过将伤害参数转换为约束类型：

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

精度注意事项

需要注意的是，从 float64 到 float32 的转换（当 F使用 float32 实例化）可能会导致精度损失。这可能需要在特定用例中考虑。

以上是如何在 Go 1.18 泛型中将约束类型作为参数处理？的详细内容。更多信息请关注PHP中文网其他相关文章！