Go类型推断仅在“:=”声明且左侧至少一个新变量时触发，依据右侧字面量或函数签名静态推导唯一类型；var+ =非法，泛型调用另有独立推断机制。
Go 的类型推断不是“自动识别运行时类型”，而是编译期根据右侧表达式字面量或签名**静态推导出唯一确定的类型**，且仅在 := 声明新变量时生效。
什么时候会触发类型推断？只看 := 和“至少一个新变量”
类型推断不是语言全局能力，它有非常明确的触发边界：
-
:=左侧必须至少包含一个**此前未声明过的变量名**；否则就是普通赋值，不推断也不允许 - 右侧表达式必须有**明确、无歧义的默认类型**（如
42→int，"hi"→string，3.14→float64） -
var a = 42是非法语法；正确写法只能是var a int = 42或更常见的a := 42 - 多变量声明如
a, b := 1, "ok"合法；但a, b := 1, 2.0报错——因为1和2.0默认类型不同（intvsfloat64），无法各自独立推断
为什么 var name = getTheFlag() 看似能推断，其实不能？
这个写法常见但容易误解：它**根本不是类型推断，而是语法错误**。真实能通过编译的写法只有两种：
-
name := getTheFlag()—— ✅ 推断成功，name类型完全由getTheFlag()的函数签名决定 -
var name = *flag.String(...)—— ❌ 错误；flag.String返回*string，但var name = ...语法不合法 -
var name *string = flag.String(...)—— ✅ 合法，但这是显式声明，不涉及推断
关键点：Go 不允许 var + = 初始化（即省略类型又用等号），这和 Rust 或 TypeScript 完全不同。所谓“var name = ... 能推断”，是混淆了错误代码和实际可运行代码。
立即学习“go语言免费学习笔记（深入）”；
泛型调用中的类型推断：Go 1.18+ 的另一条路径
除了变量声明，Go 在泛型函数调用时也支持类型参数推断，但机制完全不同：
-
Print([]int{1, 2, 3})中，编译器从切片字面量[]int推出类型参数T = int - 如果函数签名含多个类型参数，或实参不足以唯一确定（如
func Map[T, U any](...)只传一个切片），推断就会失败，必须显式写成Map[int, string](...) - 泛型推断与变量推断互不干扰：前者看函数调用上下文，后者只认
:=和字面量/返回值类型
package main
import "fmt"
func main() {
// ✅ 典型推断：a→int, s→string, m→map[string]int
a := 42
s := "hello"
m := map[string]int{"x": 1}
// ✅ 多变量混合：i是新变量，j是已声明变量（重赋值）
i := 100
i, j := 200, "done" // i被赋值，j被推断为string
// ❌ 错误：var + = 初始化语法不合法
// var x = 3.14 // 编译报错：missing type in variable declaration
// ✅ 正确替代写法（显式 or 短声明）
var y float64 = 3.14
z := 3.14 // z→float64
}
最常被忽略的一点：类型推断结果在编译期就固化，不可更改，也**不会因后续赋值而“升级”或“转换”**。比如 a := 42 后写 a = 3.14 会直接报错——不是“推断错了”，而是 a 的类型从第一行起就是 int，永远不变。
