当前位置：首页 > 文章列表 > Golang > Go问答 > 无法确定泛型参数类型是构造函数的函数 returnType

无法确定泛型参数类型是构造函数的函数 returnType

来源：stackoverflow 2024-03-27 12:48:39 0浏览收藏

在 Go 中使用泛型时，出现“无法确定泛型参数类型”错误可能是因为编译器无法根据返回类型的使用情况推断泛型参数。这种行为在 Go 1.20 版本中进行了更改，使得类型推断仅适用于特定场景，例如类型参数列表、已知类型参数的替换映射和函数调用中的普通函数参数。

问题内容

我在 go 中有一些通用代码，其中有一个具有通用参数的“主”类型和许多应该共享相同通用参数的“从”类型。代码看起来与此类似：

type Doer[T any] interface {
    ModifyA(*A[T])
}

type B[T any] struct {
}

func NewB[T any]() *B[T] {
    return new(B[T])
}

func (b *B[T]) ModifyA(a *A[T]) {
    // Do a thing
}

type A[T any] struct{}

func NewA[T any]() A[T] {
    return A[T]{}
}

func (a *A[T]) Run(doers ...Doer[T]) {
    for _, doer := range doers {
        doer.ModifyA(a)
    }
}

func main() {
    a := new(A[int])
    a.Run(NewB())   // error here
}

基本上，用户应该在 a 上定义 t ，然后 b 上的 t 应该是相同的。此类代码可以在支持泛型的其他语言中工作，但在 go 中，我在注释行处收到 cannot infer t 编译错误（请参阅此处的 go playground 代码）。在我看来， a 上的类型参数设置为 int ，因此 b 上的类型参数也应设置为 int 。我可以改为调用 newb[int]() ，但这对我来说似乎过于冗长。为什么会出现这种情况？

正确答案

这是“为什么编译器不能根据返回类型的使用方式推断类型参数？”的变体。答案：因为从 go 1.20 开始，这不是类型推断的工作方式。

类型推断适用于：

类型参数列表
使用已知类型参数初始化的替换映射 m（如果有）
普通函数参数的（可能为空）列表（仅在函数调用的情况下）

如果您一一检查这些规则：

newb() 有类型参数列表吗？不。您在调用它时没有指定类型参数。
是否有其他已知的类型参数可以用来推断其他类型参数？不，您根本没有提供任何类型参数。请注意，这种情况适用于您提供部分数量的类型参数的函数调用，例如：
```
func foo[T any, U *T]() {}
```
在上面您只能提供 t，例如float64，编译器将使用 t -> float64 构造替换映射，然后推断 u -> *float64
最后，有普通函数参数的列表吗？否。newb 为空。