Как функция Go без возвращаемых значений модифицирует данные?

Question

Я не понимаю, как срез bubbleSort () a применяется к main ().

Я не даю return a и не пишу глобальную переменную.

package main

import (
    "fmt"
)

func bubbleSort(a []int) {
    var temp int
    for j := 0; j < len(a); j++ {
        for i := 0; i < (len(a) - 1); i++ {
            if a[i] > a[i+1] {
                temp = a[i]
                a[i] = a[i+1]
                a[i+1] = temp
            }
        }
    }
}

func inputNums() []int {
    var input int
    var number int

    fmt.Scan(&input)
    s := make([]int, input)

    for i := 0; i < input; i++ {
        fmt.Scan(&number)
        s[i] = number
    }
    return s
}

func outputNums(b []int) {
    for i := 0; i < len(b); i++ {
        fmt.Print(b[i])
        fmt.Print(" ")
    }
}

func main() {
    nums := inputNums()
    bubbleSort(nums)
    outputNums(nums)
}

Answer 1

src/runtime/slice.go

type slice struct {
  array unsafe.Pointer
  len   int
  cap   int
}

---

В Go все аргументы передаются по значению. Дескриптор слайса, структура, передается по значению, как если бы он был назначен. Дескриптор слайса содержит указатель на базовый массив.

func bubbleSort(a []int) получает аргумент a по значению, но использует указатель a.array для изменения базовых элементов массива.

---

Ссылки:

Блог Go: Go Slices: использование и внутреннее оборудование

Спецификация языка программирования Go