为什么 Go 的泛型代码会失败并显示'不能使用 *T 类型的变量作为参数中的类型”？

理解泛型代码中的错误

在 Go 中，使用泛型时的一个常见错误是“无法使用 *T 类型的变量作为参数中的类型”。将指向泛型类型的指针传递给函数。发生这种情况是因为泛型类型参数 T 不等于用于限制它的约束类型。

理解类型约束

在提供的代码中，接口 FooBar 被定义为两个的并集类型 foo 和 bar。这意味着任何实现 a() 字符串方法的类型都可以分配给 FooBar 接口。然而，blah 函数中使用的泛型类型参数 T 并不隐式等价于 FooBar。

在指针上实现方法

此外，类型 foo 和 bar 中的方法是在指针接收器上实现的（foo 和 bar）。这意味着方法 a() 字符串实际上是为指向这些类型的指针定义的，而不是类型本身。

解决错误

要解决错误，您需要断言泛型类型参数 T 实现 stringer 接口或在约束本身中显式定义类型的并集。

断言 Stringer实现

func blah[T FooBar]() {
    t := new(T)
    do(any(t).(stringer))
}

但是，这种方法放弃了类型安全并可能导致运行时恐慌。

显式定义联合

type FooBar[T foo | bar] interface {
    *T
    stringer
}

func blah[T foo | bar, U FooBar[T]]() {
    var t T
    do(U(&t))
}

这种方法保留了类型安全并允许将泛型类型参数 T 初始化为非零

结论

理解泛型类型参数及其约束之间的关系对于在 Go 中有效使用泛型至关重要。通过仔细定义接口和约束，您可以强制类型安全并避免运行时错误。

以上是为什么 Go 的泛型代码会失败并显示'不能使用 *T 类型的变量作为参数中的类型”？的详细内容。更多信息请关注PHP中文网其他相关文章！