Adakah terdapat cara untuk memastikan bahawa nilai yang diluluskan mempunyai medan tertentu menggunakan generik?

Adakah terdapat cara untuk memastikan nilai yang diluluskan mempunyai medan tertentu menggunakan generik? Ini adalah masalah yang sering dihadapi oleh banyak pembangun apabila menggunakan generik. Dalam PHP, kita boleh mencapai fungsi ini melalui kekangan jenis dan pelaksanaan antara muka. Mula-mula, kita boleh menggunakan kekangan jenis untuk memastikan bahawa nilai yang diluluskan ialah contoh kelas. Kami kemudiannya boleh menggunakan antara muka untuk mentakrifkan spesifikasi bagi medan tertentu, memastikan bahawa nilai yang diluluskan mempunyai medan ini. Dengan cara ini, kami boleh menggunakan generik dalam kod kami dan memastikan bahawa nilai yang diluluskan memenuhi keperluan medan tertentu. Dengan cara ini, kami boleh memanfaatkan generik dengan lebih baik dan memastikan kebolehpercayaan dan keselamatan kod kami.

Kandungan soalan

Saya cuba mentakrifkan fungsi generik dalam go yang menerima nilai dengan beberapa medan, seperti id int. Saya telah mencuba beberapa kaedah tetapi tidak ada yang berkesan. Berikut ialah contoh perkara yang saya telah cuba.

package main

import (
    "fmt"
)

func Print[T IDer](s T) {
    fmt.Print(s.ID)
}

func main() {
    Print(Person{3, "Test"})
}

type IDer interface {
    ~struct{ ID int }
}

type Person struct {
    ID   int
    Name string
}

type Store struct {
    ID     int
    Domain string
}

Ini adalah pautan taman permainan: https://gotipplay.golang.org/p/2i4rsucwagf

Dalam contoh di atas, saya ingin memastikan bahawa setiap nilai yang dihantar ke fungsi print mempunyai sifat print 函数的每个值都有一个属性 id int，该属性也可以在函数中访问。有什么方法可以在 go 中实现此目的，而无需在接口中定义方法（例如 getid() int yang juga boleh diakses dalam fungsi tersebut. Adakah terdapat sebarang cara untuk mencapai ini secara berterusan tanpa menentukan kaedah dalam antara muka (cth. getid() int)?

Penyelesaian

Adakah terdapat sebarang cara untuk mencapai ini secara berterusan tanpa menentukan kaedah dalam antara muka (cth. getid() int)?

Tidak, anda perlu menentukan kaedah dalam antara muka.

Pelaksanaan generik dalam go 1.18 tidak menyokong jenis struct, walaupun cadangan parameter jenis primitif mencadangkan sokongan. Untuk mengakses medan awam dalam kesatuan, lihat juga penjelasan ini.

Yang berkata, saya rasa patut menunjukkan salah faham yang boleh timbul daripada contoh anda: maksud penghampiran ~t (jenis tilde) bermaksud "set jenis yang jenis asasnya ialah t ."

Sekarang, apabila anda menulis:

~struct{ id int }

Ini bermakna jenis asasnya adalah tepat struct{ id int }. Bagaimanapun, ini tidak termasuk struktur dengan medan struct{ id int }。无论如何，这不包括具有字段 id int 和其他内容的结构。例如。 type foo struct { id int; 的底层类型；名称字符串 } 是 struct { id int;命名字符串 }，而不是 struct{ id int }danbahan lain. Contohnya. type foo struct { underlying type of id int } ialah struct { id int named string}, bukan struct{ id int } , jadi kekangan itu tidak boleh dipenuhi.

Pelaksanaan parameter masa semasa tidak mempunyai sintaks untuk menentukan jenis struktur separa. Saya masih ingat cadanganuntuk menambah istilah medan (dan taip istilah dan kaedah) pada kekangan antara muka), disiarkan secara langsung:

type IDer interface {
    ID int
}

Ini akan mencapai apa yang anda mahu lakukan tanpa memusnahkan makna tilde ~. Tetapi ini tidak akan disertakan dalam go 1.18.

Atas ialah kandungan terperinci Adakah terdapat cara untuk memastikan bahawa nilai yang diluluskan mempunyai medan tertentu menggunakan generik?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!