_不是变量而是编译器认可的丢弃占位符，无内存地址、不可取值或运算，仅用于明确忽略多值返回、导入包副作用等场景，禁止出现在表达式中。
为什么 _ 不是变量而是“丢弃占位符”
go 语言里 _ 根本不是变量，它没有内存地址、不能取值、不能参与运算——它只是编译器认可的语法占位符，专用于“我明确知道这里有东西，但我不需要”。这点和 Python 的 _（虽也常被用作忽略，但本质仍是变量）有根本区别。
常见错误现象：fmt.Println(_) 报错 undefined: _；或者试图 _=x 后再用 _，结果发现根本没赋成功。
- 只允许出现在赋值语句左侧、
import声明、函数参数列表、结构体字段名等特定位置 - 不能出现在表达式中（比如
if _ == nil或return _都非法） - 多值返回时，必须按顺序占位，不能跳着忽略。例如
_, err := os.Open("x")合法，但file, _ := os.Open("x")就是把第一个值给了file，第二个给了_，不能反过来“只留 err”
range 循环里该不该用 _ 忽略索引或值
取决于你是否真的一次都不用那个值。Go 编译器不会帮你判断“你其实没用”，它只看语法：只要写了 _，就代表你主动放弃，且不分配栈空间。
使用场景举例：遍历 map 只关心 key，不关心 value；或遍历切片只计数，不需要元素本身。
立即学习“go语言免费学习笔记（深入）”；
- 写
for k := range m和for k, _ := range m效果一样，但前者更简洁、意图更清晰 - 如果误写成
for _, v := range s却在循环体里用了v，没问题；但若写成for _, _ := range s，就完全无法访问任何值，且容易掩盖逻辑遗漏 - 性能上无差异，但可读性差——两个
_让人得停顿半秒想“这俩到底哪个是索引哪个是值？”
导入包却不用时为什么必须用 _ 而不是直接删掉
因为有些包的 init() 函数有副作用，比如注册驱动、初始化全局状态。删掉导入会直接让功能失效；而用 _ 是告诉编译器：“我不要这个包的导出标识符，但请执行它的初始化。”
典型例子：import _ "net/http/pprof"、import _ "github.com/lib/pq"（postgresql 驱动注册）。
- 错误做法：
import "github.com/lib/pq"然后不声明任何变量——编译会报imported and not used - 正确做法必须加
_，否则包不会加载，sql.Open("postgres", ...)会报sql: unknown driver "postgres" - 注意路径别写错：
import _ "github.com/lib/pq"是对的，import _ "pq"或import _ "./pq"都无效
结构体字段或接口方法里用 _ 的真实作用
在结构体定义中写 _ int 并不是忽略字段，而是声明一个匿名字段（即嵌入），类型为 int；而在接口中写 _() 是语法错误——接口方法名不能是 _。
容易踩的坑：有人以为 type T Struct { _ String } 是“忽略 string 字段”，其实它等价于嵌入了一个未命名的 string，会导致 T 自动获得 string 的所有方法（比如 t.ToUpper()），而且序列化（如 json）时仍会输出该字段。
- 真正想忽略结构体字段用于 JSON 序列化，应该用 tag：
Field string `json:"-"` - 想让某个字段“不可导出但又不想暴露名字”，应使用小写字母开头的合法标识符（如
unused string），而不是_ -
_在结构体里唯一安全的用法，是作为嵌入字段的占位（极少见），比如_ http.ResponseWriter用于组合，但需谨慎，容易引发方法冲突
事情说清了就结束。最常被忽略的是：它不是变量、不能复用、不能跨位置跳过、也不能靠它绕过类型检查——它只是 Go 编译器面前一句老实话：“这个，我真不用。”