数组是固定大小的值类型，赋值时整块拷贝；切片是引用底层数组的结构体，赋值仅拷贝头信息。数组长度属类型，[3]int与[4]int不可互赋；切片支持动态扩容，但共享底层数组需防意外修改和内存泄漏。
数组是固定大小的值类型，赋值时整块拷贝
Go 里 [3]int 这种写法声明的是数组，不是切片。它本质是个连续内存块，长度是类型的一部分 —— [3]int 和 [4]int 是完全不同的类型，不能互相赋值。
赋值时整个数组内容被复制，比如：
arr1 := [3]int{1, 2, 3}
arr2 := arr1 // 此时 arr2 是 arr1 的完整副本，修改 arr2 不影响 arr1
常见错误现象：func foo(a [1000]int) { ... } 传参开销大，实际可能只用前 5 个元素，但编译器仍按 1000 个 int 拷贝（通常是 8KB）。
- 如果只是想读取数据，优先用
[]int（切片）+...int可变参数，避免无谓拷贝 - 需要栈上小数组且确定不会扩容（如坐标
[2]float64），才考虑数组 - 数组长度写死在类型里，
len()返回编译期常量，cap()不存在
切片是头信息 + 底层数组的引用类型
[]int 是切片，它本身是结构体：包含指向底层数组的指针、长度 len、容量 cap。变量名存的是这个结构体，但结构体里含指针 —— 所以「切片是引用类型」的说法容易误导，准确说是「切片值包含指针」。
立即学习“go语言免费学习笔记（深入）”；
赋值或传参时，拷贝的是这个三元结构体（通常 24 字节），不是底层数组。所以：
s1 := []int{1, 2, 3}
s2 := s1 // s2 和 s1 共享同一底层数组，改 s2[0] 会影响 s1[0]
使用场景：几乎所有动态集合操作都该用切片，包括函数参数、返回值、map 的 value 等。
- 扩容用
append()，但注意它可能分配新底层数组，旧引用失效 -
s[i:j]切片操作不拷贝数据，只是调整头信息里的指针和长度；若原切片后续被append超出容量，可能意外影响其他切片 - 想彻底隔离数据，用
copy(dst, src)显式拷贝，或make([]int, len(src))+copy
为什么 nil 切片和空切片行为不同但都可安全调用 len/cap
var s []int 是 nil 切片，s := []int{} 是非 nil 空切片。两者 len(s) 和 cap(s) 都返回 0，但底层指针状态不同：
-
nil切片的指针字段为nil，cap为 0，append第一次会分配新底层数组 - 空切片（如
make([]int, 0)）指针非nil，可能指向某个有效数组（比如从另一个切片截取而来），append可能复用底层数组 - 两者都能安全传给
len/cap/for range，但if s == nil只对nil切片成立，空切片不满足
容易踩的坑：json.Unmarshal(nil, &s) 会让 s 保持 nil，而 json.Unmarshal([]byte("[]"), &s) 会让 s 变成空切片 —— 如果代码依赖 s == nil 判断是否初始化，这里就出问题。
如何判断一个切片是否真正拥有独立底层数组
没有内置函数直接判断，但可以通过观察扩容行为或手动检查指针来推断。最可靠的方式是：在关键位置用 unsafe 对比地址（仅调试/测试）：
func ptrOf(s []int) uintptr {
return uintptr(unsafe.Pointer(&s[0]))
}
// 若两个切片 ptrOf(s1) == ptrOf(s2)，说明它们共享底层数组（前提是 len > 0）
更实用的做法是：明确控制所有权。
- 接收切片参数时，如果函数内部要
append或长期持有，先做copy或append(s[:0], s...)截断并重置 - 返回切片时，除非文档明确说明「返回值与输入共享底层数组」，否则默认应确保独立性（例如用
append(make([]T, 0, len(src)), src...)） - 在并发场景下，多个 goroutine 同时写同一个底层数组的切片是危险的，即使切片范围不重叠，也因缺乏同步导致 data race
底层数组的生命周期由所有引用它的切片共同决定，只要有一个切片还活着，GC 就不会回收那块内存 —— 这也是为什么大数组被小切片意外持有时会造成内存泄漏。
