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.Fileio.Reader

如果我要在没有模板的情况下调用链，如下所示：

var result = ReadAll(OpenFile("test"))

然后编译器识别兼容类型。

问题：

• golang 1.18 泛型中有没有办法修复 的签名Pipe以允许所需的行为？
• 这是 golang 1.18 的设计行为还是一个错误？

Answer 1

1. 不。
2. 不，不是错误。请参阅常见问题解答。

鉴于 Go 不支持协变结果类型，您需要将 的结果转换left为right. 然而，目前还没有办法使用类型参数来表达可转换性。

如果您愿意，可以根据该链接中的示例调整代码，您将得到类似的内容，但请记住，它不是“编译时类型安全”。

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))
    }
}