Go语言类型推断仅发生在短变量声明（:=）且至少有一个新变量时，编译器根据右侧表达式默认类型静态推导，如a:=42→int、s:="hello"→string，不支持隐式类型转换。
Go 语言的类型推断主要发生在 短变量声明（:=）时，编译器会根据右侧表达式的类型自动推导左侧变量的类型，无需显式写出类型名。这不是“动态类型”，而是编译期静态推断，推导结果不可变、类型安全。
短变量声明（:=）是类型推断的核心场景
只有用 := 声明新变量时，Go 才进行类型推断。它要求左侧至少有一个**新变量名**（不能全是已声明过的变量），且右侧表达式必须有明确类型。
-
a := 42→ 推出a int（整数字面量默认为int） -
s := "hello"→ 推出s string -
f := 3.14→ 推出f float64（浮点字面量默认为float64） -
b := true→ 推出b bool -
m := map[string]int{"x": 1}→ 推出m map[string]int
推断依赖右侧表达式的“默认类型”和上下文
Go 字面量有隐含默认类型，推断以此为基础；函数返回值、结构体字段、切片/映射元素等也参与上下文推导。
- 整数字面量如
0、100默认是int，但若用于需要int64的位置（如调用time.Unix(0, 0)），不会自动转成int64—— 推断仍按字面量本身来，类型不匹配会报错 -
var x = 5是无效语法（缺少类型或初始化），但x := 5合法，且x类型就是int - 调用函数时：
res := someFunc()，推断依据是someFunc的返回类型签名，不是运行时值
哪些情况不触发推断？
类型推断只发生在 := 声明新变量时。其他写法均不推断：
立即学习“go语言免费学习笔记（深入）”；
-
var a = 42❌ 语法错误（var声明必须带类型或用=赋值，但不能省略类型又用=） -
var a = 42应写作var a = 42？不对 —— 正确是：var a = 42依然非法；必须写成var a int = 42或更常见地用a := 42 -
a = 42（已声明变量赋值）→ 不推断，也不允许（除非同作用域内未声明过a） -
var b int; b := 42❌ 编译错误：b已存在，:=不能重声明（除非同时声明至少一个新变量，如b, c := 42, "ok"）
多变量声明与混合推断
:= 支持一次声明多个变量，只要其中**至少一个是新变量**，其余可为已声明变量（此时视为赋值）。
-
a, b := 1, "hello"→ 推出a int,b string -
a := 1; a, b := 2, "world"→ 合法：a被重新赋值，b是新变量，推出b string -
a, b := 1, 2.0→ 报错：无法统一推断（1是int，2.0是float64），类型必须各自明确可推
基本上就这些。推断简单直接，关键记牢：只在 := 且有新变量时发生，靠右侧表达式类型决定，没有“智能转换”，也没有运行时猜测。
