数组是值类型且长度固定,赋值和传参时会拷贝;切片是引用类型,动态可变,包含指针、长度和容量,通过append可扩容,传递高效。

在go语言中,Array(数组)和slice(切片)是两种常见的数据结构,它们看起来相似,但本质和使用方式有显著区别。理解它们的不同,对写出高效、安全的Go代码至关重要。
数组是固定长度的序列
数组在声明时必须指定长度,且长度不可更改。它的类型由元素类型和长度共同决定,例如 [3]int 和 [4]int 是不同类型。
由于长度固定,数组在赋值或作为参数传递时会进行**值拷贝**,效率较低,通常不推荐直接使用数组传参。
示例:
立即学习“go语言免费学习笔记(深入)”;
var arr1 [3]int = [3]int{1, 2, 3}
arr2 := arr1 // arr2 是 arr1 的副本,修改互不影响
arr2[0] = 99
fmt.Println(arr1) // 输出:[1 2 3]
fmt.Println(arr2) // 输出:[99 2 3]
切片是对数组的引用封装
切片不是数组,而是对数组的一层抽象。它包含三个部分:指向底层数组的指针、长度(len)和容量(cap)。切片可以动态增长(通过append),使用更灵活。
切片在赋值或传参时传递的是“引用信息”,不会复制整个数据,因此性能更好。
创建切片的方式:
- 基于数组或切片截取:s := arr[0:2]
- 使用字面量:s := []int{1, 2, 3}
- 使用make函数:s := make([]int, 3, 5)
示例:
立即学习“go语言免费学习笔记(深入)”;
arr := [5]int{1, 2, 3, 4, 5}
s1 := arr[0:3] // 切片 s1 指向 arr 的前三个元素
s2 := append(s1, 6, 7) // 可能扩容,也可能共享底层数组
s1[0] = 99 // 若未扩容,会影响原数组
fmt.Println(arr) // 输出可能为:[99 2 3 4 5]
切片的动态扩容机制
当切片容量不足时,append操作会自动分配更大的底层数组,并将原数据复制过去。新容量的增长策略大致遵循:小于1024时翻倍,大于1024时按一定比例增长。
扩容后,新切片不再与旧底层数组关联,因此不会影响原始数据。
判断是否扩容的小技巧:
s := make([]int, 2, 4)
s = append(s, 1, 2)
oldCap := cap(s)
s = append(s, 3)
newCap := cap(s)
if newCap > oldCap {
fmt.Println(“发生了扩容”)
}
实际使用建议
Go中几乎所有的动态序列操作都使用切片而非数组。数组更适合用于固定大小的场景,比如表示RGB颜色[3]byte,或作为底层存储被切片引用。
函数参数应优先使用切片类型,避免不必要的拷贝:
func process(data []int) { … }
而不是:
func process(arr [3]int) { … }
基本上就这些。掌握array和slice的核心差异,有助于写出更清晰、高效的Go程序。关键点在于:数组是值,固定长度;切片是引用,动态可变。