逆变可以解决 Go 1.18 的 Pipe 函数中的泛型类型兼容性问题吗？

Go 1.18 泛型中的逆变类型

在 Go 1.18 中，泛型类型允许定义类型随类型参数而变化的函数。逆变是一种特定类型的方差，它允许函数接受更广泛的输入类型，同时保持输入和输出类型之间定义良好的关系。

管道函数

提供的 Pipe 函数旨在组合转换值的函数。它期望左侧函数的输出类型与右侧函数的输入类型匹配。但是，在下面的示例中，它无法编译：

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

func OpenFile(name string) *os.File {
    ...
}

func ReadAll(rdr io.Reader) []byte {
    ...
}

var OpenRead = Pipe(OpenFile, ReadAll)

编译器会抱怨，因为 T1 被认为是 *os.File，即使它与 io.Reader 兼容。

有解决办法吗？

不幸的是，Go 1.18 没有办法泛型修改 Pipe 的签名以启用所需的行为。 Go 不支持协变结果类型，这意味着函数的输出类型不能根据输入类型而变化。

这是一个 Bug 吗？

中的行为Go 1.18 不是一个 bug。这是设计使然，正如 Go 泛型常见问题解答中所解释的那样。

解决方法

要解决此限制，可以使用 Pipe 函数的修改版本，但是它牺牲了编译时类型安全：

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 的 Pipe 函数中的泛型类型兼容性问题吗？的详细内容。更多信息请关注PHP中文网其他相关文章！