Go map lookup value 是指针时如何区分空值

当 Go 的 map value 是指针时，m[key] == nil 不能回答“键不存在”还是“键存在但保存了 nil 指针”。可靠写法是一次读取拿到两个结果：先看 ok 判断键是否存在，再看指针值是否为 nil。这样三种状态不会混在一起。

使用 v, ok := m[key]：ok=false 是缺失键；ok=true && v==nil 是已存入 nil 指针；ok=true && v!=nil 才是可继续使用的对象。

先用 comma-ok 拆开缺失键与 nil 指针

假设缓存保存用户对象指针。下面的判断顺序很重要：!ok 处理缺失，v == nil 处理显式保存的空值，最后才访问对象字段。

package main

import "fmt"

type User struct {
	Name string
}

func findUser(users map[string]*User, key string) {
	// 一次 lookup 同时拿到值和键存在标记，避免把两种空状态混为一谈。
	user, ok := users[key]
	if !ok {
		fmt.Println("缺失键")
		return
	}
	if user == nil {
		fmt.Println("键存在，但值是 nil 指针")
		return
	}
	// 只有确认非 nil 后才能安全访问字段。
	fmt.Println("找到用户：", user.Name)
}

func main() {
	users := map[string]*User{
		"missing-example": nil, // 这是存在但为空，不是缺失键。
		"ready":           {Name: "Lin"},
	}
	findUser(users, "absent")
	findUser(users, "missing-example")
	findUser(users, "ready")
}

absent 会得到 ok=false；missing-example 得到 ok=true 且指针为 nil；ready 则两个判断都通过。也就是说，value 的零值只能说明“读到了零值”，不能单独说明键是否存在。

单独判断 v == nil 为什么会误判

下面这种代码看起来简洁，却把“缺失”和“显式 nil”合并了：

// 只判断值，无法知道键是否真的存在。
if users[key] == nil {
	fmt.Println("没有用户")
}

如果业务只关心“最终能不能拿到对象”，这种写法可能够用；但在配置覆盖、缓存删除、部分更新或权限继承里，不存在 和 存在但明确置空 往往是两种不同指令。此时应保留 ok，不要用第二次 lookup 猜测状态。

别忘了 nil map：读取安全，写入会 panic

nil map 的读取也会返回 value 的零值，所以 v, ok := nilMap[key] 不会因为 lookup 本身崩溃，结果是 ok=false。但给 nil map 赋值会触发运行时 panic。接收 map 参数的函数如果可能负责写入，应在入口初始化或明确要求调用方传入可写 map。

func putUser(users map[string]*User, key string, user *User) map[string]*User {
	// nil map 不能写入；返回新 map 让调用方接住初始化结果。
	if users == nil {
		users = make(map[string]*User)
	}
	users[key] = user
	return users
}

interface 里的 typed nil 还要再看动态类型

如果 value 改成 any，还会遇到接口语义：接口值由动态类型和值共同组成。把一个类型为 *User、值为 nil 的指针放进接口后，接口本身通常不是 nil；直接写 raw == nil 会得到误导性的结果。

func inspectAny(values map[string]any, key string) {
	// comma-ok 先回答键是否存在，不能省略这一步。
	raw, exists := values[key]
	if !exists {
		fmt.Println("缺失键")
		return
	}
	// 类型断言同时确认动态类型，并把接口里的指针取出来。
	user, isUser := raw.(*User)
	if !isUser {
		fmt.Println("值不是 *User")
		return
	}
	if user == nil {
		fmt.Println("存在，但保存的是 typed nil")
		return
	}
	fmt.Println(user.Name)
}

这里的判断顺序是“键存在 → 动态类型正确 → 指针非 nil”。如果业务允许多种 value 类型，建议用明确的结构体或类型约束承载状态，少让调用方猜接口内部究竟放了什么。

常见问题

map 查不到指针值一定会 panic 吗？

不会。读取缺失键只返回指针类型的零值 nil；真正危险的是随后直接解引用，或向 nil map 写入。

能不能先判断 map[key] 再判断 ok？

不建议。一次 v, ok := m[key] 已经同时提供两类信息，重复读取还会让意图变模糊；并发读写 map 本身也需要额外同步。

什么时候应该不用指针 value？

如果业务不需要“显式置空”这个状态，可以存结构体值或把状态封装进结构体，减少 nil 解引用和 typed nil 带来的分支。