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;
}

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
}

Jadi mengapa ini penyusun gagal?

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

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!