Bagaimanakah Kaedah Dikongsi Boleh Digunakan dengan Kekangan Kesatuan Jenis Go Generics?

Go Generics: Membuka Kunci Kaedah Dikongsi dalam Kesatuan Jenis

Dalam ciri generik baharu Go, kekangan gabungan jenis membenarkan berbilang jenis terikat kepada satu parameter jenis generik. Walau bagaimanapun, persoalan timbul: bagaimana kaedah kongsi boleh digunakan merentas jenis ini?

Percubaan Awal dan Ralat Pengkompil

antara muka jenis AB {

*A | *B

}

func (a *A) some() bool {

return true

}

func (b *B) some() bool {

return false

}

func some [T AB](x T) bool {

return x.some()   // undefined

}

Kod di atas cuba menggunakan kaedah yang dikongsi dalam beberapa fungsi, tetapi menghadapi ralat, kerana pengkompil tidak dapat menentukan yang mana beberapa kaedah untuk membuat panggilan.

Penyelesaian menggunakan Antara Muka Kekangan

Untuk mengatasi had ini, kaedah kongsi boleh ditambah terus ke kekangan antara muka:

taip antara muka AB {

*A | *B
some() bool

}

serlahkan [T AB](x T) bool {

return x.some()   // works

}

Ini memastikan bahawa jenis generik T mesti memenuhi kekangan antara muka, yang termasuk beberapa kaedah.

Penghadan dalam Go 1.18

Adalah penting untuk ambil perhatian bahawa ini penyelesaian adalah langkah sementara kerana sekatan dalam Go 1.18. Spesifikasi Go membenarkan kaedah dikongsi digunakan dalam gabungan jenis, tetapi pelaksanaan pengkompil semasa mengehadkannya kepada kaedah yang diisytiharkan secara eksplisit dalam antara muka kekangan.

Resolusi dalam Go 1.19

Nota keluaran Go 1.18 mengakui had ini dan menyatakan rancangan untuk mengalih keluarnya dalam Go 1.19, membenarkan akses terus kepada kaedah yang dikongsi dalam kesatuan jenis. Peningkatan ini akan meningkatkan ekspresif dan fleksibiliti Go generik.

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