泛型如何使用任一类型改进 Go 中的错误处理？

Go 中使用泛型任一类型进行错误处理

在 Go 1.18 中，泛型的引入提供了增强错误处理的潜力。通过创建“Either[A,B]”类型，可以表示可以是 A 类型或 B 类型的值。

这种方法不同于传统的 Go 习惯用法，即返回“正常” ' 值和错误值，其中 nil 错误表示成功返回。但是，当所需的行为是传达某个值是 A 或 B，而不是两者时，这可能会出现问题。

克服接口方法限制

尝试由于接口方法必须没有类型参数的限制，为 Switch 方法定义带有类型参数的 Either 接口并不成功。为了避免这种情况，另一种方法是引入可选性的概念。

可选性和任一类型

可选类型可以定义为具有get() 方法要么返回一个值，要么返回一个 nil 错误，如果不存在值则返回一个错误。然后可以根据可选性概念来定义 Either 类型：

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

使用这种方法，Either 类型可以实现为 Left 和 Right 变体，它们表示存在 A 类型或分别为 B。

type Left[A, B any] struct {
    data A
}

type Right[A, B any] struct {
    data B
}

真实示例

以下示例演示行动中的 Either 类型：

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

此代码有效地捕获和处理 Either 值，演示了可选性概念如何提供灵活且富有表现力的方式来处理错误或在 Go 中表示可选值。

以上是泛型如何使用任一类型改进 Go 中的错误处理？的详细内容。更多信息请关注PHP中文网其他相关文章！