我想了解 go1.18 中的泛型實(shí)現(xiàn)。在我的測(cè)試示例中，我存儲(chǔ)了一系列測(cè)試用例并嘗試調(diào)用一個(gè)函數(shù)變量。不幸的是，當(dāng)我嘗試使用變量tc.input時(shí)EvalCases函數(shù)出現(xiàn)錯(cuò)誤，我收到以下錯(cuò)誤：不能使用輸入（受 Inputer 約束的 T 類型變量）作為 fn 參數(shù)中的字符串類型為什么我會(huì)收到該錯(cuò)誤，我該如何解決？import ( "fmt" "strconv")type BoolCase func(string) booltype Inputer interface { int | float64 | ~string}type Wanter interface { Inputer | bool}type TestCase[T Inputer, U Wanter] struct { input T want U}type TestConditions[T Inputer, U Wanter] map[string]TestCase[T, U]// IsNumeric validates that a string is either a valid int64 or float64func IsNumeric(s string) bool { _, err := strconv.ParseFloat(s, 64) return err == nil}func EvalCases[T Inputer, U Wanter](cases TestConditions[T, U], fn BoolCase) { for name, tc := range cases { input := T(tc.input) want := tc.want // Error: cannot use input (variable of type T constrained by Inputer) as type string in argument to fn got := fn(input) fmt.Printf("name: %-20s | input: %-10v | want: %-10v | got: %v\n", name, input, want, got) }}func main() { var cases = TestConditions[string, bool]{ "empty": {input: "", want: false}, "integer": {input: "123", want: true}, "float": {input: "123.456", want: true}, } fn := IsNumeric EvalCases(cases, fn)}
1 回答
莫回?zé)o
TA貢獻(xiàn)1865條經(jīng)驗(yàn) 獲得超7個(gè)贊
為什么我會(huì)收到該錯(cuò)誤
因?yàn)?code>fn是 a BoolFunc，它是 a func(string) bool，因此需要 astring作為參數(shù)，但是input類型是T。此外，根據(jù)您的定義，T滿足Inputer約束，因此也可以假定類型int，float64或任何具有基礎(chǔ)類型 ( ) 的非string類型，其中沒有一個(gè)隱式轉(zhuǎn)換為。string~stringstring
我如何解決它？
您需要將其定義更改BoolCase為其一個(gè)參數(shù)具有泛型類型參數(shù)。您可以將其限制為Inputer，但也可以使用any( interface{})。
type BoolCase[T any] func(T) bool
然后確保在函數(shù)的簽名中提供這個(gè)泛型類型參數(shù)EvalCases：
func EvalCases[T Inputer, U Wanter](cases TestConditions[T, U], fn BoolCase[T])
https://go.dev/play/p/RdjQXJ0WpDh
- 1 回答
- 0 關(guān)注
- 121 瀏覽
添加回答
舉報(bào)
0/150
提交
取消