Bagaimanakah Token Tilde (~) Berfungsi dalam Go Generics untuk Mentakrifkan Jenis Asas?

Memahami Token Tilde (~) dalam Go Generics

Dalam Go generik, token tilde (~) memainkan peranan penting dalam menentukan jenis asas bagi jenis tertentu. Ia beroperasi dalam bentuk ~T, menunjukkan koleksi jenis yang berkongsi T sebagai jenis asasnya.

Konsep ini amat berguna dalam kes di mana anda ingin menentukan kekangan yang membenarkan jenis yang diperoleh daripada jenis asas tertentu. Sebagai contoh, pertimbangkan kekangan antara muka berikut:

type Ordered interface {
    Integer | Float | ~string
}

Dalam contoh ini, kekangan mentakrifkan antara muka yang boleh menerima sebarang jenis sama ada integer, apungan atau jenis yang jenis asasnya ialah rentetan . Ini bermakna jenis seperti MyString, yang mentakrifkan jenis rentetan tersuai, juga boleh memenuhi kekangan ini selagi jenis pendasarnya kekal rentetan.

Jenis Dasar dalam Go

Istilah "jenis asas" merujuk kepada jenis asas yang mendasari jenis tertentu. Dalam Go, ini ditentukan berdasarkan pengisytiharan jenis. Untuk jenis asas seperti int, rentetan dan bool, jenis asasnya ialah jenis itu sendiri. Walau bagaimanapun, untuk jenis komposit seperti struct, hirisan dan antara muka, jenis asas ialah jenis yang dirujuk dalam pengisytiharan jenis.

Contoh Penggunaan Token Tilde

Kod berikut menunjukkan penggunaan token tilde:

type Foo struct {
    n int
}

type ByteSlice []byte

type MyInt8 int8

type MyString string

func echoExact[T ExactSigned](t T) T {
    // Only allows exact types, excluding MyInt8
}

func echo[T constraints.Signed](t T) T {
    // Allows types with underlying type int8, including MyInt8
}

Dalam ini contoh, ExactSigned hanya menggunakan jenis tepat, yang tidak termasuk MyInt8. Sebaliknya, kekangan.Ditandatangani membenarkan MyInt8 kerana ia mengandungi elemen anggaran seperti ~int8.

Nota: Had Token Tilde

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

type AnyApprox[T any] interface {
    ~T
}

Atas ialah kandungan terperinci Bagaimanakah Token Tilde (~) Berfungsi dalam Go Generics untuk Mentakrifkan Jenis Asas?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!