数组是值类型,固定长度,内存连续;切片是引用类型,动态扩容,底层指向数组。数组传参会拷贝,切片传递只拷贝指针、长度和容量。切片扩容时小于256翻倍,大于等于256增加1/4,频繁扩容可通过预设容量避免。切片零值为nil,可直接append,但不可直接访问元素。

Golang中的数组是固定长度的,切片则更加灵活,可以动态增长。数组是值类型,切片是引用类型,理解这一点至关重要。
数组在内存中分配一块连续的空间来存储元素,而切片则是一个指向底层数组的指针、长度和容量的结构体。
数组与切片的区别,以及底层实现原理:
数组和切片在内存分配上的差异?
数组在声明时就确定了大小,编译器会为其分配一块连续的内存空间,大小等于元素类型大小乘以数组长度。例如,
[3]int类型的数组会分配 3 *
sizeof(int)字节的内存。数组是值类型,这意味着当数组作为参数传递给函数时,会发生完整的拷贝。
立即学习“go语言免费学习笔记(深入)”;
切片则不同。切片本身是一个结构体,包含指向底层数组的指针、长度(len)和容量(cap)。创建切片时,如果底层数组已经存在(比如从数组创建切片),则切片指向该数组;如果使用
make()函数创建切片,则会分配一个新的底层数组。切片是引用类型,传递切片时,传递的是切片结构体本身,而不是底层数组的拷贝。这意味着多个切片可能指向同一个底层数组,修改一个切片可能会影响其他切片。容量(cap)决定了切片可以增长的最大限度,超过容量时,会分配新的底层数组,并将原有数据拷贝过去。
举个例子:
package main
import "fmt"
func main() {
arr := [3]int{1, 2, 3}
slice1 := arr[:] // 从数组创建切片
slice2 := make([]int, 3, 5) // 创建新的切片,长度为3,容量为5
fmt.Printf("数组 arr: %v, 地址: %p\n", arr, &arr)
fmt.Printf("切片 slice1: %v, 地址: %p, 底层数组地址: %p\n", slice1, &slice1, &arr) //slice1底层数组地址和arr地址相同
fmt.Printf("切片 slice2: %v, 地址: %p\n", slice2, &slice2)
}在这个例子中,
slice1指向数组
arr的底层数组,而
slice2有自己的底层数组。
切片扩容机制是怎样的?如何避免频繁扩容?
当切片的容量不足以容纳新的元素时,会触发扩容。扩容的策略并不是简单的翻倍,而是会根据当前容量的大小采取不同的策略。
- 如果当前容量小于 256,则通常会翻倍。
- 如果当前容量大于等于 256,则会增加四分之一的容量。
当然,这些策略在不同的Go版本中可能会有所不同,具体可以参考源码
runtime.growslice函数。
频繁扩容会带来性能损耗,因为每次扩容都需要分配新的内存空间,并将原有数据拷贝过去。为了避免频繁扩容,可以在创建切片时,预估切片可能需要的最大容量,并使用
make()函数指定容量。
例如,如果预计切片最多会存储 100 个元素,可以这样创建切片:
slice := make([]int, 0, 100) // 长度为0,容量为100
这样,在向切片追加元素时,只要元素数量不超过 100,就不会触发扩容。
如何理解切片的“零值”?它有什么用?
切片的零值是
nil。一个
nil切片既没有底层数组,长度和容量也都是 0。
nil切片在某些情况下很有用。例如,可以用来表示一个空集合,或者作为函数返回值的默认值。
package main
import "fmt"
func main() {
var slice []int // 声明一个切片,初始值为 nil
if slice == nil {
fmt.Println("切片是 nil")
}
// 可以直接向 nil 切片追加元素,Go 会自动分配底层数组
slice = append(slice, 1, 2, 3)
fmt.Println(slice) // 输出: [1 2 3]
}需要注意的是,虽然可以向
nil切片追加元素,但不能直接访问
nil切片的元素,否则会引发 panic。例如,
slice[0] = 1会导致 panic,因为
nil切片没有底层数组。










