golang 数组与切片的深度对比

在 Go 语言中，数组（Array）和切片（Slice）是两种重要的数据结构，但它们在设计、使用场景和特性上有显著区别。以下是它们的详细对比：

1. 定义与大小

2. 内存分配

3. 灵活性

4. 底层实现

• 数组

  • 数组是值类型，直接存储元素。
  • 例如，[5]int{1, 2, 3, 4, 5} 是一块连续的内存，存储了 5 个整数。

• 切片

  • 切片是引用类型，其结构体包含：
    • 指针：指向底层数组的第一个元素。
    • 长度（len）：当前切片包含的元素数量。
    • 容量（cap）：从底层数组第一个元素到末尾的元素数量。
  • 例如，slice := arr[1:3] 会创建一个切片，指向 arr[1]，长度为 2，容量为 len(arr) - 1。

5. 使用场景

6. 示例代码

数组

// 固定长度的数组
var arr [3]int = [3]int{1, 2, 3}
fmt.Println(arr) // [1 2 3]

// 传递数组会复制整个数组
func modifyArray(arr [3]int) {
    arr[0] = 100
}
modifyArray(arr)
fmt.Println(arr) // [1 2 3]（原数组未被修改）

切片

// 动态长度的切片
slice := []int{1, 2, 3}
fmt.Println(slice) // [1 2 3]

// 传递切片共享底层数组
func modifySlice(slice []int) {
    slice[0] = 100
}
modifySlice(slice)
fmt.Println(slice) // [100 2 3]（原切片被修改）

// 动态扩容
slice = append(slice, 4, 5)
fmt.Println(slice) // [100 2 3 4 5]

7. 常见问题与注意事项

1. 切片扩容

   • 当切片容量不足时，append 会重新分配底层数组，并将原数据复制到新数组中。
   • 新容量通常是原容量的 2 倍（当原容量小于 1024 时），超过 1024 后按 1.25 倍增长。

2. 切片共享底层数组的风险

   • 多个切片可能共享同一个底层数组，修改其中一个切片可能影响其他切片。
   • 示例：

     arr := [5]int{1, 2, 3, 4, 5}
     s1 := arr[1:3]  // [2, 3]
     s2 := arr[2:4]  // [3, 4]
     s1[0] = 100     // 修改 s1 的第一个元素
     fmt.Println(s2) // [100, 4]（s2 的第一个元素也被修改）
     

3. 空切片与空数组

   • 空数组（[0]int{}）和空切片（[]int{}）是不同的，空切片指向 nil，但可以动态添加元素。

总结

最佳实践：

• 优先使用切片，因为其灵活性和高效性。
• 仅在需要严格固定大小或性能敏感的小规模数据时使用数组。