在Golang开发中，数组和切片是两种常用的集合类型，但很多开发者尤其是初学者经常会混淆两者的特性和使用场景，导致代码出现不符合预期的行为。两者的核心差异体现在底层实现、传递方式、长度特性等多个方面，理解这些差异是正确使用的核心前提。
数组与切片的定义差异
数组是固定长度的同类型元素序列，定义时需要明确指定长度，长度是数组类型的一部分，不同长度的同元素类型数组属于不同类型。切片则是基于数组的抽象，长度可变，定义时不需要指定长度，切片本身是一个包含指向底层数组指针、长度和容量的结构体。
以下是两者的定义示例：
package main
import "fmt"
func main() {
// 定义长度为3的int类型数组
var arr [3]int
arr[0] = 1
arr[1] = 2
arr[2] = 3
// 定义int类型切片
var slice []int
slice = append(slice, 1)
slice = append(slice, 2)
slice = append(slice, 3)
fmt.Println("数组:", arr)
fmt.Println("切片:", slice)
}
内存存储特性对比
数组是值类型，变量直接存储整个数组的所有元素，内存空间在定义时就已经分配完成，元素连续存储在栈或堆上（取决于是否逃逸）。切片是引用类型，变量存储的是一个切片结构体，包含指向底层数组的指针、当前长度和最大容量，切片本身占用的内存很小，实际数据存储在底层数组中。
我们可以通过下面的代码观察两者的内存地址差异：
package main
import "fmt"
func main() {
arr := [3]int{1, 2, 3}
slice := []int{1, 2, 3}
// 数组取第一个元素的地址，和数组起始地址一致
fmt.Printf("数组起始地址: %p, 第一个元素地址: %pn", &arr, &arr[0])
// 切片取第一个元素的地址，和切片结构体地址不同
fmt.Printf("切片结构体地址: %p, 第一个元素地址: %pn", &slice, &slice[0])
}
函数传递时的行为差异
由于数组是值类型，作为参数传递给函数时，会复制整个数组的所有元素，函数内部修改数组不会影响原数组。切片是引用类型，传递时复制的是切片结构体，底层数组指针指向同一个底层数组，函数内部修改切片元素会影响原切片，修改切片的长度或容量不会影响原切片的长度和容量。
以下是传递行为的示例：
package main
import "fmt"
// 接收数组参数，修改数组元素
func modifyArr(a [3]int) {
a[0] = 100
}
// 接收切片参数，修改切片元素
func modifySlice(s []int) {
s[0] = 100
// 追加元素，不会影响原切片的长度
s = append(s, 4)
}
func main() {
arr := [3]int{1, 2, 3}
slice := []int{1, 2, 3}
modifyArr(arr)
modifySlice(slice)
fmt.Println("修改后的数组:", arr) // 输出 [1 2 3]，未被修改
fmt.Println("修改后的切片:", slice) // 输出 [100 2 3]，第一个元素被修改
}
长度与容量特性对比
数组的长度在定义后就固定不可变，无法追加元素，长度就是数组类型的一部分，比如[3]int和[4]int是完全不同的两种类型。切片的长度可以动态变化，通过append函数可以追加元素，当长度超过容量时会自动扩容，扩容时会创建新的底层数组并复制原有元素。
我们可以通过表格更清晰地对比两者的核心特性：
| 对比维度 | 数组 | 切片 |
|---|---|---|
| 类型定义 | 需要指定长度，长度是类型一部分 | 不需要指定长度，长度不是类型一部分 |
| 存储类型 | 值类型，直接存储所有元素 | 引用类型，存储指向底层数组的指针 |
| 长度特性 | 固定不可变 | 动态可变，支持追加 |
| 函数传递 | 传递副本，修改不影响原数组 | 传递结构体副本，修改元素影响原切片 |
| 适用场景 | 长度固定、需要值传递的场景 | 长度动态变化、需要引用传递的场景 |
常见使用误区提醒
很多开发者会误以为切片和数组可以随意互转，实际上数组可以通过切片表达式转换为切片，比如arr[:]会得到一个指向该数组的切片，但切片转换为数组需要Go 1.17及以上版本支持的泛型转换方式，且转换后的数组是副本。另外，不要将数组作为函数参数传递，除非明确需要值拷贝，否则优先使用切片可以减少内存开销。
以下是数组转切片的示例：
package main
import "fmt"
func main() {
arr := [3]int{1, 2, 3}
// 数组转切片
slice := arr[:]
slice[0] = 100
// 修改切片会影响原数组，因为底层数组是同一个
fmt.Println("原数组:", arr) // 输出 [100 2 3]
}
理解数组和切片的差异是Golang开发的基础，在实际开发中需要根据场景选择合适的类型，避免因类型混淆导致的逻辑错误。