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!