Go变量声明必须绑定类型或初始值,编译期需确定内存布局;:=仅限函数内且要求新变量;全局变量赋值误用:=会遮蔽导致nil panic;所有变量声明即具零值但未初始化不可用。

Go 语言变量声明不是“先定义再用”,而是“声明即绑定类型、未初始化不能用”——不写类型也不给值,var 直接报错;函数内用 := 看似方便,但一不小心就遮蔽全局变量或重复声明。
var 声明必须指定类型或提供初始值
编译器需要在编译期确定内存布局,所以 var 单独出现时,要么写明类型,要么带值让编译器推导。漏掉任一条件就会失败:
-
var age int✅ 合法:类型明确 -
var name = "Alice"✅ 合法:值明确,类型为string -
var count❌ 编译错误:missing type in variable declaration
包级(全局)变量尤其容易踩这个坑:有人习惯在文件顶部写一堆 var a, b, c,结果忘了补类型或初始值,直接编译不过。
:= 只能在函数内部用,且左边必须有新变量
:= 是短变量声明,本质是 var + 类型推导 + 初始化 三合一,但它受作用域和语义双重限制:
立即学习“go语言免费学习笔记(深入)”;
- 包级作用域禁止使用
:=,否则报错:non-declaration statement outside function body -
err := foo()后再写err := bar()会失败,提示:no new variables on left side of := - 如果
err已在上层作用域声明过(比如if块里),外面再用:=就可能意外创建新局部变量,导致原变量没被赋值
典型陷阱:在 for 循环里开 goroutine,用 i := i 复制值是常见解法,但漏掉这一步,所有 goroutine 会共享同一个 i 的地址。
全局变量赋值别被局部同名变量遮蔽
包级变量一旦声明,必须用 = 显式赋值;若在函数里误用 :=,就等于新建了一个局部变量,全局变量仍为零值(如 *rest.Api 为 nil),后续调用 api.MakeHandler() 必 panic:
- ❌
api := rest.NewApi()→ 创建局部变量,全局api仍是nil - ✅
api = rest.NewApi()→ 正确赋值给包级变量 - ✅
var api *rest.Api→ 全局声明必须匹配实际返回类型(指针,不是接口值)
类型不匹配 + 遮蔽赋值,是 API 初始化失败最隐蔽的两个原因。
零值不是 nil,但未初始化就用会直接报错
Go 没有“未初始化”状态,所有变量声明后立刻有零值:int 是 0,string 是 "",map 是 nil。但注意:
- 对
nil map执行m["k"] = v会 panic,必须先make - 结构体变量本身不能为
nil,它的零值是各字段零值的组合 - 判断
map是否为空,不能只看是否== nil,得用len(m) == 0
真正容易忽略的,是「零值可用」和「变量必须显式声明」这两条规则并存——你不能跳过声明直接用,但一旦声明,哪怕没赋值,它也已经有确定值了。


















