Go 中切片的零值（如 var s []int）确实是 nil，但通过字面量 []int{} 创建的是长度和容量均为 0 的非 nil 空切片——二者内存表示不同，== nil 判断结果也不同。
go 中切片的零值（如 `var s []int`）确实是 `nil`，但通过字面量 `[]int{}` 创建的是长度和容量均为 0 的非 nil 空切片——二者内存表示不同，`== nil` 判断结果也不同。
在 Go 语言中，切片（slice）是一个三元组结构：[pointer, length, capacity]。其行为的关键在于底层指针是否为 nil，而非仅看 len 和 cap 是否为 0。
-
nil 切片：指针字段为 nil，len 和 cap 均为 0。它表示“未初始化”或“不存在”的切片，例如：
var s []int // 零值，等价于 nil
此时 s == nil 为 true。
-
空切片（empty slice）：指针字段指向一个有效地址（可能为底层数组首地址，也可能由运行时分配），但 len == cap == 0。它表示“存在但为空”的集合，例如：
s := []int{} // 字面量创建 s := make([]int, 0) // make 创建此时 s == nil 恒为 false，即使 len(s) 和 cap(s) 都是 0。
以下代码清晰展示了差异：
package main
import "fmt"
func main() {
var nilSlice []int // 零值 → nil
emptySlice := []int{} // 字面量 → 非 nil 空切片
fmt.Printf("nilSlice: %v, len=%d, cap=%d, isNil=%t\n",
nilSlice, len(nilSlice), cap(nilSlice), nilSlice == nil)
fmt.Printf("emptySlice: %v, len=%d, cap=%d, isNil=%t\n",
emptySlice, len(emptySlice), cap(emptySlice), emptySlice == nil)
}输出：
nilSlice: [], len=0, cap=0, isNil=true emptySlice: [], len=0, cap=0, isNil=false
⚠️ 重要注意事项：
- nil 切片与空切片在调用 len、cap、append 时行为一致，均安全可用（append 会自动分配底层数组）；
- 但若需区分“未初始化”与“已初始化但为空”的语义（如 API 返回值、错误处理、序列化逻辑），必须显式用 == nil 判断，不可仅依赖 len(s) == 0；
- 使用 make([]T, 0, N) 可预分配底层数组容量，提升后续 append 性能；而 []T{} 总是创建零容量空切片（cap == 0），扩容时必然触发内存分配。
✅ 最佳实践建议：
- 初始化意图明确时，优先使用 var s []T（表示“暂无数据”）或 s := make([]T, 0)（表示“空容器，准备填充”）；
- 在函数返回、JSON 序列化或接口比较场景中，注意 nil 切片会被编码为 null，而空切片编码为 []；
- 单元测试中应分别覆盖 nil 和空切片输入，避免逻辑遗漏。
理解这一区别，是写出健壮、可维护 Go 切片代码的基础。
