Go语言数组（Array）的特性
在go语言中，数组是一种具有固定长度的同类型元素序列。数组的长度是其类型的一部分，这意味着[5]int和[10]int是两种完全不同的类型。go语言中的数组具有以下关键特性：
- 值类型（Value Type）：数组是值类型。当一个数组赋值给另一个数组时，会复制所有元素。
- 固定长度：数组一旦声明，其长度就不能改变。
- 按值传递：当数组作为函数参数传递时，函数会接收到数组的一个完整副本，而不是指向原数组的指针。这意味着函数内部对数组的修改不会影响到原始数组。
以下是一个数组声明和按值传递的示例：
package main
import "fmt"
func modifyArray(arr [3]int) {
arr[0] = 99 // 修改的是副本
fmt.Println("Inside modifyArray:", arr)
}
func main() {
var a [3]int = [3]int{1, 2, 3}
fmt.Println("Original array:", a)
modifyArray(a)
fmt.Println("After modifyArray:", a) // 原始数组未被修改
}输出结果：
Original array: [1 2 3] Inside modifyArray: [99 2 3] After modifyArray: [1 2 3]
Go语言切片（Slice）的特性
与数组不同，切片提供了一种更强大、更灵活的数据结构。切片是对底层数组的一个抽象，它本身不存储任何数据，而是描述了底层数组的一个连续片段。切片具有以下关键特性：
- 引用类型（Reference Type）：切片是一个引用类型，它包含一个指向底层数组的指针、切片的长度（len）和容量（cap）。当切片作为函数参数传递时，复制的是这个切片结构体，但指向的底层数组是同一个。因此，函数可以通过这个指针修改底层数组的数据。
- 动态长度：切片的长度是可变的，可以通过append函数进行扩展。
- 基于数组：切片总是基于一个底层数组。
- 切片字面量：声明切片时，与数组字面量类似，但省略了元素数量。例如：[]int{1, 2, 3}。
以下是一个切片声明和引用传递的示例：
立即学习“go语言免费学习笔记（深入）”；
package main
import (
"fmt"
"sort" // 引入sort包用于对切片排序
)
func modifySlice(s []int) {
s[0] = 99 // 修改的是底层数组的数据
fmt.Println("Inside modifySlice:", s)
}
func main() {
var s []int = []int{1, 5, 2, 3, 7} // 这是一个切片字面量
fmt.Println("Original slice:", s)
modifySlice(s)
fmt.Println("After modifySlice:", s) // 原始切片（底层数组）被修改
// 使用sort.Ints对切片进行排序
sort.Ints(s)
fmt.Println("After sort.Ints:", s) // 切片内容被修改
}输出结果：
Original slice: [1 5 2 3 7] Inside modifySlice: [99 5 2 3 7] After modifySlice: [99 5 2 3 7] After sort.Ints: [2 3 5 7 99]
核心混淆点解析：sort.Ints为何能修改变量？
许多初学者会将var av = []int{1,5,2,3,7}这样的声明误认为是数组，但实际上，这是一种切片字面量的声明方式。在Go语言中，当你省略了方括号[]中的元素数量时，你声明的便是一个切片，而不是一个数组。
问题中提到的代码：
var av = []int{1,5,2,3,7}
fmt.Println(av)
sort.Ints(av)
fmt.Println(av)这里的av是一个切片。sort.Ints函数的签名是func Ints(a []int)，它明确要求一个[]int类型的切片作为参数。由于切片是引用类型，sort.Ints函数接收到的是切片结构体的一个副本，其中包含一个指向av底层数组的指针。因此，sort.Ints通过这个指针可以直接修改底层数组的元素，从而导致原始切片av的内容被排序。
注意事项：如果你尝试将一个真正的数组传递给sort.Ints，Go编译器会报错，因为它期望的是一个切片（[]int），而不是一个固定大小的数组（例如[5]int）。
package main
import (
"fmt"
"sort"
)
func main() {
var arr [5]int = [5]int{1, 5, 2, 3, 7} // 这是一个真正的数组
fmt.Println("Original array:", arr)
// sort.Ints(arr) // 编译错误：cannot use arr (type [5]int) as type []int in argument to sort.Ints
}总结与最佳实践
| 特性 | 数组（Array） | 切片（Slice） |
|---|---|---|
| 类型 | 值类型 | 引用类型 |
| 长度 | 固定长度，长度是类型的一部分 | 动态长度，可在运行时改变 |
| 传递 | 按值传递，函数接收副本 | 传递切片结构体副本（包含底层数组指针），函数可修改底层数据 |
| 声明 | [N]Type{...}，例如 [3]int{1,2,3} | []Type{...}，例如 []int{1,2,3} |
| 用途 | 适用于长度已知且不需改变的场景，如矩阵、固定大小缓冲区 | Go语言中最常用的序列类型，灵活、高效，推荐使用 |
在Go语言的日常开发中，切片因其灵活性和强大的功能而成为处理同类型元素序列的首选。数组通常用于某些特定的底层数据结构实现，或者当需要严格控制内存布局且长度固定不变的场景。理解数组和切片之间的核心差异，特别是它们的值类型和引用类型特性，对于编写健壮、高效的Go代码至关重要。始终记住，[]Type{...}声明的是切片，而不是数组。
