Rumah >pembangunan bahagian belakang >Golang >Mengapa Antara Muka dengan Kekangan Jenis Dilarang dalam Go?
Kekangan Jenis Antara Muka: Memahami dan Mengelak Ralat "Kekangan Jenis"
Dalam Go, antara muka ialah binaan berkuasa yang mentakrifkan satu set kaedah yang sesuatu jenis mesti dilaksanakan. Walau bagaimanapun, tidak semua antara muka dicipta sama. Antara muka yang mengandungi kekangan jenis mengenakan had tambahan pada penggunaannya.
Pertimbangkan takrif jenis berikut:
type Number interface { int | int64 | float64 }
Antara muka ini mentakrifkan jenis Nombor yang boleh mewakili sama ada int, int64 atau float64. Walau bagaimanapun, spesifikasi bahasa Go secara eksplisit melarang menggunakan antara muka sedemikian dengan elemen jenis dalam sebarang konteks selain sebagai kekangan parameter jenis.
Pengkompil akan menimbulkan ralat "antara muka mengandungi kekangan jenis" apabila anda cuba menggunakan antara muka dengan jenis elemen dalam senario lain. Sebagai contoh, coretan kod berikut akan gagal untuk disusun:
type NumberSlice []Number // interface contains type constraints func main() { a := []Number{Number(1), Number(2), Number(3), Number(4)} // cannot use interface Number in conversion }
Ralat ini adalah kerana Nombor ialah antara muka dengan kekangan jenis, dan oleh itu ia tidak boleh digunakan sebagai jenis unsur hirisan.
Sama seperti antara muka dengan elemen jenis, antara muka yang membenamkan antara muka setanding atau bukan asas lain juga bukan asas. Untuk mengelakkan ralat ini, pastikan antara muka anda hanya mengandungi kaedah atau benamkan antara muka asas.
Contoh Antara Muka Asas dan Bukan Asas:
Asas: Hanya kaedah
type A1 interface { GetName() string }
Asas: Kaedah dan membenamkan antara muka asas
type B1 interface { A1 SetValue(v int) }
Bukan Asas: Benam setanding
type Message interface { comparable Content() string }
Bukan Asas: Mempunyai elemen jenis (kesatuan)
type Number interface { int | int64 | float64 }
Bukan Asas: Membenamkan antara muka bukan asas
type SpecialNumber interface { Number IsSpecial() bool }
Penggunaan Antara Muka Yang Betul dengan Kekangan Jenis
Antaramuka dengan kekangan jenis hanya boleh digunakan sebagai kekangan parameter jenis. Contohnya:
type Coordinates[T Number] struct { x, y T } func sum[T Number](a, b T) T { return a + b }
Dalam senario ini, antara muka digunakan untuk mengehadkan jenis yang dibenarkan untuk jenis dan fungsi generik.
Atas ialah kandungan terperinci Mengapa Antara Muka dengan Kekangan Jenis Dilarang dalam Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!