Bagaimanakah Boleh Meniru Jenis Data Generik dan Algebra Tanpa Sokongan Asli?

Senarai Generik dalam Go Without Generics

Melaksanakan Senarai Generik

Go tidak menyokong generik secara asli, tetapi ia menawarkan pendekatan alternatif menggunakan jenis antara muka kosong yang dipanggil Any. Antara muka ini berfungsi sebagai pemegang tempat untuk sebarang jenis data.

type Any interface{}

Untuk menyemak sama ada Sebarang nilai adalah sifar, anda boleh menggunakan pakej reflect untuk memeriksa jenis asasnya.

if reflect.ValueOf(value).IsNil() {
    // Value is nil
}

Merancang Jenis Data Algebra

Jenis data algebra, seperti Contoh seperti Haskell yang disediakan, boleh dilaksanakan dalam Go menggunakan antara muka. Contohnya, untuk mewakili senarai terpaut:

type List[T Any] interface {
    Head() T
    Tail() List[T]
}

// Nil list
type Nil[T Any] struct{}

// Cons list
type Cons[T Any] struct {
    head T
    tail List[T]
}

Bekas untuk Objek dengan Jenis Medan Tertentu

Go tidak menyokong parameter jenis seperti yang dilakukan oleh Scala. Walau bagaimanapun, anda boleh mencipta jenis yang menjamin kehadiran a特定字段类型.

type Animal interface {
    SuitableFood() string
}

type GrassEatingAnimal struct {
    SuitableFood func() string
}

Anda boleh mencapai kefungsian yang serupa dengan menggunakan peta generik:

type AnimalMap[K Comparable, V Animal] map[K]V

Atas ialah kandungan terperinci Bagaimanakah Boleh Meniru Jenis Data Generik dan Algebra Tanpa Sokongan Asli?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!