var 和 := 的核心区别在于作用域、重复声明规则与类型推导：var 可用于包级和函数内并支持零值初始化，:= 仅限函数内且必须同时声明与初始化，同作用域重复使用会报错。
var 声明和 := 初始化到底有什么区别
根本不是“写法偏好”问题，而是作用域、重复声明、类型推导三者共同决定的硬约束。var 可以在包级或函数内使用，:= 只能在函数内部用，且必须同时声明+初始化；如果变量名已存在，:= 会尝试“短声明”——但只对**同作用域内未声明过的变量名**生效，否则直接报错 no new variables on left side of :=。
常见错误现象：if err != nil { return err }; val, err := doSomething() —— 这里 err 在 if 块外已声明，:= 就会失败。正确做法是统一用 var err error 开头，后面全用 = 赋值。
-
var支持零值初始化（如var count int→ 0），:=必须提供右值 - 包级变量只能用
var，不能用:= - 结构体字段声明必须用
var风格（type T struct { Name string }），和变量声明无关
局部变量作用域从哪里开始、到哪里结束
Go 没有块级作用域（比如 for 或 if 内部声明的变量，在外部仍可见），但有明确的「语句块边界」：大括号 {} 包裹的代码段才构成新作用域。函数参数、接收者、for 的 init 语句（如 for i := 0; i 中的 <code>i）都属于该函数作用域，而非循环体内。
容易踩的坑：for _, item := range list { go func() { fmt.Println(item) }() } —— 所有 goroutine 共享同一个 item 变量，最后可能全打印最后一个值。原因就是 item 是 for 循环所在函数作用域的变量，不是每次迭代新建的。
立即学习“go语言免费学习笔记（深入）”；
- 想让每次迭代独立，得显式复制：
for _, item := range list { item := item; go func() { fmt.Println(item) }() } -
if或for后面跟的初始化语句（如if x := getValue(); x > 0）中，x仅在该if块内有效 - defer 语句捕获的是变量的当前值（如果是值类型）或地址（指针/引用类型），和作用域无关，但和执行时机强相关
全局变量（包级变量）的初始化顺序怎么理解
包级变量按源码出现顺序初始化，但依赖关系会强制重排：如果 var a = b + 1，而 b 在后面定义，Go 编译器会把 b 的初始化提前，前提是它不依赖更后面的变量。一旦出现循环依赖（如 a 依赖 b，b 又依赖 a），编译直接报错 initialization loop。
实际影响最大的是 init() 函数：所有包级变量初始化完后，才按源文件顺序执行各 init()；同一文件内多个 init() 按定义顺序执行。这意味着你不能靠包级变量的值去判断 init() 是否运行过。
- 包级变量不能调用本包未定义的函数（哪怕函数在后面），否则编译失败
-
const是编译期常量，不受初始化顺序影响，可安全用于其他包级变量的初始值 - 如果初始化逻辑复杂，建议封装成函数并延迟到
init()中执行，避免变量间隐式耦合
为什么有些变量声明后没用，编译却不过
Go 对未使用变量极其严格：函数内用 var 或 := 声明了但没读/写，就会报错 xxx declared and not used。这不是警告，是编译失败。唯一例外是下划线 _，它代表“我明确不要这个值”。
典型场景是处理返回多值的函数时，比如 val, err := strconv.Atoi(s)，如果你确定不需要 err，不能写 val, _ := ... 然后丢掉 _ —— 因为 _ 不算“使用”，依然会触发未使用错误。正确做法是去掉短声明，用 val, _ := ... 仅当你要忽略其中一个值，且其他值都被真正用了。
- 包级变量不受此限制（哪怕没用也不会报错），但会被 go vet 提示
- 测试文件（_test.go）中，未使用的变量在运行
go test时同样被检查 - 临时调试加的变量，别用注释掉的方式绕过，要么用
_ = xxx显式标记，要么删掉
最易被忽略的一点：作用域嵌套时，“未使用”的判定是静态的，不考虑运行时分支。比如 if debug { fmt.Println(x) }，但 debug 是常量 false，编译器仍认为 x 未被使用 —— 它不执行控制流分析。
