阐述一下Go 如何Array 类型的值作为函数参数？

八股文_Go基础 0 27

参考回答

在 Go 中，当将 Array 类型作为函数参数时，数组会 按值传递，即函数接收到的是数组的副本，而不是原数组的引用。因此，对函数参数中的数组进行修改，不会影响到原数组。

示例代码：

package main

import "fmt"

func modifyArray(arr [3]int) {
    arr[0] = 42
}

func main() {
    array := [3]int{1, 2, 3}
    modifyArray(array)
    fmt.Println(array) // 输出：[1 2 3]
}

在这个例子中，函数 modifyArray 修改了数组的第一个元素，但对原数组并没有影响，因为传递的是数组的副本。

详细讲解与拓展

1. 按值传递的意义

数组在函数中是独立的拷贝，函数对拷贝的修改不会影响原数组。

数组的大小是其类型的一部分，两个数组只有在大小一致时才会被视为相同类型。

示例：

func modifyArray(arr [3]int) {
   arr[0] = 99
}

func main() {
   array := [3]int{4, 5, 6}
   modifyArray(array)
   fmt.Println("Original Array:", array) // 输出：[4 5 6]
}

2. 传递指针以修改原数组

如果需要函数修改原数组，可以传递数组的指针：

“`go
func modifyArrayPointer(arr *[3]int) {
arr[0] = 99
}

func main() {
array := [3]int{4, 5, 6}
modifyArrayPointer(&array)
fmt.Println("Modified Array:", array) // 输出：[99 5 6]
}

“`

解释：
– arr *[3]int 表示接收数组指针。
– 使用 &array 传递数组的地址，从而允许函数修改原数组。

3. 数组作为函数参数的性能问题

数组是值类型，将整个数组传递给函数会产生副本，可能会消耗较多内存和时间，尤其是数组较大时。
使用数组指针可以避免拷贝，提高性能。

4. Slice 与 Array 的对比

与数组不同，slice 是引用类型，将 slice 作为函数参数时，函数会直接操作底层数组，从而影响原始数据。

示例：

“`go
func modifySlice(slice []int) {
slice[0] = 99
}

func main() {
slice := []int{4, 5, 6}
modifySlice(slice)
fmt.Println("Modified Slice:", slice) // 输出：[99 5 6]
}

“`

5. 数组的大小是类型的一部分

在 Go 中，数组的大小是类型的一部分，数组的大小不同，则它们的类型也不同。例如：

“`go
func modifyArray(arr [4]int) {
arr[0] = 42
}

func main() {
array := [3]int{1, 2, 3}
// modifyArray(array) // 编译错误：类型不匹配
}

“`
如果数组大小不一致，编译器会报错。

6. 将数组转换为切片

可以将数组转换为切片后再传递给函数，这样就能避免拷贝整个数组：

“`go
func modifySlice(slice []int) {
slice[0] = 99
}

func main() {
array := [3]int{1, 2, 3}
modifySlice(array[:]) // 将数组转换为切片
fmt.Println("Modified Array:", array) // 输出：[99 2 3]
}

“`

总结

在 Go 中，数组作为函数参数时是 按值传递 的，函数接收到的是数组的副本，修改副本不会影响原数组。
如果需要修改原数组，可以传递数组的指针（*[N]int）。
若需要动态大小的集合或高效传递，可以使用切片（slice），切片是引用类型，对切片的操作会影响底层数组。
数组大小是其类型的一部分，数组大小不同则无法直接作为同一类型参数传递。

了解这些特性后，可以根据实际需求在数组和切片之间做出选择，优化性能和代码的灵活性。