Что будет со слайсом, если его передать не по указателю в функцию, которая сортирует слайс и ничего не возвращает?

Влияние передачи слайса без указателя при сортировке

Когда слайс передаётся в функцию без указателя в Go, формально передается копия структуры слайса. Однако эта структура содержит указатель на базовый массив, который не копируется. Поэтому изменения элементов внутри массива будут видны за пределами функции. Но изменения длины (len) и capacity (cap) слайса внутри функции, связанные с операциями изменения размера (например, append), не будут видны в исходном слайсе.

Подробное объяснение

Слайс в Go — это структура данных, состоящая из трех компонентов:

• ptr — указатель на первый элемент базового массива
• len — текущая длина
• cap — вместимость (capacity)

type slice struct {
    ptr *[]T
    len int
    cap int
}

При передаче слайса в функцию по значению (без указателя) копируются поля len и cap, а также указатель ptr. Но сам базовый массив не копируется.

func sortSlice(s []int) {
    // Здесь s — локальная копия структуры слайса,
    // но ptr указывает на тот же массив, что и исходный слайс
    sort.Ints(s) // Изменения массива будут видны внешне
}

Пример с сортировкой

Рассмотрим конкретный пример:

package main

import (
    "fmt"
    "sort"
)

func sortWithoutPointer(s []int) {
    sort.Ints(s) // Сортирует базовый массив
    // Попробуем изменить len/cap
    s = append(s, 100) // Это создает новый слайс локально
}

func main() {
    original := []int{3, 1, 4, 2}
    fmt.Println("Original before:", original, len(original), cap(original))
    
    sortWithoutPointer(original)
    
    fmt.Println("Original after:", original, len(original), cap(original))
    // Вывод:
    // Original before: [3 1 4 2] 4 4
    // Original after: [1 2 3 4] 4 4
}

Что происходит:

1. Сортировка работает: sort.Ints(s) изменяет элементы в базовом массиве, поэтому исходный слайс видит отсортированные данные.
2. Изменения длины не видны: append(s, 100) внутри функции может:
   • Если capacity достаточно, добавить элемент в тот же массив и увеличить локальное len
   • Если capacity недостаточно, создать новый массив и вернуть новый слайс с новым ptr В обоих случаях изменения len и ptr в локальной копии не отражаются на исходном слайсе.

Ключевые выводы

• Изменения элементов массива будут видны, потому что обе структуры слайса (оригинал и копия) указывают на тот же массив.
• Изменения метаданных слайса (len, cap) внутри функции не переносятся на оригинал, потому что копируются только эти поля.
• Функции сортировки (как sort.Ints) обычно работают корректно даже без указателя, поскольку они меняют элементы массива, но не меняют len/cap.

Когда это важно

Разница становится критичной при использовании append или операций, меняющих размер:

func appendInFunction(s []int) {
    s = append(s, 999) // Локально изменяется len и возможно ptr
    // Оригинальный слайс вне функции НЕ увидит 999
}

func appendWithPointer(s *[]int) {
    *s = append(*s, 999) // Изменения видны внешне
}

Рекомендации

Для сортировки обычно передача без указателя достаточно, поскольку стандартные функции сортировки не меняют размер. Для операций, которые могут изменить размер слайса (append, slice manipulation), лучше передавать по указателю либо возвращать новый слайс.

// Предпочтительные подходы:
func safeAppend(s []int) []int {
    return append(s, 100) // Возвращаем новый слайс
}

func modifySlice(s *[]int) {
    *s = append(*s, 100) // Модифицируем через указатель
}

Таким образом, для вашего конкретного случая функция сортировки без указателя будет успешно сортировать элементы исходного слайса, но любые попытки изменить размер слайса внутри функции не будут отражаться на оригинальной переменной.