我們不能對泛型變量使用類型斷言?？紤]到它是 允許的interface{}，但不是受interface{}. 想知道是否有任何解決方法？// This worksfunc 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;}
1 回答
寶慕林4294392
TA貢獻2021條經(jīng)驗 獲得超8個贊
博士
您只能對接口值執(zhí)行類型斷言。所以你必須首先轉(zhuǎn)換x為有效的接口類型，any/interface{}在這種情況下：
func isInt[T any](x T) (ok bool) {
_, ok = any(x).(int) // convert, then assert
return
}
那么為什么編譯失敗呢？
_, ok = x.(int) // ... cannot use type assertion on type parameter value ...
x的類型T是類型參數(shù)，而不是接口。它僅受接口約束。Go（修訂版1.18）語言規(guī)范明確指出類型參數(shù)在類型斷言中是不允許的：
對于接口類型的表達式x，但不是類型參數(shù)和類型T......該表示法x.(T)稱為類型斷言。
同樣來自關(guān)于為什么需要在編譯時解析參數(shù)類型的泛型教程：
雖然類型參數(shù)的約束通常表示一組類型，但在編譯時類型參數(shù)代表單個類型——調(diào)用代碼作為類型參數(shù)提供的類型。如果類型參數(shù)的約束不允許類型參數(shù)的類型，則代碼將無法編譯。
- 1 回答
- 0 關(guān)注
- 190 瀏覽
添加回答
舉報
0/150
提交
取消