


Golang generik - tidak boleh menggunakan jenis dan bukannya jenis yang sama apabila menghantar penunjuk fungsi
Saya baru mengenali golang dan saya sedang mengusahakan struktur berikut:
<code>type Flag[T any] struct { defaultValue interface{} } </code>
Antaranya T
可以是 int
或 bool
Saya takrifkan fungsi berikut:
<code>func (f Flag[T]) GetVariation(val interface{}, getFunc func(v T) T ) T { inputVal := f.defaultValue.(T) return getFunc(inputVal) } </code>
Apabila saya cuba menggunakan fungsi di atas untuk pelbagai jenis data seperti bool, menggunakan yang berikut:
<code>func (f Flag[bool]) GetBoolVariation(val bool) bool { return f.GetVariation(val, someFunc) } func someFunc(v bool) bool { return true } </code>
Saya mendapat mesej ralat berikut:
cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
Mesej sangat mengelirukan kerana ia mengatakan saya tidak boleh menggunakan "X" sebagai "X". Bolehkah anda membantu saya mengetahui apa yang saya lakukan salah di sini?
Jawapan betul
Pertama sekali, sukar untuk mengukur kes penggunaan anda yang lebih besar di sini, tetapi generik mungkin tidak sesuai di sini kerana anda sedang melakukan semakan jenis masa jalan (seperti f.defaultValue.(T)
).
Kedua, anda nampaknya menggunakan go 1.20
, yang menghasilkan ralat yang mengelirukan:
https://www.php.cn/link/63e8e3643e7f7198858eef325b0600f9
cannot use someFunc (value of type func(v bool) bool) as func(v bool) bool value in argument to f.GetVariation
Menggunakan versi Playground terkini (go 1.21
sehingga berita ini ditulis) memberikan ralat kompilasi yang lebih terperinci:
https://www.php.cn/link/2d1bcedd27b586d2a9562a0f8e076b41
./prog.go:14:29: cannot use someFunc (value of type func(v bool) bool) as func(v bool /* with bool declared at ./prog.go:13:14 */) bool /* with bool declared at ./prog.go:13:14 */ value in argument to f.GetVariation
Menunjukkan jenis bool
被指定的位置 (./prog.go:13:14
) berasal daripada kekangan jenis.
Jadi hanya kerana kekangan jenis ini bool
sepadan dengan tandatangan fungsi bukan generik:
func someFunc(v bool) bool { return true }
tidak bermakna ia adalah padanan kompilasi yang tepat.
Anda boleh "menyelesaikan" ralat kompilasi menggunakan contoh rekaan ini :
func someFuncFix[T any](v T) T { return v } func (f Flag[bool]) GetBoolVariation(val bool) bool { return f.GetVariation(val, someFuncFix[bool]) // FYI: `return f.GetVariation(val, someFuncFix)` also works as the bool constraint could be inferred }
Tetapi sekali lagi, saya rasa generik mungkin bukan penyelesaian terbaik untuk kes penggunaan khusus anda.
Atas ialah kandungan terperinci Golang generik - tidak boleh menggunakan jenis dan bukannya jenis yang sama apabila menghantar penunjuk fungsi. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

Alat AI Hot

Undresser.AI Undress
Apl berkuasa AI untuk mencipta foto bogel yang realistik

AI Clothes Remover
Alat AI dalam talian untuk mengeluarkan pakaian daripada foto.

Undress AI Tool
Gambar buka pakaian secara percuma

Clothoff.io
Penyingkiran pakaian AI

AI Hentai Generator
Menjana ai hentai secara percuma.

Artikel Panas

Alat panas

Notepad++7.3.1
Editor kod yang mudah digunakan dan percuma

SublimeText3 versi Cina
Versi Cina, sangat mudah digunakan

Hantar Studio 13.0.1
Persekitaran pembangunan bersepadu PHP yang berkuasa

Dreamweaver CS6
Alat pembangunan web visual

SublimeText3 versi Mac
Perisian penyuntingan kod peringkat Tuhan (SublimeText3)

Topik panas



Dalam pewarisan fungsi, gunakan "penunjuk kelas asas" dan "penunjuk kelas terbitan" untuk memahami mekanisme pewarisan: apabila penuding kelas asas menghala ke objek kelas terbitan, transformasi ke atas dilakukan dan hanya ahli kelas asas diakses. Apabila penuding kelas terbitan menghala ke objek kelas asas, hantaran ke bawah dilakukan (tidak selamat) dan mesti digunakan dengan berhati-hati.

Notepad++ sendiri tidak boleh menjalankan program bahasa C dan memerlukan pengkompil luaran untuk menyusun dan melaksanakan kod. Untuk menggunakan pengkompil luaran, anda boleh menyediakannya seperti berikut: 1. Muat turun dan pasang pengkompil bahasa C 2. Cipta alat tersuai dalam Notepad++ dan konfigurasikan laluan dan parameter fail boleh laku pengkompil; atur cara dan simpan dengan sambungan fail .c 4. Pilih fail program bahasa C dan pilih alat tersuai dari menu "Jalankan" untuk menyusun 5. Lihat hasil kompilasi dan keluarkan ralat kompilasi atau mesej kejayaan. Jika kompilasi berjaya, fail boleh laku akan dihasilkan.

Kekunci pintasan untuk menjalankan kod Python dalam Teks Sublime ialah: Windows dan Linux: Ctrl + B Mac: Cmd + B Letakkan kursor dalam kod. Tekan kekunci pintasan. Kod akan dijalankan menggunakan penterjemah Python lalai sistem.

Kata kunci val dalam Java digunakan untuk mengisytiharkan pembolehubah tempatan yang tidak berubah, iaitu nilainya tidak boleh diubah setelah ditetapkan. Ciri-cirinya ialah: Kebolehubahan: Setelah dimulakan, pembolehubah val tidak boleh ditugaskan semula. Skop setempat: pembolehubah val hanya boleh dilihat dalam blok kod di mana ia diisytiharkan. Jenis inferens: Pengkompil Java akan membuat kesimpulan jenis pembolehubah val berdasarkan ungkapan yang diberikan. Pembolehubah tempatan sahaja: val hanya boleh digunakan untuk mengisytiharkan pembolehubah tempatan, bukan medan kelas atau parameter kaedah.

Pengubah suai const menunjukkan pemalar dan nilai tidak boleh diubah suai statik menunjukkan jangka hayat dan skop pembolehubah. Ahli data yang diubah suai oleh const tidak boleh diubah suai selepas pemulaan Pembolehubah yang diubah suai oleh statik dimulakan apabila atur cara dimulakan dan dimusnahkan apabila atur cara itu akan wujud walaupun tiada objek aktif dan boleh diakses merentas fungsi. Pembolehubah tempatan yang diubah suai oleh const mesti dimulakan apabila diisytiharkan, manakala pembolehubah tempatan yang diubah suai oleh statik boleh dimulakan kemudian. Pembolehubah ahli kelas yang diubah suai const mesti dimulakan dalam senarai pembina atau permulaan, manakala pembolehubah ahli kelas yang diubah suai statik boleh dimulakan di luar kelas.

Operator "=" dalam bahasa pengaturcaraan Java digunakan untuk menetapkan nilai kepada pembolehubah, menyimpan nilai di sebelah kanan ungkapan dalam pembolehubah di sebelah kiri. Penggunaan: pembolehubah = ungkapan, dengan pembolehubah ialah nama pembolehubah yang menerima tugasan, dan ungkapan ialah segmen kod yang mengira atau mengembalikan nilai.

Untuk mengehadkan parameter jenis dalam kaedah generik Java, gunakan sintaks dengan Bound ialah jenis atau antara muka. Oleh itu, parameter hanya menerima jenis yang mewarisi daripada Bound atau melaksanakan antara muka Bound. Sebagai contoh, hadkan T kepada jenis yang setanding dengan dirinya sendiri.

Cara pengkompil membezakan antara fungsi terlampau beban: dengan tandatangannya, iaitu jenis setiap hujah fungsi. Walaupun nama fungsi dan bilangan parameter adalah sama, pengkompil boleh memberitahu perbezaan asalkan jenis parameter berbeza.
