优先用 := 声明局部变量，但函数外或需显式指定类型时必须用 var；var 支持仅声明不赋值，:= 要求右侧有值且可推导类型，且函数外不可用，嵌套作用域中易遮蔽外层变量。
Go 语言中变量不是“想怎么定义就怎么定义”的，声明方式直接影响作用域、零值初始化行为和是否能被编译器优化。直接上结论：优先用 := 声明局部变量，但函数外或需要显式指定类型时必须用 var。
什么时候必须用 var 声明变量
在函数外部（包级作用域）不能使用 :=；同时，当变量需要延迟赋值、或类型无法由右值推导（比如接口、空结构体、或需要明确是 *int 而非 int）时，var 是唯一选择。
-
var支持仅声明不赋值（自动设为零值），:=要求右侧有值且可推导类型 - 包级变量必须用
var，例如：var ( DebugMode bool = true Version string Count int ) - 声明未初始化的指针或接口必须显式写类型：
var logger *zap.Logger // ✅ 正确<br>var handler http.Handler // ✅ 正确<br>// var h := new(http.ServeMux) ❌ 编译错误：outside function
:= 的隐式声明规则与常见翻车点
:= 看似方便，但只在函数内部有效，且要求左侧至少有一个新变量名——这是最容易被忽略的坑。
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
- 如果左侧所有变量都已声明过，且类型兼容，
:=会变成单纯赋值（不是重新声明）；否则报错no new variables on left side of := - 常见误写：
name := "alice" age := 30 name := "bob" // ❌ 编译失败：no new variables
- 正确写法：
name := "alice" age := 30 name = "bob" // ✅ 单纯赋值<br>// 或<br>name, city := "bob", "shanghai" // ✅ 引入新变量 city
- 注意：短声明会“捕获”同名变量所在作用域，嵌套
if或for里重复用:=可能意外遮蔽外层变量
类型推导边界：哪些情况 := 会推错或推不出
Go 的类型推导很务实，但不“聪明”。它只看字面量和已有变量类型，不跨函数、不猜意图。
立即学习“go语言免费学习笔记（深入）”；
- 整数字面量（如
42）默认推为int，但传给需要int64的函数会报错：timeout := 5000 // timeout 是 int<br>time.Sleep(time.Millisecond * time.Duration(timeout)) // ✅ 显式转换<br>// time.Sleep(time.Millisecond * timeout) // ❌ 类型不匹配
- 浮点数字面量（如
3.14）推为float64，没有float32版本自动降级 - 切片字面量
[]int{1,2,3}推出具体类型；但make([]int, 0)必须写全，不能make([], 0) - 接口类型无法从
nil推导：var w io.Writer = nil // ✅ 明确类型<br>w := io.Writer(nil) // ✅ 类型转换<br>// w := nil // ❌ 无法推导类型
变量声明看着简单，但 Go 把“显式”刻进了语法骨子里。少一个 var、多一个 :=、漏一次类型转换，都可能卡在编译阶段或运行时 panic。真正难的不是写出来，而是每次敲下 := 前，心里清楚它到底声明了几个新变量、类型是不是你想要的那个。
