数组是值类型，切片是引用类型；[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初始指向同一地址
零值和初始化方式暴露根本设计意图
数组强调确定性，切片强调灵活性——从零值定义就能看出语言设计者的取舍。
立即学习“go语言免费学习笔记（深入）”；
- 数组零值是“满的”：
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 风险）
切片的“引用性”不是靠指针类型实现的，而是靠其结构体中那个隐式指针字段；真正容易忽略的是：这个指针可能在任意一次 append 后悄然改变——你写的代码看似操作同一个切片，实际中途已切换了背后的数据地块。