Rumah >pembangunan bahagian belakang >Golang >Mengapa Antara Muka dengan Kekangan Jenis Dilarang dalam Go?

Mengapa Antara Muka dengan Kekangan Jenis Dilarang dalam Go?

Patricia Arquette
Patricia Arquetteasal
2024-11-07 04:12:031023semak imbas

Why Are Interfaces with Type Constraints Forbidden in 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!

Kenyataan:
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn