go - golang 1.18 中逆变类型如何与泛型一起工作？

Question

在 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 的行为是设计使然还是一个错误？

Answer 1

1. 没有。
2. 不，不是错误。请参阅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))
    }
}