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，直接跳过；rangenil通道会永久阻塞 - 向
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：
Modoer多功能点评系统2.5 精华版 Build 20110710 UTF8
下载
Modoer 是一款以本地分享，多功能的点评网站管理系统。采用 PHP+MYSQL 开发设计，开放全部源代码。因具有非凡的访问速度和卓越的负载能力而深受国内外朋友的喜爱，不局限于商铺类点评，真正实现了多类型的点评，可以让您的网站点评任何事与物，同时增加产品模块，也更好的网站产品在网站上展示。Modoer点评系统 2.5 Build 20110710更新列表1.同步 旗舰版系统框架2.增加 限制图片
立即学习“go语言免费学习笔记（深入）”；
-
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 函数会 panic：call of nil function nil channel 发送或接收，在无 select 保护时永远阻塞；但在 select 中，case 对应 nil channel 会被直接忽略：// 但如果 ch 是 nil，上面 case 等价于不存在，default 会执行
nil channel 控制 select 分支开关是常见技巧，但要注意：它不是“关闭”，只是临时禁用该分支。接口的 nil 判定和 channel 的 nil 分支行为，是 Go 中最易被忽略的两个动态语义点。写判断时别只看值，一定盯住类型上下文。
