Go inference 出错时怎么查推断错误

Go 泛型函数报“无法推断类型参数”时，先别改函数体。编译器会从普通实参、赋值目标和类型约束建立类型关系；这些关系不能共同得到唯一结果，或根本没有提供具体类型，才会在 inference 阶段失败。最有效的处理方式是找出缺失的推断入口，再用显式类型参数做一次反向验证。

先确认调用现场有没有推断入口

最小的泛型函数通常不需要手写类型参数。下面两个实参都属于 int，所以 T 可以直接解为 int：

package main

// Same 返回第一个参数；两个参数共用 T，便于观察类型是否一致。
func Same[T any](a T, b T) T {
	// 返回值沿用已经推断出的 T，不在函数体里改变类型。
	return a
}

func main() {
	// 两个整数字面量让 T 得到同一个具体类型 int。
	value := Same(10, 20)
	_ = value
}

如果写成 Same(10, "20")，同一个 T 同时面对 int 和 string，没有一个满足 any 之外的共同具体绑定，调用就会失败。另一个常见现场是 func Make[T any]() T：没有实参、没有赋值目标时，Make() 没有信息可供推断，写成 Make[int]() 才明确。

当前规范也允许在函数必须赋值给具体函数类型时利用上下文，例如 var f func(string, string) string = Same。但单独写 f := Same 没有目标类型，仍然无法决定 T。

把普通实参与类型约束拆成一组关系

报错信息只说“推断失败”时，可以把签名拆成两条关系看。下面的 S ~[]E 要求 S 的底层类型是某个元素类型为 E 的切片：

// MapSelf 保留输入切片的命名类型，只转换其中的元素。
func MapSelf[S ~[]E, E any](items S, fn func(E) E) S {
	// 用 S 创建结果，保证命名切片的类型信息不被丢掉。
	out := make(S, len(items))
	for i, item := range items {
		// fn 的参数和结果都提供 E 的约束关系。
		out[i] = fn(item)
	}
	return out
}

type Scores []int

// Scores 绑定 S，回调签名继续提供 E=int。
var doubled = MapSelf(Scores{1, 2}, func(v int) int {
	// 示例只做元素变换，不改变切片结构。
	return v * 2
})

这里可以按顺序读：第一个参数让 S=Scores；再根据 Scores 的底层类型 []int 与 ~[]E 匹配，得到 E=int；回调的 func(int) int 又对这个结论进行了确认。若把回调改成 func(string) string，冲突会发生在 E，不是 make 或循环。

无类型常量和冲突绑定要单独排查

Go 的推断会优先利用已经带类型的操作数，然后才处理无类型常量。数字字面量看起来简单，但它最终是 int、float64 还是别的类型，要由上下文和约束决定：

// Add 只允许整数或 float64，并返回相同的 T。
func Add[T ~int | ~float64](a T, b T) T {
	// 约束保证两个 T 可以使用加法。
	return a + b
}

var rate float64

// 左侧目标和小数实参共同把 T 指向 float64。
rate = Add(1.5, 2)

// 显式补全前缀参数，避免调用现场信息不足。
count := Add[int](1, 2)

_ = count

排查时可以记住三种信号：只有无类型常量且约束允许默认类型时，通常能继续推断；同一个 T 被不同的有类型实参绑定时，会出现类型冲突；某个类型参数从未出现在实参、结果或可赋值上下文中时，补写它比修改函数体更直接。

部分显式类型参数只能从左到右提供。例如 MapSelf[Scores](...) 可以让 E 留给实参和回调继续推断，但不能跳过 S 只写右侧的 E。

用四条边界判断应该补什么

泛型类型要特别区分：类型参数不能像泛型函数调用那样靠字面量自动省略。可以先显式写出 Box[int]{Value: 1}，让问题收敛到约束或字段类型；如果显式实例化仍报错，再检查类型实参是否满足约束。

常见问题

为什么参数是 any 还会推断失败？

any 只是约束范围宽，并不会替一个没有信息来源的类型参数选择具体类型。仍需实参或目标函数类型。

显式写类型参数会绕过约束吗？

不会。显式参数只跳过推断，实例化时仍会检查类型参数是否满足约束。

应该先改函数体还是先补类型？

先补类型或统一调用参数。推断发生在泛型函数实例化阶段，函数体通常还没有参与到这个决定中。