Go的类型推断是编译期基于右值的确定性推导，不依赖运行时猜测或反向推导；支持短变量声明、var初始化、函数接收变量及泛型参数推断，但严格限制于初始化时刻且不跨作用域。
Go 的类型推断不是运行时“猜测”，而是在编译期由编译器根据赋值表达式的右值，直接、确定地得出变量或接收值的类型。它不依赖上下文流或函数返回类型的反向推导，机制保守、明确、安全。
变量声明时的类型推断
最常见也最直观的场景是使用 := 短变量声明。编译器只看等号右边的初始值，就决定左边变量的类型。
-
name := "hello"→ 推断为string -
count := 42→ 推断为int（具体是int，而非int64或其他整型，取决于平台默认） -
active := false→ 推断为bool -
price := 19.99→ 推断为float64
用 var 初始化时也能触发推断：var msg = "hi" 同样推断为 string，但 var msg string 就是显式声明，不涉及推断。
函数调用时的接收变量推断
函数本身的返回类型必须显式声明，Go 不支持靠 return 值反推函数签名。但调用后用 := 接收时，变量类型由函数返回类型决定——这属于“接收侧推断”，不是函数定义侧的推断。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
立即学习“go语言免费学习笔记（深入）”；
-
func add(a, b int) int { return a + b }—— 返回类型int必须写明 -
res := add(3, 5)——res类型被推断为int，因为add明确返回int
泛型调用中的类型参数推断（Go 1.18+）
泛型函数或方法调用时，如果实参类型足够明确，编译器可自动填充类型参数，省去冗余标注。
-
Print([]int{1,2,3})→ 编译器推断泛型参数T为int -
Map([]string{"a","b"}, strings.ToUpper)→ 推断输入为[]string，输出为[]string - 仍可显式写出：
Print[int]([]int{1,2,3})，但多数情况无需
类型推断不适用的典型情况
Go 故意限制推断范围，避免歧义和隐式行为。以下情形不会推断，或会报错：
- 未初始化的
var x声明 → 编译错误，必须有初值或显式类型 - 空接口
interface{}赋值后，无法从它反推原始类型（需用类型断言） - 多个返回值中混用
:=时，已有变量不能重声明（除非至少一个新变量） - 复杂表达式如
len("abc") + 1.0不会统一推断为 float64 —— Go 要求显式类型转换
基本上就这些。它不复杂但容易忽略边界：推断只发生在初始化那一刻，且永远基于值本身，不跨作用域、不查函数体、不猜意图。
