Tidak boleh menggunakan penegasan jenis pada nilai parameter jenis

PHPz
Lepaskan: 2024-02-09 21:42:09
ke hadapan
621 orang telah melayarinya

Tidak boleh menggunakan penegasan jenis pada nilai parameter jenis

Dalam pengaturcaraan PHP, penegasan jenis ialah teknik yang biasa digunakan untuk menentukan jenis pembolehubah. Walau bagaimanapun, kadangkala kita mungkin menghadapi masalah: penegasan jenis tidak boleh digunakan pada nilai parameter jenis. Soalan ini mungkin mengelirukan sesetengah pembangun. Dalam artikel ini, kami akan meneroka punca masalah ini dan memberikan beberapa penyelesaian. Sama ada kami pemula atau pembangun berpengalaman, dengan memahami dan menyelesaikan masalah ini, kami boleh memahami dan menggunakan penegasan jenis dengan lebih baik. Mari lihat!

Kandungan soalan

Kami tidak boleh menggunakan penegasan jenis pada pembolehubah jenis generik. Ini memang nampak pelik memandangkan ia adalah tingkah laku generik kekangan interface{} 允许的,但不受 interface{}. Tertanya-tanya sama ada terdapat sebarang penyelesaian?

// This works
func isInt(x interface{}) bool {
    _, ok := x.(int)
    return ok;
}

// Compile Error
// invalid operation: cannot use type assertion on type parameter 
// value x (variable of type T constrained by interface{})
func isInt2[T interface{}](x T) bool {
    _, ok := x.(int)
    return ok;
}
Salin selepas log masuk

Penyelesaian

tl;dr

Anda hanya boleh melakukan penegasan jenis pada nilai antara muka. Oleh itu, anda mesti terlebih dahulu menukar x 转换为有效的接口类型,在本例中为 any / interface{}:

func isint[t any](x t) (ok bool) {

    _, ok = any(x).(int) // convert, then assert
    return
}
Salin selepas log masuk

Jadi mengapa ini penyusun gagal?

_, ok = x.(int)   // ... cannot use type assertion on type parameter value ...
Salin selepas log masuk

x 的类型 t 是一个类型参数,而不是一个接口。它仅受接口约束。 go(修订版 1.18) Spesifikasi bahasa dengan jelas menyatakan bahawa parameter jenis tidak dibenarkan dalam penegasan jenis:

Untuk jenis antara muka tetapi bukan ekspresi taip x Parameter , dan jenis t ...符号 x.(t) dipanggil penegasan jenis.

Juga daripada Tutorial Generik, ketahui sebab jenis parameter perlu diselesaikan pada masa penyusunan:

Walaupun kekangan pada parameter jenis biasanya mewakili satu set Taip, pada masa penyusunan parameter jenis mewakili jenis tunggal - Jenis yang dibekalkan oleh kod panggilan sebagai parameter jenis. jika taip Jenis parameter tidak dibenarkan oleh kekangan parameter jenis, Kod tidak boleh disusun.

Atas ialah kandungan terperinci Tidak boleh menggunakan penegasan jenis pada nilai parameter jenis. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!

sumber:stackoverflow.com
Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Tutorial Popular
Lagi>
Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan
Tentang kita Penafian Sitemap
Laman web PHP Cina:Latihan PHP dalam talian kebajikan awam,Bantu pelajar PHP berkembang dengan cepat!