nil 是 Go 中表示多种类型零值的预声明标识符，非全局常量；因类型系统严格区分，跨类型比较（如 *int == []int）会编译错误；接口 nil 为 (nil, nil)，而含 nil 值的非空接口不为 nil。

nil 是什么，为什么不能直接比较

Go 中的 nil 不是一个全局常量，而是多个预声明标识符的统称，对应不同类型的零值：指针、切片、映射、通道、函数、接口。它们底层字节表示可能相同（全 0），但类型系统严格区分。所以 nil == nil 在跨类型时会编译报错：

var p *int = nil
var s []int = nil
p == s // 编译错误：mismatched types *int and []int

接口类型是个特例：nil 接口变量内部是 (nil, nil)，即 type 和 value 都为空；而一个非空接口变量即使底层值是 nil（比如 *int 类型的 nil 赋给接口），接口本身也不为 nil。

切片、映射、通道的 nil 行为差异

这三者都用 nil 表示“未初始化”，但运行时行为不同：

• len() 和 cap() 对三者都安全，返回 0
• range 遍历 nil 切片或映射不 panic，直接跳过；range nil 通道会永久阻塞
• 向 nil 映射写入 panic：assignment to entry in nil map
• 向 nil 切片追加（append）是合法的，会自动分配底层数组
• 从 nil 通道接收或发送会永久阻塞（除非配合 select + default）

var m map[string]int
m["x"] = 1 // panic!
var s []int
s = append(s, 1) // OK，s 变成 [1]
var ch chan int
<-ch // 永久阻塞

接口 nil 的常见误判场景

最容易出错的是把一个底层值为 nil 的指针赋给接口后，误以为接口是 nil：

• var p int = nil; var i interface{} = p → i != nil（因为接口里存了 int 类型和 nil 值）
• 只有 var i interface{} 或显式赋 nil（如 i = nil）才是真 nil
• 这导致 if i == nil 判断失效，尤其在 error 处理中：

func returnsNilPtr() *os.PathError { return nil }
err := returnsNilPtr()
if err != nil { /* 这里会进 */ }
e2 := interface{}(err)
if e2 == nil { /* 这里不会进！因为 e2 是 (*os.PathError, nil) */ }

检查接口是否“逻辑上为空”，应先类型断言再判底层值，或直接用具体类型判断。

函数和 channel 的 nil 调用与发送

• 调用 nil 函数会 panic：call of nil function
• 向 nil channel 发送或接收，在无 select 保护时永远阻塞；但在 select 中，case 对应 nil channel 会被直接忽略：

var ch chan int
select {
case <-ch: // 永远不触发
default:
    fmt.Println("fallback")
}
// 但如果 ch 是 nil，上面 case 等价于不存在，default 会执行

• 因此用 nil channel 控制 select 分支开关是常见技巧，但要注意：它不是“关闭”，只是临时禁用该分支。

接口的 nil 判定和 channel 的 nil 分支行为，是 Go 中最易被忽略的两个动态语义点。写判断时别只看值，一定盯住类型上下文。