Bagaimanakah ~ Token dalam Go Generik Mengendalikan Jenis Asas?

Memahami Token Tilde (~) dalam Go Generics

Go telah memperkenalkan token baharu ~, yang mewakili set jenis dengan jenis asas T.

Definisi

Token ~T menandakan elemen kekangan yang menentukan set jenis yang jenis asasnya ialah T.

Contoh

Pertimbangkan perkara berikut contoh:

type Ordered interface {
    Integer | Float | ~string
}

Dalam contoh ini, elemen kekangan ~rentetan bermakna sesuatu jenis mesti mempunyai jenis rentetan asas untuk memenuhi antara muka Tertib.

Jenis Dasar

Takrifan jenis asas adalah penting untuk memahami tingkah laku unsur kekangan ~T. Spesifikasi bahasa mentakrifkan jenis pendasar seperti berikut:

• Untuk jenis angka, boolean atau rentetan yang dipraisytiharkan, atau literal jenis, jenis pendasarnya ialah diri mereka sendiri.
• Untuk jenis lain, pendasarnya jenis ialah jenis asas jenis yang mereka rujuk dalam jenisnya pengisytiharan.

Implikasi Praktikal

Implikasi praktikal token ~T ialah ia membenarkan jenis tersuai anda digunakan dalam antara muka dan kekangan, walaupun jika antara muka dan kekangan tersebut menentukan jenis yang tepat. Sebagai contoh, pertimbangkan kod berikut:

type MyInt8 int8

// Cannot instantiate with MyInt8
func echoExact[T constraints.ExactSigned](t T) T { return t }

// Can instantiate with MyInt8
func echo[T constraints.Signed](t T) T { return t }

Dalam contoh ini, jenis kekangan.ExactSigned tidak membenarkan jenis tersuai, manakala jenis kekangan.Ditandatangani disebabkan oleh penggunaan elemen kekangan ~T.

Kesimpulan

Token ~T menyediakan cara yang fleksibel untuk menentukan kekangan jenis dalam Go generik. Ia membolehkan penggunaan jenis tersuai yang mempunyai jenis asas yang sepadan dengan kekangan yang ditentukan, meningkatkan ekspresi dan kebolehgunaan kod generik.

Atas ialah kandungan terperinci Bagaimanakah ~ Token dalam Go Generik Mengendalikan Jenis Asas?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!