Bagaimanakah Token Tilde (~) Baharu Go Mempengaruhi Kekangan Jenis dalam Generik?

In Go, Memahami Token Tilde Baharu ~

Go telah memperkenalkan token baharu, tilde ~, yang mempunyai kepentingan dalam konteks daripada generik. Ia melambangkan set semua jenis dengan jenis asas T.

Dalam contoh yang disediakan:

type Ordered interface {
      Integer | Float | ~string
}

Rentetan ~ menandakan satu set jenis yang jenis asasnya ialah rentetan. Ini boleh termasuk jenis yang ditentukan pengguna seperti MyString yang membalut jenis rentetan, menyediakan kefungsian tambahan.

Jenis Pendasar

Token tilde bergantung pada konsep jenis pendasar. Spesifikasi bahasa Go secara eksplisit mentakrifkan jenis asas setiap jenis. Konsep ini menjadi penting dalam memahami kegunaan ~.

Pertimbangkan perkara berikut:

type Foo struct {
    n int
}

type MyInt8 int8

Di sini, Foo mentakrifkan struct dengan jenis asas struct { n int }, manakala MyInt8 ialah alias untuk int8, memberikannya jenis asas int8.

Aplikasi Praktikal

Implikasi praktikal token ~ muncul dalam kekangan antara muka. Kekangan antara muka dengan hanya elemen tepat (tanpa sebarang elemen anggaran) tidak akan membenarkan jenis yang ditentukan pengguna seperti MyInt8.

Sebagai contoh, jika kita mentakrifkan antara muka:

type ExactSigned interface {
    int | int8 | int16 | int32 | int64
}

Dan fungsi :

func echoExact[T ExactSigned](t T) T { return t }

Kami tidak boleh membuat instantiat echoExact dengan MyInt8. Walau bagaimanapun, menggunakan elemen kekangan, kita boleh mengubah suai kekangan untuk membenarkan elemen penghampiran, seperti ~int8.

Ciri Tambahan

Selain menggunakan elemen penghampiran dalam kesatuan, Go juga membenarkan mereka dalam kekangan tanpa nama dengan atau tanpa gula sintaksis. Sebagai contoh, kekangan berikut adalah sah:

type Signed interface {
    ~int8 | ~int32 | ~int64
}

Satu kes penggunaan biasa untuk elemen anggaran ialah jenis komposit seperti kepingan dan struktur yang memerlukan kaedah. Dalam kes sedemikian, pengikatan pengecam diperlukan untuk mengisytiharkan kaedah dan elemen penghampiran membenarkan instantiasi dengan jenis tersuai.

Atas ialah kandungan terperinci Bagaimanakah Token Tilde (~) Baharu Go Mempengaruhi Kekangan Jenis dalam Generik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!