Go中变量声明必赋零值，无未初始化概念；短变量声明:=仅函数内可用且需新变量；类型推导为编译期静态确定；包级变量只能用var声明，未使用则编译失败。
变量声明不赋值，Go会自动给零值
Go语言没有“未初始化变量”的概念。只要用 var 声明了变量，哪怕没写等号和初始值，它也会被赋予对应类型的零值（zero value）——这不是“随机默认”，而是语言强制保证的确定行为。
-
int→0 -
string→""（空字符串，不是nil） -
bool→false -
slice/map/chan/func/pointer→nil
这避免了 C/C++ 中读取未初始化内存导致的不可预测行为，但也要注意：零值不等于“业务上有效值”。比如 var status string 得到的是空串，但业务中“空”可能代表“未知”，而“inactive”才是合法状态，不能直接拿零值当默认业务语义用。
短变量声明 := 只能在函数内用，且必须有新变量
:= 是 Go 的语法糖，本质是“声明 + 初始化”，不是赋值。它只允许出现在函数作用域内，包级（全局）变量不能用。
- ✅ 正确：
name := "Alice"、x, y := 1, "hello" - ❌ 错误：
var name string; name := "Bob"（name已存在，无新变量） - ⚠️ 容易踩坑：
a := 10; a := 20编译报错：no new variables on left side of := - ✅ 但这个可以：
a, b := 10, 20; a, c := 30, "ok"（因为c是新变量）
这种设计防止误覆盖，但也意味着你不能靠 := 来“重新声明同名变量”，想改值就老实用 = 赋值。
立即学习“go语言免费学习笔记（深入）”；
类型推导不是“动态类型”，而是编译期静态确定
写 var count = 42 或 score := 95.5，Go 会在编译时根据字面量精确推导出类型：count 是 int，score 是 float64。它不会像 JavaScript 那样运行时变类型。
- 整数字面量如
100默认推导为int（平台相关，通常是int64或int32） - 小数如
3.14推导为float64；想用float32必须显式写float32(3.14)或3.14e0 -
var x = []int{1,2,3}→ 类型是[]int，不是interface{}
推导结果不可更改。一旦推导为 int，就不能再赋 "hello"，编译直接失败。这是 Go 类型安全的核心体现，不是“省事”，而是“防错”。
包级变量必须用 var，不能用 :=
全局变量（即在函数外、包作用域声明的变量）只能用 var，哪怕带初始化也不行：
package main var appName = "myapp" // ✅ 正确 var version string = "1.0.0" // ✅ 正确 // appMode := "prod" // ❌ 编译错误：syntax error: non-declaration statement outside function body
这是因为 := 本质是语句（statement），而包级作用域只允许声明（declaration）。如果你看到别人在文件顶部写了 const 或 var 块，那是唯一合规的全局定义方式。
真正容易忽略的一点是：**未使用的包级变量会导致编译失败**。Go 要求所有 var 声明都必须被引用，哪怕只是日志打印一次。这点比函数内变量更严格——函数里未用的局部变量也报错，但包级变量连声明都不能“白写”。
