go中var声明不能省略类型又不赋值，因是静态类型语言需编译器明确类型；:=仅限函数内使用，不可用于包级、重复声明、不可寻址左值等场景。
var 声明变量时为什么不能省略类型又不赋值？
因为 Go 是静态类型语言，var 语句必须让编译器能明确推导出变量类型。只写 var x 会报错 missing type in variable declaration。
- 要么显式写类型：
var x int - 要么带初始值，让编译器推断：
var x = 42（此时x是int） - 函数外不能用
:=，所以包级变量只能靠var+ 类型 或var+ 初始值
短变量声明 := 在哪些地方不能用？
:= 看似方便，但有硬性限制：它本质是声明+赋值的组合操作，不是纯赋值。
- 不能在函数外使用（包级别作用域不允许）——会报
non-declaration statement outside function body - 不能对已声明的变量重复使用：
x := 1; x := 2错误；第二次得用x = 2 - 不能用于结构体字段、map 元素等左值非可寻址场景：
m["k"] := "v"直接语法错误 - 多个变量声明时，只要有一个是新变量，其余同名旧变量会被忽略（容易误以为覆盖了，实际只是复用）
类型推断和显式类型声明怎么选？
推断不是偷懒，而是权衡可读性与控制力。Go 编译器推断很稳，但人容易看错。
- 基础类型简洁场景用推断：
port := 8080比port := int(8080)干净，且port就是int - 需要特定底层类型时必须显式写：
const timeout = 30 * time.Second推断出的是time.Duration；但如果传给只接受int64的 C 函数，就得int64(timeout)或一开始就声明为var timeout int64 = 30e9 - 接口类型无法靠赋值推断出来：
var w io.Writer = os.Stdout不能简写成w := os.Stdout（后者类型是*os.File，不是io.Writer）
零值初始化和未初始化变量的区别在哪？
Go 没有“未初始化”概念——所有变量声明即有零值。但新手常混淆“没写初始值”和“值为零”。
-
var s string→s是""，不是 nil；var m map[string]int→m是nil，不是空 map - 对
nil map、nil slice、nil channel写入会 panic；读取nil map会返回零值，不 panic - 想建空容器，得用字面量或
make：m := make(map[string]int)或m := map[string]int{}，否则就是nil
最易被忽略的是：:= 在 if/for 的初始化语句里作用域仅限该 block，而 var 声明在函数顶部会影响整段逻辑流。别为了少打几个字，把变量生命周期搞乱了。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
