必须用 v, ok := m[key] 判断键是否存在，因为 m[key] 在键不存在时返回零值，与显式存入的零值无法区分；ok 才是唯一可靠标识键是否被插入过的信号。
必须用 v, ok := m[key] 判断，其他方式都会误判。 Go 的 m[key] 永远返回两个值，而只有 ok 是唯一能告诉你“这个 key 真的被插入过”的信号；比较值是否为零、nil 或空字符串，上线后必出 bug。
为什么 m[key] == 0 或 m[key] == "" 不行
因为 m[key] 在 key 不存在时，也返回 value 类型的零值：0、""、false、nil——和你显式存进去的零值完全一样。
-
map[string]int{"a": 0}和map[string]int{}，在m["a"] == 0时结果相同，但语义天差地别 -
map[string]*int{"x": nil}中，m["x"] == nil为真，但 key 存在；m["y"] == nil也为真，但 key 不存在 -
map[string]bool{"x": false}中，m["x"]是false，但 key 明明存在
v, ok := m[key] 的写法细节和常见错误
这不是语法糖，是强制约定。编译器不接受 v, ok = m[key]（ok 未声明），也不允许只取一个返回值。
- 必须用短变量声明：
v, ok := m[key]，不能漏掉:= - 如果只关心存在性，用
_, ok := m[key]，避免无意义变量污染作用域 -
if v, ok := m[key]; ok { }是最紧凑安全的写法，v只在if块内有效 - 即使
m是nil，v, ok := m[key]依然合法：ok为false，v是零值
并发场景下 ok 判断不是万能的
v, ok := m[key] 这一行本身是线程安全的，但“判断存在 → 然后删/改/读”这个组合不是原子操作。
立即学习“go语言免费学习笔记（深入）”；
-
if _, ok := m[k]; ok { delete(m, k) }在多 goroutine 下有竞态：ok == true后，k可能已被别的 goroutine 删除或覆盖 - 需要原子读-删，优先用
sync.Map.LoadAndDelete(key)，它返回value, loaded bool，一步到位 - 普通 map 配合
sync.RWMutex也可行，但ok判断必须放在锁内
最容易被忽略的是：一旦你换了 map 的 value 类型（比如从 int 改成 *int），所有靠比较零值的旧逻辑就全失效了。ok 不依赖类型语义，它只问“这个 key 是否被插入过”，这才是你真正该信的依据。
