Golang切片是引用类型,基于底层数组的指针、长度和容量实现;创建方式包括基于数组、字面量和make函数;append操作可能触发扩容,扩容时若原容量小于1024则翻倍,否则增加1/4;扩容会分配新数组并复制数据,导致地址变化;为避免频繁扩容应预先设置足够容量;copy函数复制时以较短切片为准;nil切片可直接append;注意越界、共享底层数组及nil判断等常见问题。

Golang切片操作的核心在于理解其底层结构和动态扩容机制。掌握这些,才能写出高效且避免bug的代码。
解决方案:
Golang切片(slice)并非数组,它是一个对底层数组的引用。切片包含三个关键属性:指针(指向底层数组的起始位置)、长度(切片中元素的个数)和容量(底层数组可容纳的元素个数)。
切片创建:
立即学习“go语言免费学习笔记(深入)”;
// 1. 基于数组创建切片
arr := [5]int{1, 2, 3, 4, 5}
slice1 := arr[1:3] // slice1 引用 arr 的索引 1 到 2 的元素,不包含索引3
// 2. 直接创建切片
slice2 := []int{6, 7, 8} // 长度和容量都为 3
// 3. 使用 make 函数创建切片
slice3 := make([]int, 5) // 长度为 5,容量为 5,元素初始化为 0
slice4 := make([]int, 5, 10) // 长度为 5,容量为 10,元素初始化为 0切片操作:
- append: 向切片末尾追加元素。如果超出容量,会触发扩容。
- len: 获取切片长度。
- cap: 获取切片容量。
- copy: 复制切片。
动态扩容:
当使用
append向切片追加元素,且切片的长度超出容量时,Golang 会自动进行扩容。 扩容策略并非简单的翻倍,而是会根据切片的当前容量进行调整。
- 如果原容量小于 1024,则容量翻倍。
- 如果原容量大于等于 1024,则增加 1/4 的容量,直到超过所需容量。
需要注意的是,扩容会创建一个新的底层数组,并将原数组的数据复制到新数组中。 这意味着,扩容后的切片不再引用原来的底层数组。
slice := []int{1, 2, 3}
fmt.Printf("len=%d cap=%d addr=%p\n", len(slice), cap(slice), slice) // len=3 cap=3 addr=0xc0000100b0
slice = append(slice, 4)
fmt.Printf("len=%d cap=%d addr=%p\n", len(slice), cap(slice), slice) // len=4 cap=6 addr=0xc000012080 地址发生了变化
slice = append(slice, 5, 6, 7)
fmt.Printf("len=%d cap=%d addr=%p\n", len(slice), cap(slice), slice) // len=7 cap=12 addr=0xc000014040 地址再次发生变化为什么切片扩容后地址会变化?
切片扩容实际上是创建了一个新的数组,并将原数组的数据复制到新数组中。由于是新的数组,因此地址自然也发生了变化。这也就是为什么对扩容后的切片进行修改,不会影响到原切片或原数组的原因。
切片扩容的底层原理是什么?
切片扩容的底层实现位于
runtime包中的
growslice函数。这个函数会根据当前切片的容量和所需容量,计算出新的容量,并分配新的内存空间。然后,使用
memmove函数将原数组的数据复制到新数组中。最后,返回一个新的切片,该切片指向新数组。
如何避免频繁的切片扩容?
频繁的切片扩容会影响程序的性能。为了避免这种情况,可以在创建切片时,预先分配足够的容量。
// 预先分配容量为 10 的切片
slice := make([]int, 0, 10)
for i := 0; i < 10; i++ {
slice = append(slice, i)
}这样,在向切片追加元素时,就不会触发扩容,从而提高程序的性能。
切片和数组有什么区别?
- 数组是值类型,切片是引用类型。 数组在赋值和传递时会复制整个数组,而切片只复制切片的指针、长度和容量。
-
数组的长度是固定的,切片的长度是可变的。 切片可以通过
append
函数动态增加长度。 - 数组的容量等于长度,切片的容量可以大于等于长度。
-
数组可以直接比较,切片不能直接比较。 需要使用
reflect.DeepEqual
函数进行比较。
切片拷贝有哪些需要注意的地方?
使用
copy函数进行切片拷贝时,需要注意以下几点:
copy
函数会将源切片的数据复制到目标切片中。copy
函数的返回值是实际复制的元素个数,它等于源切片和目标切片长度的最小值。- 如果目标切片的长度小于源切片的长度,则只会复制目标切片长度个元素。
- 如果目标切片的长度大于源切片的长度,则会将源切片的所有元素复制到目标切片中,剩余的元素保持不变。
src := []int{1, 2, 3, 4, 5}
dst := make([]int, 3)
n := copy(dst, src) // 将 src 的前 3 个元素复制到 dst 中
fmt.Println(dst, n) // [1 2 3] 3
dst2 := make([]int, 10)
n2 := copy(dst2, src) // 将 src 的所有元素复制到 dst2 中
fmt.Println(dst2, n2) // [1 2 3 4 5 0 0 0 0 0] 5如何理解切片的“零值”?
切片的零值是
nil。一个
nil切片既没有底层数组,长度和容量都为 0。
var slice []int fmt.Println(slice == nil) // true fmt.Println(len(slice)) // 0 fmt.Println(cap(slice)) // 0
可以向一个
nil切片追加元素,这会触发扩容,创建一个新的底层数组。
var slice []int slice = append(slice, 1, 2, 3) fmt.Println(slice) // [1 2 3]
使用切片时,应该避免哪些常见的错误?
- 切片越界: 访问切片时,索引不能超出切片的长度。
- 修改切片影响原数组: 如果切片是基于数组创建的,修改切片会影响原数组。
- 扩容后的切片仍然引用原数组: 扩容后切片不再引用原数组,修改扩容后的切片不会影响原数组。
-
忘记切片的零值是 nil: 需要注意
nil
切片的特殊性。
通过理解切片的底层结构、扩容机制以及常见的错误,可以更加熟练地使用切片,编写出高效且健壮的 Golang 代码。










