Golang数组与切片区别解析

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

Golang中的数组是固定长度的，切片则更加灵活，可以动态增长。数组是值类型，切片是引用类型，理解这一点至关重要。

数组在内存中分配一块连续的空间来存储元素，而切片则是一个指向底层数组的指针、长度和容量的结构体。

数组与切片的区别，以及底层实现原理：

数组和切片在内存分配上的差异？

数组在声明时就确定了大小，编译器会为其分配一块连续的内存空间，大小等于元素类型大小乘以数组长度。例如，[3]int 类型的数组会分配 3 * sizeof(int) 字节的内存。数组是值类型，这意味着当数组作为参数传递给函数时，会发生完整的拷贝。

切片则不同。切片本身是一个结构体，包含指向底层数组的指针、长度（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 切片没有底层数组。