Go中数组的处理答案

【问题标题】：Treatment of Arrays in GoGo中数组的处理
【发布时间】：2011-05-12 10:11:08
【问题描述】：

在http://golang.org/doc/effective_go.html#arrays阅读以下内容...

数组是值。将一个数组分配给另一个数组会复制所有元素。

特别是，如果将数组传递给函数，它将收到一个副本数组，而不是指向它的指针。

...我希望在下面的代码中arr2 与arr 不同，main() 的arr 与shuffle() 的arr 不同。有人可以解释为什么下面的代码洗牌arr2吗？我知道 Go 仍然是一门年轻的语言；也许数组的处理方式发生了变化？

package main

import (
        "fmt"
        "rand"
        "time"
)

func shuffle(arr []int) {
        rand.Seed(time.Nanoseconds())
        for i := len(arr) - 1; i > 0; i-- {
                j := rand.Intn(i)
                arr[i], arr[j] = arr[j], arr[i]
        }
}

func main() {
        arr := []int{1, 2, 3, 4, 5}
        arr2 := arr
        shuffle(arr)
        for _, i := range arr2 {
                fmt.Printf("%d ", i)
        }
}

【问题讨论】：

注意：你的 shuffle() 函数应该使用 j := rand.Intn(i + 1) 否则你排除了元素保留在原地的可能性，因此例如洗牌 {1, 2} 将始终导致 {2, 1} 并且永远不会其他可能的{1, 2} 结果。

标签： arrays go

【解决方案1】：

我认为你的问题是你混淆了数组和切片。

数组是固定长度的值列表。您实际上没有在示例中使用任何数组。数组可以通过以下几种方式声明：

arr1 := [3]int{1, 2, 3}   // an array of 3 integers, 1-3
arr2 := [...]int{1, 2, 3} // same as the previous line, but we're letting
                          // the compiler figure out the size of the array
var arr3 [3]int           // a zeroed out array of 3 integers

您正在使用切片。切片是对底层数组的引用。有几种分配新切片的方法：

slice1 := []int{1, 2, 3}    // a slice of length 3 containing the integers 1-3
slice2 := make([]int, 3)    // a slice of length 3 containing three zero-value integers
slice3 := make([]int, 3, 5) // a slice of length 3, capacity 5 that's all zeroed out

任何其他切片分配都只是复制对数组的引用。

现在我们已经确定了，这条线

arr := []int{1, 2, 3, 4, 5}

创建一个引用匿名底层数组的切片，其中包含数字 1-5。

arr2 := arr

复制该引用——它确实不复制底层数组。所以有一个底层数组和两个对它的引用。这就是为什么当你修改 arr 的内容时 arr2 的内容会改变。它们引用的是同一个数组。

【讨论】：