在 Go 语言中，数组（Array）和切片（Slice）看起来非常相似，但在底层设计和运行机制上，它们有着天壤之别。理解两者的区别，是写出高性能 Go 代码的必经之路。
1. 数组（Array）：连续内存的“物理实体”
在 Go 中，数组是一个固定长度的、连续内存的数据结构。
- 类型的本质：数组的长度是类型的一部分。这意味着
[3]int和[4]int在编译器看来是完全不同的两种类型，它们之间不能直接赋值或比较。 - 内存模型：当你声明一个数组时，它在内存中就是一串实实在在的连续数值。
- 传递代价：数组是值传递的。当你把一个数组传给函数时，Go 会完整地拷贝整个数组。如果数组有 100 万个元素，这种拷贝将带来巨大的性能开销。
2. 切片（Slice）：底层数组的“高级视图”
切片本身并不存储任何数据，它只是对底层数组的一个描述符。
切片的本质逻辑
切片在底层是一个由三个字段构成的结构体（runtime.slice）：
- Data（指针）：指向底层数组中切片开始的位置。
- Len（长度）：当前切片中元素的个数。
- Cap（容量）：从切片的起始位置到底层数组末尾的总空间。
为什么切片表现得像“引用传递”？
其实严格来说，Go 只有值传递。但因为切片结构体很小，且内部包含一个指针，所以当你传递切片时，拷贝的只是这个“描述符”，而指针依然指向同一个底层数组。这就实现了类似“引用传递”的效果，既高效又灵活。
3. 核心区别对比
| 特性 | 数组 (Array) | 切片 (Slice) |
|---|---|---|
| 长度 | 固定，定义后不可更改 | 动态，可扩容 |
| 类型定义 | [n]T(长度是类型的一部分) | []T |
| 内存分配 | 声明时分配固定空间 | 运行时动态分配（make 或截取） |
| 传递方式 | 值拷贝（拷贝整个数组内容） | 值拷贝（仅拷贝描述符） |
| 初始化 | [3]int{1, 2, 3} | make([]int, 3, 5)或[]int{1, 2} |
4. 深度揭秘：切片的“扩容”真相
当切片长度（Len）超过容量（Cap）时，Go 会自动触发扩容，这一步揭示了切片的动态本质：
- 申请新内存：根据扩容策略开辟一块更大的新空间。
- 数据迁移：将旧数组的内容拷贝到新数组。
- 指针重定向：切片的 Data 指针指向新地址，旧数组若无引用则被 GC 回收。
本质原理：切片的灵活性是以运行时开销为代价换取的。因此，如果你能预估数据量，在使用make时指定cap，可以极大地减少内存重新分配的次数。
5. 总结：如何选择？
- 使用数组的情况：当你完全确定数据规模（例如 IPv4 地址的 4 个字节），且希望数据在栈上分配以追求极致性能时。
- 使用切片的情况：90% 的业务场景。它提供了动态扩展的能力，且函数间传递性能极高。
一句话总结：数组是“物理容器”，切片是“逻辑窗口”。数组负责持有内存，切片负责灵活表现。
