Mengapa Saya Tidak Boleh Berikan `Props[Contoh]` kepada `Props[Generik]` dalam Go Generics?

Sekatan Tugasan Jenis Generik

Pertimbangkan kod berikut:

type Generic interface {
    ID() string
}

type Props[G Generic] struct{}

type Example struct {
    id string
}

func (example Example) ID() string {
    return example.id
}

var ExampleProps = Props[Example]{}

func Problem() Props[Generic] {
    return ExampleProps
}

Kod ini gagal disusun dengan ralat :

cannot use ExampleProps (variable of type Props[Example]) as Props[Generic] value in return statement

Kenapa ni berlaku?

Go generik mencipta jenis nama yang baharu sepenuhnya apabila digunakan dengan argumen jenis yang berbeza. Dalam kes ini, Props[Contoh] dan Props[Generik] ialah jenis nama yang berbeza, walaupun Contoh melaksanakan Generik.

Fleksibiliti melalui Parameterisasi Jenis

Untuk menyelesaikan isu ini dan mengekalkan fleksibiliti, seseorang boleh membuat instantiate Props dengan parameter jenis:

func Problem[T Generic](v T) Props[T] {
    return Props[T]{Value: v}
}

Pendekatan ini membolehkan fungsi untuk mengembalikan Props[T] untuk jenis T generik tertentu yang melaksanakan Generik.

Ringkasan

Generik Dalam Go, memberikan contoh jenis generik dengan argumen jenis berbeza menghasilkan yang berbeza dinamakan jenis. Oleh itu, percubaan untuk menetapkan satu jenis kepada yang lain, walaupun argumen jenisnya memenuhi syarat tertentu, adalah tidak dibenarkan. Menggunakan parameterisasi jenis menawarkan penyelesaian untuk mengekalkan fleksibiliti dalam senario sedemikian.

Atas ialah kandungan terperinci Mengapa Saya Tidak Boleh Berikan `Props[Contoh]` kepada `Props[Generik]` dalam Go Generics?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!