Go语言要求所有声明的局部变量必须被使用，否则编译失败；本教程解析a declared but not used错误成因，详解:=与=的区别，并提供正确编写for循环及变量声明的实践方案。
go语言要求所有声明的局部变量必须被使用，否则编译失败；本教程解析`a declared but not used`错误成因，详解`:=`与`=`的区别，并提供正确编写for循环及变量声明的实践方案。
在Go语言中，a declared but not used（变量已声明但未使用）是一类常见且严格的编译期错误。它源于Go的设计哲学：避免冗余代码、提升程序清晰度与可维护性。该规则仅适用于函数内声明的局部变量（全局变量不受此限），一旦编译器检测到某个用var或:=声明的变量在作用域内未被读取或写入，就会立即报错。
以您提供的代码为例：
package main
import "fmt"
func main() {
for a := 0; a < 4; a++ {
fmt.Printf("value of a is %d\n", a)
}
}这段代码实际可以正常编译运行——因为for语句中的a := 0属于for循环的初始化语句，其作用域严格限定在该for块内部，且a在循环条件和后置操作中均被使用（a 和 <code>a++），完全满足“声明即使用”的要求。因此，若您遇到该错误，更可能的原因是：在for循环外部额外声明了未使用的a，例如：
func main() {
a := 0 // ❌ 错误：此行声明了a，但后续未使用（for里的是另一个同名但作用域不同的a）
for a := 0; a < 4; a++ { // 这里的a是for语句新声明的局部变量
fmt.Println(a)
}
}此时外层的a := 0从未被访问，触发编译错误。
立即学习“go语言免费学习笔记（深入）”；
✅ 正确做法有两类：
1. 使用短变量声明 :=（推荐用于for循环及函数内初始化）:= 是声明并赋值的复合操作，类型由右值自动推导，且仅能在函数内部使用：
func main() {
for i := 0; i < 5; i++ { // ✅ 正确：i在初始化、条件、后置中均被使用
fmt.Println(i)
}
// 其他场景示例
name := "Go" // 推导为 string
count := 42 // 推导为 int
price := 19.99 // 推导为 float64
}⚠️ 注意：:= 不能重复声明同一作用域内的同名变量（会报 no new variables on left side of :=），此时应改用 = 赋值：
s := "hello" // 声明+赋值 s = "world" // ✅ 正确：仅赋值，不重新声明 // s := "again" // ❌ 错误：重复声明
2. 使用 var 显式声明 + = 赋值（适合需明确类型或延迟赋值场景）
func main() {
var a int // 声明a为int类型，初始值为0（零值）
a = 0 // 赋值（此处可省略，因已为零值）
for ; a < 4; a++ {
fmt.Printf("value of a is %d\n", a)
}
}? 关键总结：
-
:=是声明并初始化（只能用于函数内，且要求至少有一个新变量）； -
=是纯赋值，目标变量必须已声明； - Go中for循环的初始化语句（如
i := 0）自带独立作用域，无需在外部预先声明； - 所有函数内通过
var或:=声明的变量，必须在作用域内至少被读取或写入一次，否则编译失败； - 若需声明但暂不使用（如调试阶段），可用下划线
_忽略：_, err := someFunc()，但普通变量不可用_声明（_ := 42是语法错误）。
掌握这些规则，您就能精准避开“declared but not used”陷阱，写出符合Go惯用法的简洁、健壮代码。
