数组是值类型，切片是引用类型；[5]int是含5个整数的独立内存块，[]int仅为含ptr/len/cap的24字节结构体，不存数据只指向底层数组。

数组是值类型，切片是轻量级引用结构

Go 中的 [5]int 是一个完整、独立的值，包含 5 个整数的连续内存块；而 []int 本身只是一个三字段结构体：指向底层数组的 ptr、当前元素个数 len、最多可容纳元素数 cap。它不存数据，只“看”数据。

• 声明 var a [3]int → 分配 3×8 字节（假设 int64）的栈空间，零值为 [0, 0, 0]
• 声明 s := []int{1,2,3} → 底层自动分配数组，s 仅占 24 字节（64 位系统下指针+两个 int）
• 赋值 b := a → 复制全部 3 个整数；t := s → 仅复制那 24 字节，s 和 t 指向同一底层数组

切片扩容时可能“断开”原底层数组

用 append 往切片加元素时，是否复用原底层数组，取决于容量是否足够——这直接影响后续修改是否会意外影响其他切片。

• 若 len(s) ，新元素写入原数组，s 和所有共享该底层数组的切片仍可见变更
• 若 len(s) == cap(s)，触发扩容：分配新数组（规则：cap
• 常见坑：s1 := arr[0:2]; s2 := arr[1:3]; s1 = append(s1, 99) → 若 arr 长度为 3，s1 容量为 3，append 后 s2[0] 可能突变为 99（因共用底层数组）；但若 arr 更长、s1 容量更大，append 可能不触发扩容，行为更隐蔽

传参时的语义差异直接决定性能与副作用

函数参数是理解底层区别的最直观场景：数组传参强制拷贝，切片传参只传结构体副本。

• func f(a [1000]int) → 每次调用都复制 1000 个整数，栈开销大，且函数内修改不影响原数组
• func g(s []int) → 只传 24 字节，函数内 s[0] = 123 会反映到底层数组上，所有引用该段内存的切片都能看到
• 注意：g(s) 内部 s = append(s, x) 若触发扩容，则新底层数组仅在函数内可见；原调用方的 s 不受影响 —— 因为 s 本身是值传递（结构体副本），只是这个结构体里的 ptr 初始指向同一地址

零值和初始化方式暴露根本设计意图

数组强调确定性，切片强调灵活性——从零值定义就能看出语言设计者的取舍。

• 数组零值是“满的”：var a [3]int → a 等价于 [3]int{0,0,0}，可直接读写任意索引
• 切片零值是“空的”：var s []int → s == nil，此时 len(s) 和 cap(s) 都为 0，s[0] panic；必须用 make([]int, 0) 或字面量 []int{} 初始化才能安全使用
• 底层数组不可见：你无法直接获取切片背后的数组变量名，也无法用 &s[0] 安全推导出整个数组边界（越界 panic 风险）