该错误源于:=必须声明至少一个新变量，若左侧全为已声明变量则报错；修复方式为改用=赋值或确保左侧含新变量名，且:=不可用于包级、结构体字段、switch case及select语句中。
“no new variables on left side of :=” 怎么修
这个错误不是语法写错了，而是语义上违反了 := 的核心规则：它必须声明至少一个新变量。编译器看到左侧所有名字都已在当前作用域中存在，就会直接拒绝。
常见触发场景：
- 在同一个函数块里重复用
x := 1声明同名变量 - 在
if或for块内写a, err := doSomething()，但err已在外层声明过，且没引入新变量（比如用了_） - 循环中写
item, slice := slice[0], slice[1:]，结果slice被当作新局部变量遮蔽外层变量，还因未使用报错
修复方式只有两种，选其一即可：
- 改用普通赋值：
_, err = io.Copy(dst, src)——_不算变量，err直接复用 - 确保至少一个新名字：
n, err := io.Copy(dst, src)——n是新变量，满足条件
为什么 for 循环里用 := 容易出问题
for 循环体是一个独立词法块，每次迭代都会重新进入作用域。如果在里面用 := 声明和外层同名的变量，就会创建新的局部变量，而不是修改外层那个。
典型错误写法：
stack := []int{1, 2, 3}
for len(stack) > 0 {
top, stack := stack[len(stack)-1], stack[:len(stack)-1] // ❌ stack 被重声明，外层 stack 不变
fmt.Println(top)
}
后果是外层 stack 永远不会变空，循环无限；同时编译器还会报 unused variable 'stack' —— 因为新声明的 stack 在块内只用于切片截取，没被读取。
安全做法是显式赋值：
- 用
=替代:=：top := stack[len(stack)-1]; stack = stack[:len(stack)-1] - 或拆成两步，避免混淆作用域
哪些地方根本不能用 :=
:= 是函数级语法糖，有硬性限制：
- 不能在包级（全局）作用域使用：
varName := "hello"会直接编译失败 - 不能用于结构体字段赋值：
user.Name := "Alice"语法错误，必须用= - 不能在
switch的case分支里单独声明新变量后，再在下一个case中复用它 —— 每个case是独立作用域 - 不能在
select语句中对已声明的 channel 变量用:=接收 —— 同样卡在“无新变量”规则上
只要不确定是否在函数内部、或不确定左侧有没有全新名字，就别碰 :=，老实用 var 或 = 更稳。
变量隐藏（shadowing）怎么发现和避免
这是最隐蔽的问题：代码能编译、能跑，但逻辑不对。比如在 if 块里写 config, err := loadDefault()，而外层已有 config, err，这时块内 config 是新变量，外层那个根本没被更新。
识别方法很简单：
- 检查所有
:=左侧，看有没有和外层同名的变量 - 留意 IDE 是否对某个变量标灰（表示未被后续使用），那很可能就是被遮蔽了
- 加一行
fmt.Printf("%p", &config)对比地址，能立刻确认是不是同一个变量
预防策略就一条：在需要修改外层变量时，禁用 :=，统一用 = 赋值；或者给内部变量换个名字，比如 defaultConfig, err := loadDefault()。
真正难的不是记住规则，而是在嵌套块里一眼看出变量归属 —— 多数 bug 都藏在这里，而不是语法报错那一行。
golang免费学习笔记（深入）：立即使用
在学习笔记中，你将探索golang的核心概念和高级技巧！
