arrays - Go 中数组的处理

Question

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

• Arrays are values. Assigning one array to another copies all the elements.
• In particular, if you pass an array to a function, it will receive a copy of the array, not a pointer to it.

...我希望在下面的代码中 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)
        }
}

Answer 1

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

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

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

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

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

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

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

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

创建一个引用包含数字 1-5 的匿名底层数组的 slice 。

arr2 := arr

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