var 声明需显式指定类型或带初始值，:= 仅限函数内使用且要求至少一个新变量；var 适合零值/类型明确场景，:= 用于临时变量和作用域隔离。

var 声明必须显式指定类型或带初始值

不带初始值的 var 声明必须写明类型，否则编译失败；而 := 要求右侧表达式能推导出明确类型，且不能用于已声明变量的重复赋值。

常见错误现象：undefined: xxx（忘记初始化）、no new variables on left side of :=（对已声明变量误用 :=）。

• var x int 合法，var x 编译报错
• x := 42 合法（推导为 int），x := "hello" 后再写 x := 42 报错
• 函数参数、返回值、包级变量只能用 var，不能用 :=

:= 只能在函数内部使用，且会隐式声明新变量

:= 是短变量声明操作符，本质是「声明 + 初始化」的组合动作，只允许出现在函数体内。它要求左侧至少有一个新标识符，否则编译失败。

典型使用场景：循环内临时变量、if / for / switch 的初始化语句、错误检查惯用写法。

• if err := doSomething(); err != nil { ... } —— err 在此作用域首次出现
• for i, v := range slice { ... } —— i 和 v 是新声明
• val, ok := m["key"] —— 类型断言常用写法，安全获取 map 值

var 更适合需要零值或类型明确的场景

包级变量、结构体字段、需要明确类型的切片/映射声明，通常优先用 var。它让零值语义清晰，也避免因推导导致意外类型（比如 1 推导为 int，但你可能想要 int64）。

性能上无差异，但可读性和意图表达不同。

• var buf bytes.Buffer 比 buf := bytes.Buffer{} 更直观体现「零值构造」意图
• var users []User 明确是 nil 切片；users := []User{} 创建的是非 nil 空切片（底层数组已分配）
• var m map[string]int 声明后为 nil，直接 m["k"] = 1 panic；必须 make 后才能用

混用 var 和 := 容易引发作用域和重声明问题

最常被忽略的坑：在 if 或 for 内部用 := 声明同名变量，实际创建的是新变量，外部同名变量不受影响。

func example() {
    x := 10
    if true {
        x := 20 // 新变量！不是修改外层 x
        fmt.Println(x) // 20
    }
    fmt.Println(x) // 10，没变
}

这种隐藏的作用域遮蔽（shadowing）容易引发逻辑 bug，尤其在错误处理中：

• 写成 err := doA() → err := doB()，第二个 err 是新变量，外层 err 仍是旧值
• 正确做法：统一用 var err error 声明，后续用 = 赋值
• 或者用 if err := doA(); err != nil { ... } 限定作用域，避免污染外层