Apakah Penggunaan Token Tilde (~) dalam Go Generics?

Memahami Token Tilde (~) dalam Go Generics

Pengenalan Token tilde (~) oleh Go telah membawa dimensi baharu kepada generik pengaturcaraan. Token ini membolehkan pembangun mentakrifkan jenis yang berkongsi jenis asas yang sama.

Apakah Token Tilde?

Dalam Go, token tilde (~) menandakan set semua jenis dengan jenis pendasar T. Sebagai contoh, ~T menunjukkan semua jenis yang jenis pendasarnya adalah T.

Mengapa ia Berguna?

Token tilde menyediakan cara yang fleksibel untuk menentukan antara muka generik yang boleh menerima jenis dengan jenis asas tertentu. Sebagai contoh, antara muka Tertib boleh ditakrifkan sebagai:

type Ordered interface {
  Integer | Float | ~string
}

Antara muka ini menentukan bahawa jenis mestilah sama ada Integer, Float atau jenis yang jenis asasnya ialah rentetan. Ini membenarkan jenis tersuai dengan jenis rentetan asas, seperti MyString, untuk memenuhi antara muka ini.

Jenis Dasar

Konsep jenis pendasar adalah penting untuk memahami tilde token. Jenis pendasar jenis T biasanya T itu sendiri, kecuali:

• Untuk jenis angka, boolean atau rentetan yang diisytiharkan, jenis pendasar ialah jenis itu sendiri.
• Untuk jenis komposit (struktur, kepingan, dsb.), jenis asas ialah jenis yang dirujuk oleh jenis komposit dalam jenisnya pengisytiharan.

Contoh Praktikal

Menggunakan token tilde, kekangan boleh dibuat untuk mengehadkan jenis yang boleh memenuhi antara muka tertentu. Sebagai contoh, kekangan yang dipanggil ExactSigned boleh ditakrifkan untuk hanya membenarkan jenis yang betul-betul int, int8, int16, int32 atau int64. Kekangan sedemikian tidak akan membenarkan jenis tersuai seperti MyInt8.

Sebaliknya, kekangan yang dipanggil kekangan. Ditandatangani menggunakan elemen ~ anggaran untuk membenarkan jenis yang jenis asasnya ialah int8. Ini membolehkan jenis tersuai seperti MyInt8 untuk memenuhi kekangan.

Gula Sintaktik

Token tilde boleh digunakan dalam kesatuan, kekangan tanpa nama dan juga dengan gula sintaksis. Terutama, anda boleh menggunakan elemen penghampiran dengan satu jenis untuk memudahkan kekangan penulisan.

Sebagai contoh, kekangan tanpa nama berikut adalah setara:

func echoFixedSize[T interface { ~int8 | ~int32 | ~int64 }](t T) { /* ... */ }

func echoFixedSizeSugar[T ~int8 | ~int32 | ~int64](t T) { /* ... */ }

func echoFixedSizeSugarOne[T ~int8](t T) { /* ... */ }

Kes Penggunaan Biasa

Elemen anggaran amat berguna untuk bekerja dengan jenis komposit yang perlu mempunyai kaedah. Sebagai contoh, untuk membenarkan kaedah diisytiharkan bagi jenis ByteSeq, jenis asasnya mesti terikat kepada pengecam:

type ByteSeq []byte

func (b ByteSeq) DoSomething() {}

Dengan menyatakan ~[]bait dalam kekangan, ia menjadi mungkin untuk membuat instantiate ByteSeq sebagai sah taip.

Penghadan

Adalah penting untuk ambil perhatian bahawa token tilde tidak boleh digunakan dengan parameter jenis. Sebagai contoh, kod berikut tidak sah:

type AnyApprox[T any] interface {
  ~T
}

Atas ialah kandungan terperinci Apakah Penggunaan Token Tilde (~) dalam Go Generics?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!