在 golang 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))
}
}
例如left
函数的输出应该是 right
函数的输入,表示为泛型。
我注意到,对于以下示例,这无法按预期工作:
func OpenFile(name string) *os.File {
...
}
func ReadAll(rdr io.Reader) []byte {
...
}
var OpenRead = Pipe(OpenFile, ReadAll)
编译失败,因为编译器认为 T1
是 *os.File
,尽管它与 io.Reader
兼容,但并不完全相同.
如果我要在没有模板的情况下调用链,如下所示:
var result = ReadAll(OpenFile("test"))
然后编译器识别兼容类型。
问题:
- golang 1.18 泛型中有没有办法修复
Pipe
的签名以实现所需的行为? - golang 1.18 的行为是设计使然还是一个错误?
最佳答案
- 没有。
- 不,不是错误。请参阅FAQ .
鉴于 Go 不支持协变结果类型,您需要将 left
的结果转换为 right
接受的类型。然而目前有no way to express convertibility使用类型参数。
如果您愿意,可以根据该链接中的示例调整代码,您将得到类似 this 的内容。 ,但请记住,它不是“编译时类型安全的”。
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 - golang 1.18 中逆变类型如何与泛型一起工作?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/72086935/