Go中\_用于丢弃返回值但不可全用\_声明变量，因\_非合法左值；它不分配内存、不触发defer、不影响recover，且不参与类型推导，故\_, s := f()非法；import和range中\_有特殊语义，忽略error需谨慎。
Go里用_忽略多值返回的某个值，但不能全用_
Go函数支持多值返回，调用时必须处理所有返回值——要么全接收，要么用_显式丢弃。但_只是占位符，不分配内存、不触发赋值操作，也不会调用对应值的defer或影响recover行为。
常见错误是试图这样写：_, _ := foo()。编译直接报错：no new variables on left side of :=，因为两个_都不算新变量，:=左侧没有合法左值。
- 只忽略部分值：用
_替换不需要的变量名，其余保留具体变量名，例如a, _ := getValue() - 全忽略时改用普通赋值：
_, _ = getValue()（前提是变量已声明） - 若真要丢弃全部且无前置声明，只能加括号调用不赋值：
getValue()（但需确保函数无副作用或你接受副作用）
_在import和range里的特殊含义
_不只是“丢弃返回值”的语法糖，在其他上下文有独立语义：
-
import _ "net/http/pprof"：触发包初始化（init()），但不引入导出名 -
for _, v := range slice：忽略索引，只取元素；等价于for i, v := range slice { _ = i }，但更高效、更清晰 -
for range slice：连_都省了，仅用于遍历次数，不读取任何值
注意：range中写_, _ := range m是非法的——第二个_会尝试接收value，但map的range第二值类型不确定（可能是int、string等），导致类型推导失败。
立即学习“go语言免费学习笔记（深入）”；
Golang Uber Dig
下载
使用 uber-go/dig 在 Golang 中实现依赖注入——基于反射容器，提供 Provide/Invoke、dig.In/dig.Out 参数与结果对象，支持命名依赖等
用_接收error但不检查，是典型隐患
很多人写_, _ = doSomething()或_, _ := doSomething()来跳过error，这很危险——函数可能已失败，但你完全没感知。
- 正确做法：哪怕不处理，也至少显式接收并注释原因，例如
result, err := riskyOp(); if err != nil { log.Printf("ignored: %v", err) } - 若确定可忽略（如
os.Remove删一个可能不存在的文件），用_接收err没问题：_, _ = os.Stat(path)→_, _ = os.Remove(path)，但必须确认业务逻辑允许失败静默 - 工具如
errcheck会警告未检查的error，即使你用了_——它识别的是“未使用”，不是“是否合理”
空白标识符不参与类型推导，会影响:=行为
_本身没有类型，Go不会为它做类型推导。这在混合类型返回时容易出错：
func dual() (int, string) { return 42, "hello" }
下面这行合法：i, _ := dual() → i推导为int；但下面这行非法：_, s := dual() → 编译器无法从_反推s该是什么类型，报错cannot infer type for s。
- 解决方法：显式声明
s类型，或用完整赋值：var s string; _, s = dual() - 这也说明：
_不是“任意类型占位符”，它彻底退出类型系统，不参与任何推导链 - 在泛型代码中尤其明显——
_, v := genericFunc[T]()可能因T未被_约束而推导失败
真正容易被忽略的是：空白标识符让编译器“看不见”那个位置的值，所以它既不帮你检查类型，也不帮你捕获错误，更不会提醒你漏了什么——它只相信你清楚自己在丢掉什么。
