逆变类型如何在 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

没有
不，不是错误。见 FAQ.

鉴于 Go 不支持协变结果类型，您需要将 left 的结果转换为 right 接受的类型。但是目前 no way to express convertibility 使用类型参数。

如果您愿意，可以根据 link 中的示例调整您的代码，您会得到类似于 this 的内容，但请记住它不是“compile-time type-safe".

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((interface{})(left(a)).(T2))
    }
}

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

How do contravariant types work in golang 1.18 with generics?

generics

covariance

contravariance

go