本文深入解析 Go 语言中 := 短变量声明的语义规则，重点说明为何 _, err := ... 会报错而 b, err := ... 合法，并提供正确写法与最佳实践。
本文深入解析 go 语言中 `:=` 短变量声明的语义规则，重点说明为何 `_, err := ...` 会报错而 `b, err := ...` 合法，并提供正确写法与最佳实践。
在 Go 中，:= 并非简单的“赋值”，而是短变量声明（short variable declaration）——它要求左侧至少有一个新变量被声明，否则编译器将报错：no new variables on left side of :=。
回顾你的第一段代码：
resp, err := http.Get(url) // ✅ 第一次声明：resp 和 err 都是新变量 _, err := io.Copy(os.Stdout, resp.Body) // ❌ 错误！_ 不是变量，err 已存在，无新变量
这里 _ 是空白标识符（blank identifier），它不表示一个可声明的变量，仅用于丢弃值。因此 _, err := ... 实际上等价于尝试对已存在的 err 单独做 := 声明，但未引入任何新变量，违反语法规则。
而第二段代码能通过编译，正是因为：
b, err := ioutil.ReadAll(resp.Body) // ✅ b 是全新变量，err 被视为“重用”（reused），合法
Go 的 := 规则允许混合声明：只要左侧存在至少一个未声明的新标识符（如 b），其余已存在的变量（如 err）将自动按普通赋值 = 处理。这是 Go 为简化错误处理流程而设计的重要特性。
✅ 正确修复第一段代码的方式有以下几种：
方式一（推荐）：显式使用 = 赋值
_, err = io.Copy(os.Stdout, resp.Body) // 注意：去掉冒号，仅用 =
方式二：引入新变量（如命名返回值）
n, err := io.Copy(os.Stdout, resp.Body) // n 是新变量，err 自动复用 _ = n // 若无需使用字节数，可显式丢弃
方式三（不推荐）：重复声明 err（冗余且易错）
var err error _, err = io.Copy(os.Stdout, resp.Body) // 可行但破坏简洁性，无必要
⚠️ 注意事项：
-
_永远不会被视为“新变量”，它只是语法占位符； -
:=的作用域受块级作用域限制，但在同一作用域内重复:=同一名字仍会报错； - 为提升可读性与健壮性，建议对
io.Copy的返回值（复制字节数）进行有意义的处理或明确丢弃，而非依赖err单点判断； - 在真实项目中，应补充
defer resp.Body.Close()（置于http.Get后立即执行），避免资源泄漏——当前代码中resp.Body.Close()在io.Copy后调用，若Copy失败仍需关闭。
总结：Go 的 := 是“声明+赋值”的复合操作，其核心约束是必须声明至少一个新变量。理解这一机制，不仅能规避编译错误，更能写出更符合 Go 惯用法（idiomatic Go）的清晰、安全代码。
