理解 Go 泛型中的“不能使用 *T 类型的变量作为参数中的类型字符串”错误
在提供的代码片段中,您正在尝试一般性地调用需要 stringer 类型参数的函数 do,但您正在传递指向类型参数 T 的指针
Go 编译器会引发错误,因为:
-
类型标识和参数: T 本质上并不等于其约束 FooBar。因此,*T 与 *FooBar 或 *bar 不同。
-
缺少方法: stringer 接口需要一个名为 a() 的方法。目前,您的 foo 和 bar 类型在指针接收器上实现了此方法,但 *T 本身并不具有此方法。
修复问题
有解决此问题的两种主要方法:
1.使用类型断言来断言类型安全(不太理想)
- 断言 *T 在 do 函数中使用 any(t).(stringer) 实现 stringer。
- 此方法如果 T 没有真正实现,可能会导致恐慌纵梁。
2。重新定义约束并自定义泛型(首选)
- 将 stringer 作为约束添加到 FooBar 接口。
- 使用 foo 和 bar 类型的指针接收器来与约束对齐.
- 引入第二个类型参数,用于指定 FooBar 内的约束接口。
- 将约束类型的实例作为参数传递给 blah。
修订的代码:
在此修改后的代码:
- FooBar 接口包含 stringer 作为约束。
- foo 和 bar 类型的 a() 方法有指针接收器。
- U 受 FooBar[T] 约束,确保它满足 FooBar 和 stringer 约束。
- blah 接受 U 类型的参数,它是受约束的 FooBar 的实例界面。
以上是为什么我不能在 Go 泛型中使用 `*T` 类型变量作为 `Stringer`?的详细内容。更多信息请关注PHP中文网其他相关文章!