Bagaimanakah Saya Boleh Mengendalikan Jenis Generik untuk Antara Muka Pelaksanaan Penunjuk dalam Go?

Jenis Generik untuk Penunjuk Melaksanakan Antara Muka dalam Go

Dalam Go, apabila bekerja dengan antara muka, ia boleh berguna untuk mencipta fungsi generik yang beroperasi pada jenis data yang melaksanakan antara muka tersebut. Walau bagaimanapun, jika antara muka mewakili jenis penuding, menentukan jenis generik untuk penuding boleh menjadi mencabar.

Untuk menangani perkara ini, Go menyediakan mekanisme untuk mengisytiharkan antara muka dengan parameter jenis, yang membenarkan definisi antara muka yang dijangkakan. jenis pelaksana untuk menjadi penunjuk kepada parameter jenisnya. Sebagai contoh, pertimbangkan antara muka berikut:

type A interface {
  SomeMethod()
}

Jika anda mempunyai pelaksanaan antara muka ini melalui penunjuk struktur, seperti:

type Aimpl struct {}

func (a *Aimpl) SomeMethod() {}

Anda mungkin menghadapi masalah semasa cuba lulus penunjuk kepada Aimpl kepada fungsi generik yang menjangkakan fungsi dengan parameter A. Sebab untuk ini ialah fungsi generik menjangkakan jenis yang melaksanakan antara muka A, bukan penunjuk kepada jenis yang melaksanakannya.

Untuk menyelesaikannya, anda boleh mengubah suai definisi antara muka untuk menentukan parameter jenis :

type A[P any] interface {
  SomeMethod()
  *P
}

Ini menunjukkan bahawa antara muka menjangkakan jenis yang melaksanakannya menjadi penunjuk kepada parameter jenis P.

Seterusnya, anda perlu melaraskan tandatangan fungsi generik untuk menerima jenis antara muka yang diubah suai:

func Handler[P any, T A[P]](callback func(result T)) {
  result := new(P)
  callback(result)
}

Fungsi generik kini mengambil fungsi dengan parameter jenis T, yang mesti melaksanakan antara muka A yang diubah suai. Apabila anda menggunakan fungsi dengan penuding kepada Aimpl, ia akan mengenal pasti jenis pelaksana dengan betul dan melaksanakan seperti yang dijangkakan.

Walau bagaimanapun, jika anda tidak dapat mengubah suai takrifan antara muka A asal, anda boleh mencipta sendiri antara muka pembalut yang merangkumi parameter jenis:

type MyA[P any] interface {
  A
  *P
}

Dengan membalut antara muka asal, anda boleh menggunakan pendekatan yang sama seperti sebelum:

func Handler[P any, T MyA[P]](callback func(result T)) {
  result := new(P)
  callback(result)
}

Ini membolehkan anda bekerja dengan jenis penuding yang melaksanakan antara muka A asal sambil mengekalkan tingkah laku generik yang diingini.

Atas ialah kandungan terperinci Bagaimanakah Saya Boleh Mengendalikan Jenis Generik untuk Antara Muka Pelaksanaan Penunjuk dalam Go?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!