Алиасинг append в Go: проверяйте пути со свободной ёмкостью и перевыделением памяти

Что это такое

Статья Go о срезах объясняет, что срез — представление лежащего в его основе массива и что получение нового среза из существующего не копирует массив. Добавление может использовать свободную ёмкость или выделить новое хранилище. Поэтому два похожих вызова могут проявлять разное поведение алиасинга в зависимости от ёмкости входного среза. Go slices: usage and internals

Почему это важно

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

Как применять

• Изобразите базовый массив, начало, длину и ёмкость каждого среза. Определите, какие существующие значения могут быть перезаписаны, если append повторно использует хранилище.
• Укажите контракт владения функции в документации. Если результат должен быть независимым, скопируйте нужные данные в хранилище с отдельным владельцем, не полагаясь на случайное перевыделение при append.
• Предложите два сценария с одинаковыми видимыми входными значениями: один со свободной ёмкостью, другой требующий расширения. Сохраните отдельный наблюдающий срез, чтобы обнаружить непредусмотренные изменения.
• Включите обычное обновление элемента наряду с поведением append. Одно лишь ограничение ёмкости для append не делает уже общие элементы независимыми.
• Для небольшого сохраняемого результата из большого ввода учитывайте время жизни базового массива. Проверьте, выражает ли явное копирование предполагаемую границу удержания данных.

Подводные камни

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