Go 泛型类型推导为什么不能只从返回值猜参数

当泛型函数的类型参数只出现在返回值里时，Go 不会根据左侧变量的类型反向推导它。比如 var n int = MakeZero() 仍然缺少 T 的来源，能通过编译的写法是 MakeZero[int]()。原因不是返回值不能有泛型，而是函数调用的类型推导需要从实参与形参、类型约束等关系建立方程，赋值目标只接收已经确定的结果。

只有返回值出现 T 时，推导方程从哪里来

先看一个故意把信息压缩到返回值的函数：

func MakeZero[T any]() T {
    // T 只决定返回值的静态类型，函数调用没有普通实参。
    var zero T
    return zero
}

// 这里的 int 只是在接收结果，不能反向提供 T 的类型实参。
var n int = MakeZero[int]()

如果把调用改成 MakeZero()，编译器没有可匹配的普通参数，也没有其他足以确定 T 的关系。赋值语句要求调用结果能赋给 int，但这个检查发生在调用需要实例化之后，所以不会形成“结果类型等于左侧类型”的推导方程。

普通实参为什么能让类型推导成立

把同一个类型参数放进普通参数位置，情况就不同了：

func Echo[T any](value T) T {
    // 输入和输出共用 T，但 T 首先由 value 的实参决定。
    return value
}

// 1 的默认类型是 int，因此这里可推导 T=int。
var count int = Echo(1)

调用 Echo(1) 时，编译器可以把实参 int 与形参 T 配对，得到 T=int。之后返回值自然是 int，左侧变量只是检查这个结果是否可赋值，并不是推导的起点。

推导失败时，优先补显式类型实参

遇到“无法推导类型参数”时，可以按四个位置排查：有没有普通实参；实参类型是否真的包含 T；约束是否能从已知类型继续求解；调用是否只把 T 放在结果或函数体内部。如果答案都是否定的，就不要期待左侧变量替你补全。

func NewPair[A any, B any](left A, right B) (A, B) {
    // 两个类型参数分别由两个普通实参确定。
    return left, right
}

// 输入信息足够，类型参数可以省略。
pair := NewPair(7, "go")

// 没有输入信息的返回值型函数，显式类型实参最清楚。
zero := MakeZero[string]()

显式类型实参并不是绕过泛型，而是把编译器无法从调用关系得到的信息写在调用点。这样读代码的人也能立刻看到结果类型的来源。

常见问题

为什么变量已经声明为 int 还不够？

变量声明只约束最终结果，泛型调用必须先完成实例化；Go 的函数类型推导不会把普通调用的返回类型当作反向输入。

给函数增加一个无意义的参数能解决吗？

技术上可以让参数携带类型信息，但会改变 API。更小的修复通常是在调用处写 MakeZero[int]()。

类型约束能不能直接猜出唯一的 T？

约束通常只描述允许的类型集合，除非已有其他方程把参数范围收窄，否则 any 或接口约束本身不能选出唯一类型。