处理Go语言中的数组

Question

阅读以下内容：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)
        }
}

- Timothy

---

注意：你的 shuffle() 函数应该使用 j := rand.Intn(i + 1)，否则你会排除一个元素保持原位的可能性，因此例如对 {1, 2} 进行洗牌总是得到 {2, 1} 而不是另一种可能的 {1, 2} 结果。 - icza

Answer 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的内容也会发生变化。它们引用的是同一个数组。

- Evan Shaw