Bagaimanakah Kami Boleh Melaksanakan Sama ada Jenis Generik dalam Go Menggunakan Generik dan Pilihan?

Generik Sama ada Jenis Pelaksanaan dalam Go

Dalam Go 1.18, generik menawarkan kemungkinan yang menjanjikan untuk menyatakan konsep yang kompleks. Satu konsep sedemikian ialah Either type, yang boleh mewakili nilai sama ada jenis A atau jenis B. Artikel ini meneroka cara yang berpotensi untuk melaksanakan Either type dalam paradigma generik baharu Go.

Cabaran timbul daripada sekatan Go pada kaedah antara muka tidak mempunyai parameter jenis. Halangan ini menghalang pelaksanaan langsung antara muka Sama ada.

Meniru Sama ada dengan Pilihan

Salah satu pendekatan ialah menyesuaikan konsep pengaturcaraan berfungsi Option. Antara muka Pilihan [T] boleh mewakili nilai jenis T atau ketiadaan nilai. Dengan memanfaatkan generik Go, kami boleh melanjutkan idea ini untuk mencipta Pilihan untuk sama ada A atau B.

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

func CreateNone[T any]() Optional[T] {
    return None[T]{}
}

func CreateSome[T any](data T) Optional[T] {
    return Some[T]{data}
}

Melaksanakan Sama ada

Dengan Pilihan ditetapkan, kami kini boleh bina Sama ada jenis yang memanfaatkannya.

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

Struktur Kiri dan Kanan mewakili nilai jenis A dan B, masing-masing. is_left and is_right menunjukkan jenis yang dipegang oleh Sama ada. find_left dan find_right menyediakan pembalut Pilihan untuk nilai masing-masing.

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

func left[A, B any](data A) Either[A, B] {
    return Left[A, B]{data}
}

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

func right[A, B any](data B) Either[A, B] {
    return Right[A, B]{data}
}

Penggunaan

Mana-mana jenis yang dilaksanakan boleh digunakan seperti berikut:

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

Pendekatan ini secara berkesan mencontohi Sama ada jenis sambil menghormati kekangan antara muka Go. Ia membolehkan ungkapan nilai yang mungkin tergolong dalam salah satu daripada dua jenis, menawarkan fleksibiliti dan keselamatan jenis yang lebih besar dalam kod Go.

Atas ialah kandungan terperinci Bagaimanakah Kami Boleh Melaksanakan Sama ada Jenis Generik dalam Go Menggunakan Generik dan Pilihan?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!