我們如何在 Go 中實作通用的 Either 類型來處理 Either/Or 回傳值？

在Go 中實現泛型任一類型

簡介

隨著Go 1.18 中泛型的出現，開發者開始思考創造泛型的可能性[A, B] 型之一。此類型表示一個值可以是 A 類型或 B 類型。此類類型有用的情況包括傳回兩個可能值之一的函數（例如，正常結果或錯誤）。

雖然Go 中錯誤處理的慣用方法是返回「正常」值和錯誤值，但有些人認為這在語義上是不正確的，因為它意味著當意圖返回A 或B 時，函數會同時回到A 和B B.

挑戰

在Go 中建立Either類型是一項挑戰，因為它的介面必須包含一個接受兩個函數作為參數的方法，一個用於類型 A，一個用於類型 B。但是，Go 不允許介面方法有型別參數。

受函數式程式設計啟發的解決方案

要規避此限制，一種方法是藉用 OCaml 等函數式程式語言的解決方案。在此解決方案中，我們定義了一個可選類型，它可以表示一個值，也可以不表示任何內容（即 None）。然後，我們定義一個 Either 類型，它包裝了兩種可選類型，一種用於類型 A，一種用於類型 B。

type Optional[T any] interface {
    get() (T, error)
}

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

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

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

Either 介面定義了方法來確定該值是 Left（類型 A）還是 a右鍵（類型 B）並檢索包裝的可選類型。 Left 和 Right 結構體實作這些方法來表示不同的情況。

範例

以下是如何使用Either 類型的範例：

import (
    "fmt"
    "os"
)

func main() {
    var e1 Either[int, string] = left[int, string](4143)
    var e2 Either[int, string] = right[int, string]("G4143")
    fmt.Println(e1)
    fmt.Println(e2)
    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)
        }
    }
    if e2.is_right() {
        if r, err := e2.find_right().get(); err == nil {
            fmt.Printf("The string is: %s\n", r)
        } else {
            fmt.Fprintln(os.Stderr, err)
        }
    }
}

In在本例中，我們建立兩個Either 值：e1 是包含整數的Left ，e2 是包含字串的Right。我們示範如何使用 is_left() 和 is_right() 方法對 Either 值進行模式匹配，以存取底層值並相應地處理它們。

以上是我們如何在 Go 中實作通用的 Either 類型來處理 Either/Or 回傳值？的詳細內容。更多資訊請關注PHP中文網其他相關文章！