短变量声明 := 仅限函数等块作用域内使用,包级位置必须用 var;左侧至少需一个新变量,否则报错;在 if/for/switch 初始化中安全且作用域受限。

短变量声明 := 只能在函数内部用
包级(全局)作用域写 a := 1 会直接编译失败,报错:syntax error: non-declaration statement outside function body。这不是限制,而是设计使然——Go 要求顶层声明必须以 var、func、type 等关键字开头,便于解析器快速识别语句意图。
-
:=本质是var x T = v的简写,自动推导类型,但只在块作用域(如函数体、if初始化子句、for循环条件前)生效 - 常见误用:在
init()函数外、或main()外的包级位置尝试config := loadConfig()→ 编译不过 - 正确姿势:包级变量统一用
var声明;函数内才放心用:=
左边至少得有一个新变量,否则报 no new variables on left side of :=
这是最常卡住新手的错误。Go 不允许纯赋值式重声明,:= 必须“带新货”——即左侧标识符中,至少有一个是首次出现的变量名。
- 合法:
name, err := getName(), getErr()(两个都是新变量) - 合法:
name, err := "Alice", fmt.Errorf("boom")(err是新变量,name若已存在则被重声明) - 非法:
name := "Bob"后再写name := "Charlie"→ 报错,没新变量 - 非法:
name, age := "Tom", 25后再name, age := "Jerry", 30→ 同样报错
别拿 := 给包级变量赋值,它不会“降级”为赋值操作
如果包里已有 var DB *sql.DB,你在函数里写 DB, err := sql.Open(...),那 DB 不是给包级变量赋值,而是声明了一个同名局部变量——外面的 DB 仍是 nil,且这个局部 DB 函数一退出就消失。
- 现象:调用后
DB.Ping()panic:invalid memory address or nil pointer dereference - 修复不是改
:=为=就完事,而是先确保err已声明:var err error; DB, err = sql.Open(...) - 但更根本的解法是:别用包级
DB,改用func NewDB(...) (*sql.DB, error)返回值,由调用方显式持有和传递
在 if/for/switch 初始化语句里,:= 是安全的临时变量利器
这类场景下,:= 声明的变量作用域被严格限制在对应块内,天然避免命名污染,也符合“最小作用域”原则。
立即学习“go语言免费学习笔记(深入)”;
-
if user, ok := users[id]; ok { ... }——user和ok仅在 if 块及 else 中可见 -
for i, v := range items { ... }——i、v不会泄漏到循环外 -
switch f := foo(); f { case "a": ... }——f只在 switch 内有效 - 注意:
_, err := os.Open("x")中的_是匿名变量,不参与“是否新变量”的判断,所以只要其他变量是新的,语法就成立
真正容易被忽略的,是 := 的“声明优先”语义——它从来不是赋值,只是声明加初始化。哪怕你心里想的是“我只想改个值”,Go 也会按规则新建变量。理解这一点,才能避开绝大多数作用域和 nil 指针坑。










