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

Все поля получают нулевые значения своих типов. Числа становятся 0, bool — false, строки — пустыми, указатели, срезы, карты, каналы и интерфейсы — nil, а вложенные структуры инициализируются рекурсивно.

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

Такой подход избавляет от обязательных конструкторов и неинициализированной памяти как отдельного состояния, с которым должен работать программист. Объявление переменной сразу создаёт предсказуемое значение, пригодное для безопасного чтения.

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

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

Если разработчик ожидает, что структура автоматически станет полностью готовым объектом, возможны ошибки. Например, чтение из nil-карты допустимо, но запись в неё вызывает панику; вызов метода через nil-указатель также может завершиться аварийно.

Поэтому нужно различать корректное нулевое состояние и состояние, подготовленное для конкретной операции. Это особенно важно для структур с картами, каналами, указателями и интерфейсами.

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

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

package main

import "fmt"

type State struct {
    Count int
    Name  string
    Data  map[string]int
    Next  *State
}

func main() {
    var s State
    fmt.Printf("%d %q %v %v
", s.Count, s.Name, s.Data == nil, s.Next == nil)
}

В результате будут 0, пустая строка, true и true. Карта Data существует как нулевое значение только в смысле nil: читать из неё и проверять наличие ключа можно, но для записи требуется предварительно создать карту.

Нулевое значение часто проектируют как рабочее. Например, структура-счётчик с целочисленным полем может использоваться сразу, а sync.Mutex допускает работу со своим нулевым значением. Но если тип требует обязательного идентификатора, открытого соединения или настроенной карты, конструктор может быть оправдан.

Главный компромисс такой: поддержка полезного нулевого значения упрощает API и уменьшает число ошибок инициализации, но иногда требует ленивого создания внутренних ресурсов или явной проверки состояния.

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

Сервис хранит статистику по ключам в структуре с полем-картой. Разработчик объявляет структуру без конструктора и сразу записывает первый показатель, ожидая, что карта уже готова. Нулевая инициализация делает структуру валидной для чтения, но запись в nil-карту приводит к панике.

Вариант с обязательным конструктором явно создаёт карту. Его плюс — инвариант гарантирован сразу, минус — пользователи типа могут забыть вызвать конструктор или получить структуру через var.

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

Для внутреннего счётчика выбран тип с ленивой инициализацией и отдельной блокировкой. Это позволяет использовать нулевое значение без обязательного конструктора, а результатом становится безопасная работа как вновь созданного, так и явно инициализированного экземпляра.

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

Является ли нулевое значение структуры равным nil?

Нет. Структура — значимый тип, поэтому её нулевое значение является самой структурой с нулевыми полями. Сравнение с nil для структуры невозможно; nil относится к определённым ссылочным, указательным, интерфейсным, канальным, функциональным и срезовым значениям.

Всегда ли нулевое значение можно немедленно использовать для записи?

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

Зачем нужен конструктор, если у структуры уже есть нулевое значение?

Конструктор нужен, когда тип имеет инварианты, которые нельзя выразить одной нулевой инициализацией. Он может проверить параметры, создать внутренние карты и ресурсы или вернуть ошибку. Если же нулевое состояние полностью рабочее, отказ от обязательного конструктора обычно делает API проще и снижает количество шаблонного кода.