Обработка массивов в 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, несмотря на то, что он ожидал, что arr2 и arr будут разными сущностями.

Разъяснение

Проблема возникает из-за неправильного понимания между массивами и срезами.

Массивы и срезы

Массивы представляют собой коллекции значений фиксированной длины, а срезы представляют собой динамические ссылки на базовые массивы. В приведенном примере кода массивы не используются.

Манипулирование срезами

Строка arr := []int{1, 2, 3, 4, 5} создает срез, ссылающийся на анонимный базовый массив. Последующая строка arr2 := arr просто дублирует эту ссылку, в результате чего и arr, и arr2 указывают на один и тот же базовый массив.

Поведение функции

При передаче arr в shuffle, создается копия среза, а не базового массива. Эта копия модифицируется функцией, поэтому arr2 также затрагивается при изменении arr.

Заключение

В Go срезы ведут себя как ссылки на базовые массивы. Присвоение одного фрагмента другому копирует ссылку, а не базовый массив. Эта концепция имеет решающее значение для понимания манипуляций срезами в Go.