共享方法如何与 Go 泛型的类型联合约束一起使用？

Go 泛型：解锁类型联合中的共享方法

在 Go 的新泛型功能中，类型联合约束允许绑定多个类型单个泛型类型参数。然而，问题出现了：如何在这些类型之间使用共享方法？

初始尝试和编译器错误

<br>type AB interface { <pre class="brush:php;toolbar:false">*A | *B

}

func（一个*A) some() bool {

return true

}

func (b *B) some() bool {

return false

}

func some[TAB](x T) 布尔值{

return x.some()   // undefined

}

上面的代码尝试在函数 some 中使用共享的 some 方法，但遇到错误，因为编译器无法确定是哪个一些要调用的方法。

使用接口的解决方法约束

要克服这个限制，可以直接在接口约束中添加共享方法：

<br>type AB interface {<pre class="brush:php;toolbar:false">*A | *B
some() bool

}

func some[TAB](x T) bool {

return x.some()   // works

}

这确保泛型类型 T 必须满足接口约束，其中包括 some 方法。

Go 1.18 中的限制

需要注意的是由于 Go 1.18 中的限制，此解决方法是临时措施。 Go 规范允许在类型联合中使用共享方法，但当前编译器实现将其限制为在约束接口中显式声明的方法。

Go 1.19 中的解决方案

Go 1.18 发行说明承认了这一限制，并明确计划在 Go 1.19 中删除它，允许直接访问类型联合中的共享方法。这一改进将增强 Go 泛型的表现力和灵活性。

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