必须用[N]T而非[]T当需类型级长度约束或栈上确定内存布局，如sha256.Sum256用[32]byte确保哈希长度固定，或C互操作中用C.char[256]匹配C struct字段。
什么时候必须用 [N]T 而不能用 []T
只有当你需要「类型级长度约束」或「栈上确定内存布局」时，才该选数组。比如：sha256.Sum256 底层是 [32]byte，因为哈希值长度绝不能变；又比如 C 互操作中传固定大小的缓冲区（C.char[256]），Go 数组能直接对应 C 的 struct 字段。
- 声明
var a [3]int和var b [5]int→ 它们是完全不同的类型，不能赋值、不能传给同一个函数参数 - 函数参数写成
func f(a [1000]int)→ 每次调用都复制 1000 个整数，栈空间暴涨，且函数内改a[0]不影响原数组 - 想把数组当“轻量结构体”用？可以，但别把它当成容器——它不是为增删设计的
[]T 的底层结构到底藏着什么陷阱
切片不是指针，而是一个三字段结构体：ptr（指向底层数组首地址）、len（当前长度）、cap（容量上限）。这 24 字节（64 位系统）本身不存数据，只“看”数据。
-
s := []int{1,2,3}→ 底层自动分配一个数组，s只存那 24 字节，len(s)==3，cap(s)==3 -
s1 := arr[:2]; s2 := arr[1:3]→ 若arr长度为 3，s1和s2共享同一底层数组；s1 = append(s1, 99)后，s2[0]可能突变成 99 -
append是否扩容，只看len == cap：够就复用原数组，不够就 malloc 新数组并 copy —— 这个切换悄无声息，但会断开与其他切片的共享关系
传参时改不改得到原数据？关键看你是动了切片头还是底层数组
切片传参是值传递（复制那 24 字节），但其中的 ptr 初始指向同一地址。所以能否影响“外面”，取决于你操作的是哪一层。
-
func f(s []int) { s[0] = 999 }→ 调用后原切片s[0]确实变成 999（改的是底层数组） -
func f(s []int) { s = append(s, 123) }→ 如果触发扩容，新数组只在函数内可见；返回后原切片完全不受影响（改的是切片头里的ptr） - 想确保扩容也影响调用方？得传
*[]int，但极少需要——通常应让函数返回新切片
初始化为空切片，为什么 var s []int 和 s := []int{} 行为不同
零值是分水岭：var s []int 得到的是 nil 切片，len/cap 都为 0，且 s == nil 为真；而 []int{} 或 make([]int, 0) 创建的是非 nil 切片，底层数组已分配（哪怕容量为 0）。
立即学习“go语言免费学习笔记（深入）”；
-
var s []int; s = append(s, 1)→ 安全，append会自动分配底层数组 -
var s []int; s[0] = 1→ panic: index out of range，因为s是 nil，没底层数组可写 - JSON 解码时若字段声明为
[]string，空数组 JSON[]会解到非 nil 切片，而缺失字段会解到 nil 切片——判断是否为空，别只用len(s) == 0，得先s != nil
append 悄悄换掉；数组的“确定性”来自编译期长度绑定，代价是失去弹性。选哪个，不是看哪个更“高级”，而是看你在乎的是长度契约，还是数据视图的灵活性。 
