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