Bagaimanakah Saya Boleh Mengakses Kaedah Dikongsi dalam Kekangan Kesatuan Go Generics?

Mengakses Kaedah Dikongsi dalam Kekangan Kesatuan dengan Go Generik

Generik Dalam Go (v1.18), kekangan kesatuan taip membenarkan penentuan antara muka yang menerima nilai daripada pelbagai jenis. Walau bagaimanapun, persoalan timbul tentang cara untuk mengakses kaedah kongsi antara jenis ini.

Pertimbangkan contoh berikut:

type A struct {}
type B struct {}

type AB interface {
    *A | *B
}

func (a *A) some() bool {...}
func (b *B) some() bool {...}

func some[T AB](x T) bool {
    return x.some()  // error
}

Dalam kod ini, sementara A dan B berkongsi beberapa kaedah, ralat berlaku apabila cuba mengaksesnya daripada beberapa [T AB]. Ini kerana pengkompil hanya mengenali kaedah yang diisytiharkan secara eksplisit dalam antara muka kekangan.

Untuk menyelesaikan isu ini, seseorang boleh menambah kaedah yang dikongsi pada kekangan antara muka, seperti yang dilihat di bawah:

type AB interface {
    *A | *B
    some() bool
}

func some[T AB](x T) bool {
    return x.some()  // Works
}

Pendekatan ini mengehadkan T kepada jenis A atau B yang melaksanakan beberapa kaedah.

Walau bagaimanapun, penyelesaian ini adalah penyelesaian untuk had dalam Go 1.18 generik. Spesifikasi bahasa menunjukkan bahawa ini sepatutnya boleh dilakukan, tetapi pengkompil tidak menyokongnya. Had ini telah diperakui dalam nota keluaran Go 1.18 dan didokumenkan dalam isu #51183. Harapan adalah agar sekatan ini dibuang dalam Go 1.19.

Atas ialah kandungan terperinci Bagaimanakah Saya Boleh Mengakses Kaedah Dikongsi dalam Kekangan Kesatuan Go Generics?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!