Go での配列の処理

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)
    }
}

作成者は、arr2 と arr が別個のエンティティであると予想していたにもかかわらず、なぜ arr2 がシャッフル関数の影響を受けるのかについて混乱を表明しました。

明確化

この問題は、配列とスライスの間の誤解から生じています。

配列とスライススライス

配列は値の固定長のコレクションですが、スライスは基になる配列への動的参照です。提供されたコード例では、配列は使用されていません。

スライス操作

arr := []int{1, 2, 3, 4, 5} 行匿名の基になる配列を参照するスライスを作成します。後続の arr2 := arr 行はこの参照を単純に複製するため、arr と arr2 の両方が同じ基になる配列を指すことになります。 shuffle 関数では、基になる配列ではなく、スライスのコピーが作成されます。このコピーは関数によって変更されるため、arr が変更されると arr2 も影響を受けます。

結論

Go では、スライスは基になる配列への参照として動作します。あるスライスを別のスライスに割り当てると、基になる配列ではなく参照がコピーされます。この概念は、Go でのスライス操作を理解するために非常に重要です。