如何访问Go泛型联合约束中的共享方法？

使用 Go 泛型访问联合约束中的共享方法

在 Go 泛型 (v1.18) 中，类型联合约束允许定义接受以下接口的接口来自多种类型的值。然而，问题是如何访问这些类型之间的共享方法。

考虑以下示例：

type A struct {}
type B struct {}

type AB interface {
    *A | *B
}

func (a *A) some() bool {...}
func (b *B) some() bool {...}

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

在此代码中，虽然 A 和 B 共享某个方法，但尝试从某些[TAB]访问它时发生错误。这是因为编译器只识别在约束接口中显式声明的方法。

要解决此问题，可以将共享方法添加到接口约束中，如下所示：

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

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

这种方法将 T 限制为实现 some 方法的 A 或 B 类型。

但是，此解决方案是 Go 1.18 泛型中限制的解决方法。语言规范表明这应该是可能的，但编译器不支持它。 Go 1.18 发行说明中已确认此限制，并记录在问题 #51183 中。希望 Go 1.19 中删除此限制。

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