考虑到接口方法中泛型的限制，我们如何在 Go 中实现任一类型？

在 Go 中实现任一类型：导航泛型的边界

问题和目标

现在有了泛型作为 Go 1.18 的一部分，许多开发人员将目光投向创建准确表示复杂概念的类型。一个经典案例是“Either[A, B]”类型，它表示一个值可能是两种不同类型 A 或 B 之一。

接口定义障碍

在为“任一”类型定义接口时，由于语言限制不允许在接口方法中使用类型参数，因此出现了障碍。此限制阻止我们表达“Switch”方法，该方法根据值的变体返回不同的类型。

一种创造性的实现

要克服这个问题，可以从函数式编程语言中汲取灵感，并实现一种“可选”类型，该类型封装了表示特定值或不存在的能力。在此基础上，我们可以定义“Either”类型：

type Either[A, B any] interface {
    is_left() bool
    is_right() bool
    find_left() Optional[A]
    find_right() Optional[B]
}

这种方法不依赖“Switch”方法，而是利用“is_left”和“is_right”方法来确定类型包含的价值。然后，“find_left”和“find_right”方法为相应类型提供“可选”值。

实现细节和用法

在“Left”和“正确的具体类型实现“任一”，我们管理实际的有效负载并提供必要的布尔标志。 “left”和“right”函数充当构造函数，简化实例化。

示例用法演示了如何使用“Either”类型：

func main() {
    var e1 Either[int, string] = left[int, string](4143)
    var e2 Either[int, string] = right[int, string]("G4143")

    if e1.is_left() {
        if l, err := e1.find_left().get(); err == nil {
            fmt.Printf("The int is: %d\n", l)
        } else {
            fmt.Fprintln(os.Stderr, err)
        }
    }
}

结论

虽然 Go 的通用限制带来了挑战，但可以解决它们并创建强大的像“任一”类型这样的抽象。通过利用“可选”并使用辅助方法实现自定义接口，开发人员可以获得他们在 Go 代码中寻求的灵活性和表现力。

以上是考虑到接口方法中泛型的限制，我们如何在 Go 中实现任一类型？的详细内容。更多信息请关注PHP中文网其他相关文章！