Что лежит в поле Pointer структуры слайса?

Структура слайса в Go

В языке Go слайс (slice) является динамической оболочкой над массивом, и его внутренняя структура определена в стандартной библиотеке. Точное представление можно найти в пакете runtime, и оно выглядит следующим образом:

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

Поле Pointer (array unsafe.Pointer)

Поле array (которое в исходниках часто упоминается как Pointer) является указателем на первый элемент базового массива. Это ключевой элемент, обеспечивающий связь слайса с памятью.

unsafe.Pointer — это специальный тип, который позволяет обходить систему типов Go и работать с памятью напрямую. В контексте слайса это поле хранит адрес начала массива данных, на который ссылается слайс. Именно этот указатель делает слайсы дешевыми в копировании — при передаче слайса в функцию или присваивании копируется только эта структура (три поля), а не сами данные массива.

Практическое значение и примеры

1. Связь слайсов с базовым массивом Когда слайс создается из массива или другого слайса, поле array указывает на тот же участок памяти. Это приводит к явлению aliasing — несколько слайсов могут разделять один массив.

arr := [5]int{1, 2, 3, 4, 5}
slice1 := arr[1:4]  // slice1.array указывает на arr[1]
slice2 := arr[2:5]  // slice2.array указывает на arr[2]

// Изменение через slice1 влияет на arr и slice2
slice1[0] = 99
fmt.Println(arr)    // [1, 99, 3, 4, 5]
fmt.Println(slice2) // [99, 3, 4]

1. Изменение слайса внутри функций Поскольку передается копия структуры слайса, но указатель остается на тот же массив, изменение элементов внутри функции видно снаружи. Однако изменение len или cap локальной копии не влияет на оригинал.

func modifySlice(s []int) {
    s[0] = 100  // Изменяется базовый массив
    s = append(s, 6)  // Локально изменяет len/cap, но не оригинал
}

original := []int{1, 2, 3}
modifySlice(original)
fmt.Println(original) // [100, 2, 3] - первый элемент изменен

1. Переаллокация при append Когда операция append превышает cap, происходит создание нового массива, и поле array меняется, указывая на новый участок памяти. Это разрывает связь с исходным массивом.

sliceA := []int{1, 2, 3}
sliceB := sliceA[:]

sliceB = append(sliceB, 4, 5)  // Переаллокация, cap превышен
sliceB[0] = 999
fmt.Println(sliceA) // [1, 2, 3] - не изменился, array стал другим
fmt.Println(sliceB) // [999, 2, 3, 4, 5]

Нюансы работы с unsafe.Pointer

Поле array является unsafe.Pointer, что дает низкоуровневый контроль, но требует осторожности:

• Он позволяет реализовывать высокопроизводительные операции (например, копирование через runtime.memmove).
• При прямом использовании через пакет unsafe можно нарушить безопасность памяти и систему типов.
• Это поле никогда не должно быть nil для валидного слайса — даже пустые слайсы обычно имеют указатель на какой-либо массив (возможно, нулевой длины).

Таким образом, поле Pointer (array unsafe.Pointer) в структуре слайса — это фундаментальный механизм, обеспечивающий эффективность работы со динамическими последовательностями данных в Go, связывая абстрактный слайс с конкретной памятью массива.