Какие операции и функции безопасны для nil-среза в Go?

Какие операции и функции безопасны для nil-среза в Go?

• Context: Go, срезы (slice)
• nil-срез — срез со значением nil и нулевой длиной
• Методы (функции) для срезов — как правило, это функции пакета sort, append и операции индексирования
• В Go у срезов нет собственных методов, как у структур: методы принадлежат типам, а для срезов используются встроенные функции
• Безопасно выполнять: - len(nilSlice) → 0
• cap(nilSlice) → 0
• append(nilSlice, elems...) → создаст новый срез с элементами
• Чтение элемента по индексу приведёт к panic, если срез пустой или nil
• nil-срез функционально похож на пустой срез, однако память под него не выделяется
• Важно: с nil-срезом безопасны операции получения длины, capacity и добавления элементов, но индексирование недопустимо

Итог: для nil-среза безопасно использовать функции len, cap, append. Собственных прямых методов у среза нет, а обращение по индексу приводит к panic.

Подробный ответ

Основной ответ

В Go nil-срез — это срез, у которого указатель, длина и ёмкость имеют нулевые значения. При этом для nil-среза доступны все методы и операции, поддерживаемые обычными срезами, кроме непосредственного обращения к элементу по индексу: попытка прочитать элемент завершится panic. Большинство встроенных функций и операций корректно обрабатывают nil-срез, воспринимая его как пустой.

Ключевые моменты

• У nil-среза len(nil-среза) == 0 и cap(nil-среза) == 0, поэтому вызовы len и cap безопасны.
• Допустима, например, операция append(nilSlice, elem): она создаст новый срез с элементом и позволит быстро инициализировать срез.
• Методы для срезов, например если срез является полем структуры с методами, будут вызваны, однако их реализация должна учитывать возможное nil-состояние и корректно его обрабатывать.
• Встроенные функции для срезов, например copy(dst, nilSlice), вернут 0, поскольку nil-срез не содержит элементов.
• Нельзя выполнять индексацию или использовать срезы вида nilSlice[0] — это вызовет panic из-за выхода за границы.

Практический контекст

В прикладном коде nil-срезы часто выступают в роли "пустых" срезов и помогают экономить память, поскольку занимают 0 байт. Благодаря этому не требуется создавать отдельный срез, а операции append, len, range и обход можно выполнять безопасно. Начиная с Go 1.15+ это стандартный безопасный паттерн работы со срезами в интерфейсах и методах, где nil- и пустой срез считаются идентичными.