Adakah terdapat cara untuk mengekang parameter jenis (generik)?

Editor PHP Youzi membincangkan soalan biasa: Adakah terdapat cara untuk mengekang parameter jenis (sejagat)? Dalam PHP, kita selalunya perlu mengenakan kekangan jenis pada parameter fungsi atau kaedah untuk memastikan bahawa parameter yang diluluskan memenuhi keperluan jenis tertentu. Walau bagaimanapun, pada masa ini tiada cara langsung untuk mengekang parameter jenis generik, seperti tatasusunan atau objek. Walau bagaimanapun, kita boleh melaksanakan kekangan pada parameter jenis biasa dengan menulis logik semakan jenis yang lebih ketat untuk memastikan ketepatan dan ketekalan parameter. Dalam artikel ini, kami akan meneroka beberapa cara untuk melaksanakan kekangan parameter jenis generik, serta kebaikan dan keburukannya.

Kandungan soalan

Saya baru mula belajar generik. Jadi saya cuba untuk menyamaratakan pemacu untuk pangkalan data tersuai yang berjalan pada beberapa mesej protobuf.

Saya ingin mencari jalan untuk mengekang lagi jenis generik saya, tetapi sebagai penunjuk, iaitu pastikan (beritahu pengkompil) bahawa kekangan e melaksanakan kaedah lain.

Pertama, saya mengehadkan entiti yang boleh dikendalikan oleh pangkalan data.

type entity interface {
   pb.msga | pb.msgb | pb.msgc
}

Kemudian, antara muka biasa yang menerangkan kefungsian pangkalan data telah ditulis supaya ia boleh digunakan oleh perkhidmatan berbeza yang mengendalikan mesej mentah mereka sendiri:

type db[e entity] interface {
   get(...) (e, error)
   list(...) ([]e, error)
   ...
}

Setakat ini bagus. Walau bagaimanapun, saya juga mahu (nyah) mensiri entiti ini apabila berkomunikasi dengan pangkalan data supaya mereka boleh dihantar melalui rangkaian, diklon dan digabungkan. Perkara seperti ini:

func encode[e entity](v *e) ([]byte, error) {
   return proto.marshal(v)
}

Namun, kod di atas memberikan ralat berikut:

cannot use val (variable of type *e) as type protoreflect.protomessage in argument to proto.marshal: *e does not implement protoreflect.protomessage (type *e is pointer to type parameter, not type parameter)

Masalahnya ialah kaedah proto.marshal 需要实体（*e）来实现 proto.message 接口，即 protoreflect(), yang semua jenis entiti saya laksanakan, tetapi ia tidak dikekang dan tidak boleh disimpulkan oleh pengkompil.

Saya juga cuba mentakrifkan entiti sebagai:

type Entity interface {
   *pb.MsgA | *pb.MsgB | *pb.MsgC
   proto.Message
}

Walau bagaimanapun, ini tidak berasa betul, selain fakta bahawa saya perlu melakukan beberapa operasi protreflect tambahan untuk membuat instantiate proto.messages yang dirujuk oleh penuding entiti.

Penyelesaian

Anda boleh melakukan ini:

func encode[m interface { *e; proto.message }, e entity](v m) ([]byte, error) {
    return proto.marshal(v)
}

Jika anda mahukan sintaks yang lebih ringkas daripada di atas, anda boleh membatalkan kekangan mesej:

type Message[E Entity] interface {
    *E
    proto.Message
}

func Encode[M Message[E], E Entity](v M) ([]byte, error) {
    return proto.Marshal(v)
}

https://www.php.cn/link/20ba66f905957b34253d9d7abde919f3

Atas ialah kandungan terperinci Adakah terdapat cara untuk mengekang parameter jenis (generik)?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!