数组是固定长度的值类型，内存连续且赋值拷贝开销大；切片是引用类型，由指针、长度、容量组成，共享底层数组内存，扩容时按2倍或1.25倍策略重新分配，易引发数据共享问题，需用copy避免。
Go语言中的数组和切片是日常开发中使用频率极高的数据结构，但它们在内存分配和底层实现上有着显著差异。理解这些机制有助于写出更高效、更安全的代码。
数组是固定长度的连续内存块
数组在声明时必须指定长度，且长度不可变。它的内存空间在栈上分配（除非逃逸分析决定在堆上分配），是一段连续的内存区域。
例如：
var arr [4]int
这行代码会在栈上分配能存储4个int类型值的连续空间。数组名本身代表整个内存块，赋值或传参时会进行值拷贝，开销较大。
立即学习“go语言免费学习笔记（深入）”；
切片是对底层数组的抽象封装
切片（slice）不是数组，而是一个引用类型，它包含三个要素：指向底层数组的指针、长度（len）和容量（cap）。其底层结构类似：
type slice struct {
array unsafe.Pointer
len int
cap int
}
切片本身很小，通常只占24字节（64位系统），因此传递切片成本很低。
切片的内存分配行为取决于创建方式：
- 使用字面量或
make
创建时，底层数组在堆上分配 - 基于已有数组创建的切片，共享原数组内存
- 小切片可能在栈上分配底层数组，由逃逸分析决定
扩容机制：按需增长，策略优化
当切片容量不足时，
append会触发扩容。Go运行时会创建新的底层数组，并将原数据复制过去。
扩容策略如下：
- 如果原容量小于1024，新容量通常是原容量的2倍
- 如果原容量大于等于1024，新容量按1.25倍增长（避免过度分配）
- 实际分配的容量还会满足内存对齐要求
例如：
s := make([]int, 5, 5) s = append(s, 1, 2, 3) // 此时len=8, cap=10（假设原cap=5，扩容为10）
扩容会导致原切片和新切片不再共享底层数组，修改互不影响。
共享底层数组带来的隐患
多个切片可能共享同一段底层数组，这在某些场景下会导致“意外”的数据修改：
s1 := []int{1, 2, 3, 4}
s2 := s1[1:3] // s2共享s1的底层数组
s2[0] = 99 // s1[1]也会变为99
若需避免此类问题，可使用
copy创建独立副本，或用
append技巧：
s3 := append([]int(nil), s2...)
基本上就这些。Go通过数组和切片的设计，在性能和易用性之间取得了良好平衡。理解其内存模型，能帮助我们更好控制内存使用，避免潜在bug。
