Kekangan Jenis Antara Muka: Memahami Ralat "Kekangan Jenis"
Dalam Go, antara muka boleh berfungsi sebagai kekangan jenis untuk menyekat jenis yang boleh memenuhi mereka. Walau bagaimanapun, antara muka tertentu, termasuk yang mengandungi kekangan jenis, menghadapi had dalam penggunaan.
Memahami Kekangan Jenis
Kekangan jenis merujuk kepada antara muka yang mengandungi elemen jenis, seperti kesatuan atau jenis terbenam yang setanding. Antara muka ini dianggap bukan asas dan tidak boleh digunakan sebagai jenis sebenar untuk nilai atau pembolehubah atau sebagai sebahagian daripada jenis bukan antara muka.
Contoh:
Pertimbangkan perkara berikut antara muka dengan kekangan jenis:
type Number interface { int | int64 | float64 }
Sekatan pada Permulaan Slice
Antara muka dengan kekangan jenis, seperti Nombor, tidak boleh digunakan untuk memulakan hirisan secara langsung. Sebagai contoh, baris berikut akan menimbulkan ralat:
a := []Number{Number(1), Number(2), Number(3), Number(4)}
Sebab Ralat
Ralat "antara muka mengandungi kekangan jenis: tidak boleh menggunakan antara muka dalam penukaran" berpunca daripada sifat bukan asas antara muka Nombor. Antara muka dengan kekangan jenis hanya boleh digunakan dalam dua senario tertentu:
Contoh Penggunaan Yang Dibenarkan
Daripada memulakan terus sekeping Nombor, kita boleh menggunakan kekangan parameter jenis berikut:
type Coordinates[T Number] struct { x, y T }
Kesimpulan
Antara muka dengan kekangan jenis berfungsi untuk tujuan tertentu dalam Go. Memahami hadnya dan penggunaan yang sesuai adalah penting untuk mengelakkan ralat dan memastikan tingkah laku program yang betul.
Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Menggunakan Kekangan Jenis Antara Muka untuk Memulakan Slice dalam Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!