Что можно делать с неинициализированным слайсом?

Работа с неинициализированным слайсом в Go

Неинициализированный слайс в Go — это переменная типа slice, которая была объявлена, но не инициализирована с помощью make(), литерала слайса или среза другого слайса/массива. Такой слайс имеет нулевое значение (nil).

Основные характеристики nil-слайса

var s []int      // s == nil, len(s) == 0, cap(s) == 0
fmt.Println(s == nil)  // true

Что можно делать с nil-слайсом

1. Безопасные операции чтения

• Проверка на nil: if s == nil
• Получение длины: len(s) всегда возвращает 0
• Получение емкости: cap(s) всегда возвращает 0

var s []string
fmt.Println(len(s))     // 0
fmt.Println(cap(s))     // 0
fmt.Println(s == nil)   // true

2. Итерация по nil-слайсу

Цикл for range безопасно работает с nil-слайсом — тело цикла просто не выполняется:

var nums []int
for i, v := range nums {
    fmt.Println(i, v)   // Этот код никогда не выполнится
}

3. Использование в функциях стандартной библиотеки

Многие функции append, copy и функции из пакетов fmt, sort корректно обрабатывают nil-слайсы:

var data []byte
data = append(data, "hello"...)  // Создает новый слайс
fmt.Println(data)                // [104 101 108 108 111]

4. Операции среза (slicing)

С nil-слайсом можно выполнять операции среза, результатом всегда будет nil:

var s []int
s1 := s[:]      // s1 == nil
s2 := s[0:0]    // s2 == nil (даже при нулевых границах)

5. Сравнение с nil

Nil-слайсы равны только nil, два nil-слайса одного типа нельзя сравнить между собой напрямую:

var s1, s2 []int
// fmt.Println(s1 == s2) // Ошибка компиляции!
fmt.Println(s1 == nil && s2 == nil) // true

Что НЕЛЬЗЯ делать с nil-слайсом

1. Обращение по индексу

Попытка чтения или записи по индексу вызовет панику:

var s []int
// s[0] = 1      // panic: runtime error: index out of range [0] with length 0
// x := s[0]     // аналогичная паника

2. Передача в функции, ожидающие инициализированный слайс

Некоторые функции могут некорректно работать с nil:

// Предполагаем, что функция internalProcess требует инициализированный слайс
func internalProcess(data []int) {
    for i := 0; i < len(data); i++ {
        data[i] *= 2  // Безопасно, если len(data)==0
    }
}

Практическое применение nil-слайсов

Идиоматические шаблоны использования

1. Возврат ошибок из функций:

func FindUsers(query string) ([]User, error) {
    if query == "" {
        return nil, errors.New("empty query")
    }
    // ... возвращаем реальные данные или пустой слайс
}

1. Ленивая инициализация (lazy initialization):

type Cache struct {
    items []CacheItem
}

func (c *Cache) GetItems() []CacheItem {
    if c.items == nil {
        return []CacheItem{} // Возвращаем пустой, но не nil слайс
    }
    return c.items
}

1. Отличие "нет данных" от "пустые данные":

// nil - данные не загружались
// []T{} - данные загружены, но список пуст

Рекомендации по использованию

• append к nil-слайсу всегда создает новый аллоцированный слайс
• Для JSON-сериализации nil-слайс становится null, а пустой слайс []
• В публичных API часто предпочтительнее возвращать пустой слайс вместо nil (принцип "nil — это не пустой слайс")
• При проверке используйте len(s) == 0 вместо s == nil, если логика не различает эти состояния

Производительность

С точки зрения производительности, nil-слайс:

• Занимает нулевую память в куче
• append к nil работает так же эффективно, как к пустому слайсу
• Копирование nil-слайса (copy(dst, src)) безопасно и не требует проверок

Заключение

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