Go Generics: Mengapa Saya Tidak Boleh Berikan `Props[Contoh]` kepada `Props[Generic]`?

Ketidakpadanan Argumen Jenis Generik: Mengapa Tugasan Gagal

In Go, cuba untuk menetapkan nilai jenis Props[Contoh] kepada pembolehubah taip Props[Generik] akan mengakibatkan ralat. Ini kerana, walaupun Contoh melaksanakan antara muka Generik, membuat instantiation jenis generik dengan argumen jenis berbeza menghasilkan jenis nama yang berbeza.

Taip Instantiation dengan Generik

Apabila menentukan jenis hujah untuk jenis generik, sama ada dalam hujah fungsi atau jenis pulangan, jenis baharu yang berbeza dijadikan instantiated. Sebagai contoh:

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

Baris ini mengibaratkan Props dengan argumen jenis Generik, menghasilkan Props[Generik]. Begitu juga, ExampleProps dijadikan instantiated dengan jenis hujah Contoh, menghasilkan Props[Contoh].

Type Incomparability and Assignment

Sebagai Props[Contoh] dan Props[Generik] ialah dua jenis bernama berbeza, ia tidak boleh ditugaskan kepada satu sama lain, walaupun jenis digunakan sebagai hujah (cth., Contoh dan Generik) memenuhi syarat tugasan seperti melaksanakan antara muka.

Konsep ini terpakai sama dengan generik yang digunakan dengan mana-mana. any ialah jenis statik, alias untuk antara muka{}, dan ia tidak sepadan dengan T atau mana-mana jenis tertentu.

Menangani Isu

Untuk menyelesaikan ralat tugasan sambil mengekalkan fleksibiliti, pertimbangkan untuk membuat instantiate Props dengan parameter jenis:

type Props[G Generic] struct{ Value G }

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

Ini membolehkan anda membuat instantiate Props dengan argumen jenis yang memenuhi kekangan yang diperlukan dan menggunakan nilai yang dikembalikan seperti yang diharapkan.

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