При копировании элементов между перекрывающимися участками среза какой результат гарантирует встроенная фун...

Краткий ответ

copy корректно работает с перекрывающимися участками срезов: исходные элементы не искажаются из-за последовательного затирания. Функция копирует не более min(len(dst), len(src)) элементов и возвращает фактическое количество скопированных элементов.

Исторический контекст

Срез в Go представляет дескриптор участка непрерывной памяти, поэтому разные срезы могут ссылаться на один и тот же массив. При перемещении данных такие участки нередко перекрываются, и обычное последовательное присваивание могло бы уничтожить ещё не прочитанные исходные значения.

Встроенная copy предоставляет единый безопасный механизм для такого случая. Она скрывает детали перемещения данных и задаёт предсказуемую семантику независимо от перекрытия областей.

Постановка проблемы

Предположим, нужно сдвинуть элементы среза вправо или влево внутри того же базового массива. Если читать и записывать элементы в неподходящем направлении вручную, уже записанное значение может заменить исходное значение, которое ещё требовалось прочитать.

Неверный подход приводит не к панике, а к тихому повреждению данных. Это особенно опасно при обработке буферов, удалении элементов из середины среза и компактном хранении последовательностей.

Подробное решение

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

Количество копируемых элементов равно длине меньшего из двух срезов. Если один из срезов пуст или равен nil, функция ничего не копирует и возвращает ноль; это не является ошибкой.

package main

import "fmt"

func main() {
    data := []int{1, 2, 3, 4, 5}
    n := copy(data[1:], data[:4])
    fmt.Println(data, n)
}

Здесь участки data[1:] и data[:4] перекрываются. Результат будет [1 1 2 3 4], а n — 4: каждый элемент назначения получает исходное значение из соответствующей позиции источника.

copy принимает срезы, а не произвольные массивы напрямую. Для копирования массивов обычно сначала получают срез всего массива. Копирование также не изменяет длину среза: оно меняет только существующие элементы назначения.

Ситуация из практики

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

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

Что кандидаты часто упускают

1. Что произойдёт, если длины исходного и целевого срезов различаются?

   Будет скопировано min(len(dst), len(src)) элементов. Лишние элементы более длинного среза не участвуют в операции, а возвращаемое значение позволяет проверить фактический объём копирования.

2. Является ли copy ошибкой, если один из срезов равен nil?

   Нет. nil-срез допустим как источник или назначение. Его длина равна нулю, поэтому операция ничего не изменяет и возвращает 0. Это отличается от обращения к элементу nil-среза по индексу, которое вызвало бы панику.

3. Уменьшает ли copy длину назначения после удаления элементов?

   Нет. copy изменяет значения элементов, но не поля дескриптора среза len и cap. После сдвига хвоста длину нужно изменить отдельной операцией, иначе логически удалённый элемент всё ещё останется доступен через текущую длину среза.