Go 1.18 泛型中的逆变类型
在 Go 1.18 中，泛型的引入引发了人们对逆变类型的兴趣。出现的一个关键问题是它们如何在泛型上下文中发挥作用。
不利的行为：不兼容的类型
考虑以下代码片段：
func Pipe[A, T1, T2 any](left func(A) T1, right func(T1) T2) func(A) T2 {
return func(a A) T2 {
return right(left(a))
}
}当尝试将 Pipe 与以下内容一起使用时函数：
func OpenFile(name string) *os.File { ... }
func ReadAll(rdr io.Reader) []byte { ... }编译失败，因为编译器将 T1 视为 *os.File，它与 io.Reader 不同。
根本原因：逆变语义
问题源于逆变类型的本质。在这种情况下，T1 预计是比 A 更具体的类型，这意味着接受 T1 的函数也可以接受 A。但是，Go 泛型不支持协变结果类型。因此，返回 T1 的函数不能返回 A，即使它们是隐式可转换的。
解决方案和后果
目前无法修改 Pipe 的签名转到 1.18 以允许所需的行为。这不被视为错误，而是一种有意的设计选择。
解决方法：类型转换
要规避此限制，可以在运行时诉诸类型转换：
func Pipe[A, T1, T2, T3 any](left func(A) T1, right func(T2) T3) func(A) T3 {
return func(a A) T3 {
return right(any(left(a)).(T2))
}
}但是，这种方法牺牲了编译时类型安全性。
以上是逆变类型在 Go 1.18 泛型中如何工作？的详细内容。更多信息请关注PHP中文网其他相关文章！
