如何在 Go 泛型中使用带有联合类型约束的共享方法？

Go 中的泛型约束：对联合类型使用共享方法

在 Go 泛型 (v1.18) 中，类型联合约束允许您定义一组可以分配给泛型类型参数的类型。但是，对这些类型使用共享方法可能会导致错误。

请考虑以下代码：

type A struct {}
type B struct {}

type AB interface {
    *A | *B
}

func (a *A) some() bool {
    return true
}

func (b *B) some() bool {
    return false
}

func some[T AB](x T) bool {
    return x.some()   // <- error
}

发生错误的原因是编译器找不到联合类型 AB 上的某个方法。要解决此问题，您需要将方法添加到接口约束中：

type AB interface {
    *A | *B
    some() bool
}

func some[T AB](x T) bool {
    return x.some()   // works
}

这将泛型类型 T 限制为同时实现 *A 和 *B 的类型，并且还定义了 some 方法。

但是，正如 Go 1.18 发行说明中所述，这是一个临时限制。 Go 1.19 预计会取消这个限制，允许编译器自动从联合类型推断出 some 方法。

以上是如何在 Go 泛型中使用带有联合类型约束的共享方法？的详细内容。更多信息请关注PHP中文网其他相关文章！