Go 短变量声明为什么把外层 err 悄悄遮蔽了

这类 bug 的根源不是 err 特殊，而是 := 只在同一块作用域里复用已有变量；一旦语句进入 if、for 或单独的大括号，左侧的 err 就可能变成一个新的内层变量。结果是内层检查通过了，外层 err 仍然是旧值，函数后面的判断便像“漏掉了错误”。

判断口诀：同一块里至少有一个新变量，旧 err 才会被重新赋值；换了内层块，:= 会创建新的 err。不确定时先改成 =，让编译器替你确认作用域。

先确认 := 的作用域条件

Go 规范允许短变量声明在同一块中“重新声明”已有变量，但必须同时满足三个条件：旧变量此前已经声明；它与当前声明位于同一块；左侧至少还有一个非空的新变量。于是下面的 path, err := 首次声明两个变量，info, err := 则声明新的 info，并给同一个块里的 err 赋新值。

作用域边界比变量名字更重要。函数体、if 初始化语句和每个分支都可能引入不同的块；同名并不代表同一块里的同一个存储位置。

用最小代码复现 err 遮蔽

下面的例子故意让外层 err 保存第一次调用的错误，再在 if 内用 := 声明第二个 err。分支结束后，外层变量没有被第二次调用更新，最后返回的仍可能是第一次错误。

func loadConfig() error {
    raw, err := readFile()
    if err != nil {
        return err // 先处理第一次读取错误
    }

    if len(raw) > 0 {
        parsed, err := parseConfig(raw) // 这里的 err 属于 if 内层块
        if err != nil {
            log.Printf("解析失败: %v", err) // 只记录内层错误
        }
        _ = parsed
    }
    return err // 这里仍是函数块中的外层 err
}

这个例子未必每次都会产生错误，但变量关系已经决定了风险：parseConfig 返回的错误不会流回函数块。若业务要求解析失败就终止，最直白的修复是直接在内层分支返回；若必须继续执行，则使用单独的错误名表达“记录但不返回”的意图。

按错误检查门禁修正代码

修复时不要只把变量改名。先问清楚这个错误是否应该改变当前函数的控制流，再选择写法。

func loadConfig() error {
    raw, err := readFile()
    if err != nil {
        return err // 读取失败立即退出
    }

    if len(raw) > 0 {
        var parsed Config
        parsed, err = parseConfig(raw) // 用 = 更新外层 err
        if err != nil {
            return fmt.Errorf("parse config: %w", err) // 保留原始错误链
        }
        _ = parsed
    }
    return nil
}

如果只想记录解析错误而继续运行，可以写成 parseErr，然后明确记录或转换；不要让一个看似通用的 err 同时承担“需要返回”和“仅供日志”的两种语义。对于很短的分支，也可以采用 if err := parse(...); err != nil { return err }，因为错误的使用和生命周期都被收在同一个块里。

常见的错误修复顺序是：先把危险的 := 改为 = 看编译器报错；若左侧还没有变量，就用 var 显式声明；最后把分支拆成提前返回，减少同名变量跨越的阅读范围。

用工具和检查清单收尾

编译器能发现“没有新变量”这类语法错误，却不会替你判断一个合法的内层变量是否违背业务意图。提交前可以按下面四项检查：

1. 看到 := 就标出它所在的大括号块，确认左侧名字是否来自同一块。
2. 每个内层 err 都回答“失败后返回、记录，还是转换后继续”。
3. 能用 = 表达更新时，不要用同名 := 制造阅读歧义。
4. 在团队工具链中启用 go vet；需要更主动的遮蔽提示时，再加入 gopls 的 shadow 分析器。

go vet ./... # 先检查常见的 Go 代码问题
go test ./... # 再用测试确认错误分支仍能被触发

核心不是拒绝所有短变量声明，而是让声明位置、错误语义和控制流保持一致。只要外层变量确实要被更新，就用同块的重新赋值；只要分支拥有独立生命周期，就让它拥有独立命名或在分支内结束。

相关问题

同一行只有 err 一个变量时能用 := 吗？

如果 err 已经在同一块声明，单独写 err := 没有新变量，会被编译器拒绝；这时应使用 err =。

函数参数能被 := 复用吗？

函数体与参数属于同一函数块，若左侧还有一个新变量且类型可赋值，参数名可以参与短声明的重新赋值；进入内层块则会产生新的同名变量。

为什么代码能编译，review 仍要关注 err shadowing？

遮蔽在语法上可能完全合法，编译器只能确认规则成立，不能确认错误是否应该更新外层控制流，因此需要作用域检查和测试分支共同兜底。