Go变量必须显式声明或初始化，未使用变量报错；支持var和:=两种声明方式，类型在变量名后；:=仅函数内可用且需至少一个新变量；所有变量有零值，nil不等于空；作用域基于词法块，重声明需满足特定条件。
Go 语言变量必须显式声明或初始化，不存在隐式声明；未使用的变量会导致编译错误，这是和其他语言（如 Python、JavaScript）最直观的差异。
var 声明 + 类型 + 初始化三者如何组合
Go 支持多种声明形式，但核心规则是：类型在变量名之后（与 C/Java 相反），且不能省略类型除非用 :=。
-
var x int：声明未初始化，x获得零值（0） -
var y = 42：类型由右值推导为int，等价于var y int = 42 -
var z int = 100：显式指定类型并赋值，最冗长但最清晰 -
var a, b string = "hello", "world"：批量声明同类型变量
注意：var 声明块中若某行只写 var x（无类型无初值），会报错 —— Go 不允许“仅声明不指定类型也不推导”。
短变量声明 := 只能在函数内使用
:= 是语法糖，本质是声明 + 初始化，它自动推导类型，并要求左侧变量至少有一个是新声明的。
立即学习“go语言免费学习笔记（深入）”；
-
s := "abc"→ 推导为string，合法 -
s := 123; s := 456→ 第二行报错：no new variables on left side of := -
s, n := "abc", 42→ 合法，只要其中一个是新变量（比如n） - 在包级作用域（函数外）写
s := "x"→ 编译失败：non-declaration statement outside function body
常见误用：在 if 或 for 的初始化语句中用 := 定义变量，其作用域仅限该代码块，出块即不可见 —— 这不是 bug，是设计使然。
零值不是 nil，也不是 undefined
Go 没有 undefined 概念，所有变量声明后立即有确定的零值：0、""、false、nil（仅适用于指针、切片、map、channel、func、interface）。
-
var m map[string]int→m是nil，此时len(m)返回 0，但m["k"] = 1会 panic -
var s []int→s是nil，不是空切片；len(s) == 0为 true，但s == nil也为 true - 想获得非 nil 空值？得显式初始化：
s := []int{}或s := make([]int, 0)
混淆 nil 和 “空” 是 runtime panic 的高发区，尤其在 map 和 slice 上。
变量作用域和重声明边界容易被忽略
Go 的作用域基于词法块（花括号），但重声明（redeclaration）有特殊规则：只能在同个代码块内对已存在变量用 := “再次声明”，前提是至少有一个新变量参与。
- 函数内：
a := 1; a, b := 2, 3→ 合法（b是新的） - 函数内：
a := 1; a := 2→ 报错 - 不同嵌套块中同名变量是独立的：
if true { x := 1 }; fmt.Println(x)→ 报错，外层没声明x
真正容易踩坑的是：在 if 内用 := 声明了变量，却误以为它在 if 外可用；或者把包级变量和局部变量同名，导致局部遮蔽（shadowing）而逻辑异常 —— Go 不警告，但行为完全取决于作用域链。
