使用 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中文网其他相关文章!