Rumah > Artikel > pembangunan bahagian belakang > Parameter jenis mengekang selanjutnya dalam Golang (menggunakan kaedah Mengandungi untuk melaksanakan Senarai generik)
Andaikan saya ingin menulis jenis list
generik yang mengandungi beberapa kaedah berguna seperti:
type list[t any] []t func (l *list[t]) len() int func (l *list[t]) get(pos int) (t t, err error) func (l *list[t]) set(pos int, t t) error func (l *list[t]) append(t ...t) func (l *list[t]) insert(t t, pos int) error func (l *list[t]) remove(pos int) (t t, err error) // etc...
Walau bagaimanapun, terdapat kaedah berguna lain yang mungkin memerlukan pengehadan lagi jenis elemen senarait
. Sebagai contoh, kami tidak boleh melaksanakan kaedah mengandungi
pada jenis t
。例如,我们无法在此 list
类型上实现 contains
ini:
func (l *list[t]) contains(t t) bool { for _, s := range *l { if s == t { // compiler error: invalid operation: s == t (incomparable types in type set) return true } } return false }
Kami hanya boleh melaksanakan list
为,我们只能实现 contains
jika kami mengisytiharkan
type List[T comparable] []T
Tetapi ini menjadikannya mustahil untuk mencipta jenis yang tiada tandingan list
.
Adakah terdapat cara untuk mendapatkan yang terbaik dari kedua-dua dunia? I.e. adakah kaedah t
的 list[t]
,但在 t
具有可比性的情况下允许它有一个 contains
tersedia untuk jenis yang tiada tandingan?
Saya terfikir tentang:
uncomparablelist
/uncomparablelist
/list
或 list
/comparablelist
atau comparablelist
) 包含
Jadikan Tetapi saya tidak begitu menyukai mana-mana daripada mereka.
Saya rasa cara yang munasabah untuk menyelesaikan masalah ini ialah dengan lulus pembanding yang jelas:
func (l *list[t]) contains(t t, cmp func(t, t) bool) bool { for _, s := range *l { if cmp(s, t) { return true } } return false }Maka bolehlah
func main() { list := list[int]([]int{1,2,3}) fmt.println(list.contains(2, func(a, b int) bool { return a == b })) // true }Untuk jenis yang serupa, anda boleh memberikan nilai lalai:
func eq[t comparable](a, b t) bool { return a == b }Jadi perkara di atas menjadi
func main() { list := List[int]([]int{1,2,3}) fmt.Println(list.Contains(2, Eq[int]) // true }
list
类型中嵌入一个比较器,并为其指定默认值 func(a, b t) bool { return false }
Anda juga boleh membenamkan pembanding dalam jenis dan memberikan nilai lalai func(a, b t) bool { return false }
dan mendedahkan pembanding tersuai yang boleh dihantar ke dalamnya Constructor. Tetapi ini mungkin terlalu kabur untuk anda. 🎜Atas ialah kandungan terperinci Parameter jenis mengekang selanjutnya dalam Golang (menggunakan kaedah Mengandungi untuk melaksanakan Senarai generik). Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!