go泛型类型推导严格依赖编译器解类型方程，实参类型不一致、约束不匹配或缺少上下文锚点时必然失败；如max(1,3.14)、nil、make([]t,0)无其他t实参、convert[int,string]中返回类型不参与推导等均需显式指定类型参数。
Go 泛型函数的类型推导不是“自动猜对就行”，而是严格依赖编译器解出类型方程——只要实参类型不一致、约束不匹配、或缺少上下文锚点，推导就失败。你得知道它什么时候会“读不懂你”，而不是等报错才回头改。
泛型调用时哪些情况必然推导失败
编译器只在所有实参能统一映射到同一个满足约束的 T 时才成功推导。以下情形直接放弃：
-
Max(1, 3.14)：实参是int和float64，没有共同的T满足constraints.Ordered -
F(nil)：nil无类型信息，编译器无法反推T -
make([]T, 0)出现在泛型函数体内且无其他T实参：上下文里没出现具体类型，T成为自由变量 -
Convert[int, string](123)中第一个类型参数用于输入、第二个仅用于返回值：返回类型不参与推导，必须显式写出[int, string]
为什么 [T any] 不等于“随便传”
any 只表示“任何类型”，不提供任何操作能力。推导能成功，不代表你能用它干啥：
-
==或!=报错？说明你需要[T comparable]，不是any -
len(x)不支持？T必须是切片、数组、map、字符串或通道——得用具体约束，比如interface{ ~[]E | ~map[K]V } -
x.String()找不到？约束里得明确定义该方法：type Stringer interface{ String() string }，再写[T Stringer]
~int 和 int 在约束里差一个世界
如果你定义了 type Millis int，然后写 func F[T int](x T)，传 Millis(100) 会直接报错：
-
int只匹配int本身，不认别名 -
~int表示“底层类型为int的所有类型”，包括Millis、Seconds等自定义单位类型 -
~只能用于基本类型：~string、~bool合法；~struct{}或~map[string]int是语法错误
结构体方法接收器漏写 [T] 是静默陷阱
泛型结构体的方法签名里，接收器必须带类型参数，否则 T 在方法内未定义：
- ✅ 正确：
func (s *Stack[T]) Push(item T) - ❌ 错误：
func (s *Stack[T]) Push(item interface{})（失去类型安全） - ❌ 错误：
func (s *Stack) Push(item T)（T未声明） - 初始化也一样：
Stack[int]{}或var s Stack[string]，不能只写Stack{}
最常被忽略的不是语法怎么写，而是“推导失败时该不该硬扛”。显式写出 [int]、[string] 不是啰嗦，是给编译器唯一可靠的信号——尤其当实参来自不同包、或经过中间变量转换后类型信息变模糊时，少打几个字符反而多花半小时 debug。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
