Go泛型类型推断仅基于实参、变量声明等静态信息，要求实参类型一致且满足约束，接口值不参与推断，需显式断言；函数赋值时从左向右反向推导签名；无名返回值类型由return表达式统一推断。
泛型函数调用时省略类型参数
Go 1.18 引入泛型后，GMin[int] 这种显式写法虽然明确，但多数时候编译器能从实参推断出 T。比如调用 GMin(2, 3)，两个 int 实参足以让编译器确定 T = int，无需手写 [int]。
常见错误现象：硬写 GMin[int](2, 3) 并非错误，但冗余；更典型的问题是传入混合类型，如 GMin(2, 3.14)，此时无法统一推断 T，编译报错 cannot infer T。
- 只在所有实参类型一致且满足约束（如
constraints.Ordered）时才可省略 - 若实参是接口类型或 nil，推断可能失败，需显式标注
- 多个类型参数（如
Map[K,V]）中一个无法推断，整个调用都会失败
函数变量赋值时自动匹配签名
当你把函数赋给一个函数类型变量，Go 会根据变量声明的类型反向推断右侧函数字面量的隐含类型。例如 var f func(int) string = func(x int) string { return fmt.Sprint(x) }，右侧匿名函数不需要写返回类型，编译器从 f 的类型里“倒推”出来。
使用场景多见于回调注册、中间件链、测试桩替换等需要类型对齐的地方。容易踩的坑是：如果变量类型声明太宽（如 func(interface{})），而你传入的匿名函数实际用了具体类型（如 func(string)），就会类型不匹配，报错 cannot use ... as func(interface{}) value。
立即学习“go语言免费学习笔记（深入）”；
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 推断方向是「从左到右」：左侧变量类型决定右侧函数签名
- 匿名函数内不能依赖未声明的外部变量类型来触发推断（比如闭包捕获的变量不会参与签名推导）
- 不支持跨行推断——函数字面量必须紧邻赋值操作，不能拆成两行再加类型注释
返回值类型由 return 语句内容决定
函数声明中若省略返回类型（仅限无名返回值），Go 会检查所有 return 语句的表达式类型是否一致，并以此作为函数返回类型。例如：func add(a, b int) { return a + b } 会被推断为返回 int。
这看似方便，但极易引发隐蔽问题：一旦某个 return 返回了不同底层类型的值（比如 int32 和 int），编译直接失败；更麻烦的是，如果所有 return 都是 nil 或接口零值，推断结果可能是 interface{}，而非你预期的具体类型。
- 仅适用于无名返回值；有名返回值必须显式声明类型
- 所有
return表达式必须能统一转换为同一类型，否则编译报错 - 涉及常量（如
return 42）时，Go 会优先按上下文推断为最窄整型，但和变量初始化不同，这里不适用int默认规则
类型推断不覆盖接口动态行为
类型推断发生在编译期，它不影响运行时接口值的实际类型。比如你写 var x interface{} = "hello"，x 的静态类型是 interface{}，但它的动态类型仍是 string。后续做类型断言 x.(string) 成功，不是因为推断，而是运行时检查。
这点常被误认为“推断失效”，其实根本不是一回事。真正的坑在于：你试图对一个接口变量做泛型调用，比如 process(x)，而 process 是泛型函数，要求 T 满足某约束。此时编译器只能看到 x 是 interface{}，无法进一步推断其内部真实类型，导致推断失败或约束不满足。
- 接口值本身不参与泛型类型参数推断
- 若需传递具体类型，应先做类型断言或用类型开关解包，再传给泛型函数
- 不要指望
interface{}能“自动展开”成底层类型参与推断
