둘 중 하나 또는 하나의 반환 값을 처리하기 위해 Go에서 일반 양자택일 유형을 어떻게 구현할 수 있나요?

Go에서 일반 유형 중 하나 구현

소개

Go 1.18에서 제네릭이 등장하면서 개발자들은 제네릭을 만들 가능성을 고민해 왔습니다. [A, B] 유형 중 하나입니다. 이 유형은 값이 A 또는 B 유형일 수 있음을 나타냅니다. 이러한 유형이 유용한 상황에는 두 가지 가능한 값(예: 정상 결과 또는 오류) 중 하나를 반환하는 함수가 포함됩니다.

오류 처리를 위한 Go의 관용적 접근 방식은 "정상" 값과 오류 값을 모두 반환하는 것이지만, 어떤 사람들은 A 또는 오류 값 중 하나를 반환하려는 의도가 있을 때 함수가 A와 B를 모두 반환한다는 것을 암시하므로 이것이 의미상 올바르지 않다고 주장합니다. B.

도전

Go에서 두 유형 중 하나를 생성하는 것은 인터페이스에 두 개의 함수(하나는 유형 A용, 다른 하나는 B 유형용)를 인수로 허용하는 메서드가 포함되어야 하기 때문에 어려운 문제입니다. , Go에서는 유형 매개변수를 갖는 인터페이스 메소드를 허용하지 않습니다.

함수형 프로그래밍에서 영감을 얻은 솔루션

이 제한을 우회하려면 한 가지 접근 방식이 필요합니다. OCaml과 같은 함수형 프로그래밍 언어에서 솔루션을 빌리는 것입니다. 이 솔루션에서는 값을 나타내거나 아무것도 나타내지 않는(즉, 없음) Optional 유형을 정의합니다. 그런 다음 두 개의 Optional 유형, 즉 A 유형과 B 유형을 래핑하는 Each 유형을 정의합니다.

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
}

Ether 인터페이스는 값이 Left(A 유형)인지 또는 오른쪽(유형 B) 및 래핑된 Optional 유형을 검색합니다. Left 및 Right 구조체는 이러한 메서드를 구현하여 다양한 경우를 나타냅니다.

예

다음은 두 유형 중 하나를 사용하는 방법에 대한 예입니다.

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 이 예에서는 정수를 포함하는 Left 값인 e1과 문자열을 포함하는 Right 값인 e2라는 두 개의 Each 값을 만듭니다. is_left() 및 is_right() 메서드를 사용하여 기본 값에 액세스하고 그에 따라 처리하는 방법을 사용하여 두 값에 대해 패턴 일치를 수행하는 방법을 보여줍니다.

위 내용은 둘 중 하나 또는 하나의 반환 값을 처리하기 위해 Go에서 일반 양자택일 유형을 어떻게 구현할 수 있나요?의 상세 내용입니다. 자세한 내용은 PHP 중국어 웹사이트의 기타 관련 기사를 참조하세요!