Go 语言允许在同个作用域内通过短变量声明（:=）对已声明的变量（如 err）进行“重声明”，前提是至少有一个新变量参与声明，且类型一致；这并非创建新变量，而是复用并重新赋值。
go 语言允许在同个作用域内通过短变量声明（`:=`）对已声明的变量（如 `err`）进行“重声明”，前提是至少有一个新变量参与声明，且类型一致；这并非创建新变量，而是复用并重新赋值。
在 Go 中，err := ipdf.Open(source) 和后续的 payload, err := ioutil.ReadFile(other) 看似重复定义了 err，实则完全合法——这是 Go 短变量声明（Short Variable Declaration） 的核心特性之一。
根据 Go 语言规范，短变量声明 v1, v2 := expr1, expr2 允许对已在同一代码块（或函数参数列表）中声明过的变量进行重声明，但需同时满足以下条件：
- 所有被重声明的变量（如
err）必须已存在，且类型与原声明一致； - 至少有一个非空白（non-blank）新变量出现在左侧（如本例中的
payload）； - 重声明不引入新变量绑定，仅对已有变量重新赋值。
✅ 合法示例：
err := ipdf.Open(source) // 第一次声明 err
if err != nil {
panic("Couldn't open pdf.")
}
payload, err := ioutil.ReadFile(other) // ✅ 合法：err 已存在，payload 是新变量，类型均为 error（隐式一致）
if err != nil {
panic("Couldn't read other file.")
}
⚠️ 注意事项：
- 若写成
err, err := ...（无新变量），编译器将报错：no new variables on left side of :=； - 若
err在外层作用域（如函数参数）已声明为error类型，内部:=仍可重声明它，只要满足“至少一个新变量”； - 不推荐过度依赖该机制。为提升可读性与可维护性，建议在逻辑分段清晰时显式使用
err = ...赋值，尤其当无新变量产生时：err = ioutil.ReadFile(other) // 更直白，避免歧义 if err != nil { ... }
总结：err 的“重定义”本质是 Go 为简化错误处理流程而设计的语法糖，其背后是严谨的作用域与类型约束。理解这一机制，有助于写出既符合惯用法又不易出错的 Go 错误处理代码。
