:=在函数内要求至少一个新变量名，否则报错；包级作用域禁用:=；类型推导与var一致但可读性差；循环/if中易意外复用外层变量。
var 声明和 := 初始化在作用域上不等价
最常踩的坑是：在函数内部用 := 声明变量时，如果左侧变量名已存在（比如外层 var 声明过），:= 会变成“赋值”而非“声明”——但前提是**至少有一个新变量名**。否则编译直接报错：no new variables on left side of :=。
这导致很多人误以为 := 是“智能声明”，其实它只看语法层面有没有新标识符出现。
- ✅
x := 1→ 新变量 x - ✅
x, y := 1, 2→ x 和 y 都是新的 - ⚠️
x, y := 1, "hello"，若 x 已声明、y 未声明 → 合法，x 被赋值，y 被声明 - ❌
x := 1，若 x 已在同作用域声明过 → 编译失败
不能在包级作用域用 := 初始化变量
Go 规定：包级变量（即函数外）只能用 var 声明，:= 是纯语句级语法糖，仅限函数体内使用。试图写 foo := "bar" 在函数外，会得到错误：non-declaration statement outside function body。
这也意味着，想给包级变量设默认值、或做类型推导，必须显式写 var：
立即学习“go语言免费学习笔记（深入）”；
var (
debugMode = true
version = "v1.2.0"
logger *log.Logger = log.New(os.Stdout, "[app] ", 0)
)
注意：var 块里允许省略类型（靠右值推导），但不能混用 :=。
类型推导行为一致，但显式声明更利于维护
var x = 42 和 x := 42 推出的类型都是 int；var s = "hello" 和 s := "hello" 都是 string。类型推导逻辑完全一样。
区别在于可读性和约束力：
- 用
var可以强制指定类型，比如var port int32 = 8080，避免依赖推导 - 包级变量必须用
var，所以统一风格时建议函数内也优先用var（尤其当类型不明显时） -
:=容易掩盖类型意图，例如result := someFunc()，你得跳转才能确认返回类型
短变量声明在循环或 if 中容易意外复用变量
在 for 或 if 块里频繁用 :=，可能让本该新建的变量悄悄复用了外层同名变量，尤其是嵌套多层后。
典型现象：
err := doFirst()
if err != nil {
log.Println(err)
}
// 后面某处：
if something {
data, err := fetchData() // 注意这里用了 :=
// ... 处理 data
}
log.Println(err) // 还是前面那个 err！不是 fetchData 返回的 err！
因为 data, err := ... 中 data 是新的，err 不是新的 → 实际是给外层 err 赋值。但如果你本意是隔离错误，这就埋了 bug。
- 解决方法：统一用
var err error显式声明，再用=赋值 - 或者改名，如
data, fetchErr := fetchData() - 静态检查工具（如
go vet）不会报这个错，得靠人盯住变量名
这种隐式复用不是语言缺陷，而是设计取舍：Go 把“是否引入新变量”完全交给词法分析，不引入作用域层级判断。写多了就容易惯性忽略。
