Go inference 怎么处理类型参数

我第一次把一个泛型辅助函数改成“让编译器自己推断”时，真正卡住的不是类型参数语法，而是不清楚推断到底看什么。结论可以先记住：Go 可以从泛型函数的普通实参、赋值目标和类型约束中推断缺失的类型实参；泛型类型本身不能省略类型实参。如果关系无法解出，才需要补写类型，或回头检查约束与调用参数是否真的匹配。

先看调用现场：哪些类型实参可以省略

类型推断主要服务于泛型函数或泛型方法。下面的 Pick 只有一个类型参数，两个普通实参都对应 T，因此调用时可以直接写 Pick(10, 20)：

package main

// Pick 返回第一个值，用同一个 T 约束两个参数和返回值。
func Pick[T any](a T, b T) T {
	return a
}

func main() {
	// 两个有类型的整数字面量让 T 推断为 int。
	value := Pick(10, 20)
	_ = value
}

如果把泛型函数赋给已知的函数类型，也可以靠上下文推断。反过来，单独写 f := Pick 时没有足够信息，编译器不知道 f 应该是哪一种函数。

约束怎样把一个类型参数继续推到另一个参数

实战里更容易困惑的是命名切片。S ~[]E 表示 S 的底层类型必须是某种 []E，所以编译器先从第一个参数得到 S，再从它的底层切片元素继续解出 E。

// MapSelf 保留切片的命名类型，只转换其中的元素。
func MapSelf[S ~[]E, E any](items S, fn func(E) E) S {
	// make 使用 S，结果仍保留调用者的切片类型。
	out := make(S, len(items))
	for i, item := range items {
		out[i] = fn(item)
	}
	return out
}

type Scores []int

// 这里可推断出 S=Scores、E=int。
var doubled = MapSelf(Scores{1, 2}, func(v int) int {
	// 只改变元素值，函数签名提供 E 的信息。
	return v * 2
})

这个过程可以理解成两条关系：参数 Scores 要能赋给 S；同时 S 又要满足 ~[]E。两条关系合起来，才得到 S=Scores、E=int。这不是把 Scores 直接“转换”为 []int，而是保留命名类型后用底层类型匹配约束。

无类型常量和部分显式类型参数怎么处理

推断会优先使用已经带类型的操作数；仍未确定的类型参数，才会根据无类型常量的常量种类选择默认类型。也就是说，看到数字字面量时，不要立即把它当成最终的 int，要先看调用上下文和约束。

// Sum 只接受整数或浮点数，并返回相同类型。
func Sum[T ~int | ~float64](a T, b T) T {
	// 约束保证 + 对 T 的每个允许类型都成立。
	return a + b
}

// 有明确类型的变量会直接参与推断。
var total float64 = Sum(1.5, 2)

// 也可以显式指定前缀类型参数，让剩余参数继续推断。
var ints = Sum[int](1, 2)

_ = total
_ = ints

部分显式类型参数只能写前缀，省略右侧参数。例如 Pair[[]int](...) 可以让 E 从参数或函数值继续推断；不能只跳过左侧的 S 去指定右侧的 E。如果常量种类相互冲突，或者剩余参数没有提供足够信息，推断会失败。

推断失败时先查三条边界

最实用的排查顺序是：先数清需要实例化的类型参数，再找每个参数的信息来源，最后验证约束。不要先改函数体；类型推断发生在实例化阶段，函数体里的逻辑通常还没有机会影响它。

常见问题

泛型类型为什么不能像泛型函数一样省略参数？

Go 规范要求泛型类型的类型实参始终显式提供，例如 Box[int]{Value: 1}。可省略类型实参的规则主要针对泛型函数的调用和函数值上下文。

为什么函数参数明明是 any，推断仍然失败？

any 只说明允许的类型集合很宽，不会凭空给出某个未绑定类型参数的具体答案。调用现场仍要提供参数类型或目标函数类型。

补上类型参数后，约束还会检查吗？

会。显式类型参数只是跳过对应的推断，不会绕过约束；如果类型不满足约束，实例化仍然无效。