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

new([]int) выделяет память под нулевое значение среза и возвращает указатель на него. Поэтому p не равен nil, но *p — nil-срез. make([]int, 0) создаёт непосредственно пустой ненулевой срез, поэтому s == nil ложно.

Обе переменные поддерживают append, потому что nil-срез допустим для этой операции. Результат append нужно присвоить обратно: функция может изменить заголовок среза — его длину, capacity и ссылку на массив.

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

В Go разделены две операции с разной семантикой: new создаёт нулевое значение типа и возвращает его адрес, а make подготавливает значения специальных типов — срезов, map и каналов — для непосредственного использования.

Такой подход опирается на концепцию полезного нулевого значения. Например, nil-срез можно читать, передавать, измерять через len и расширять через append, не выполняя отдельную инициализацию.

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

Ошибочное понимание new([]int) может привести к лишнему указателю или к ожиданию, что new сразу создаст массив элементов. На самом деле он создаёт только нулевое значение самого типа []int, то есть заголовок среза с нулевыми длиной и capacity.

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

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

new(T) возвращает значение типа *T, указывающее на нулевое значение T. В случае new([]int) тип T — это срез, поэтому выражение *p имеет тип []int и изначально равно nil.

make([]int, 0) возвращает значение типа []int, а не указатель. Это пустой, но ненулевой срез с длиной и capacity, равными нулю. Конкретное выделение backing array для нулевой длины не следует считать гарантированным и обычно не имеет практического значения.

p := new([]int)       // *p — nil-срез
s := make([]int, 0)   // s — пустой ненулевой срез

fmt.Println(*p == nil, s == nil) // true false

*p = append(*p, 7) // обновляется заголовок среза по адресу p
s = append(s, 7)   // обновляется локальная переменная s

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

Обычно new([]int) не нужен: если требуется обычный срез, используют var s []int для nil-среза или make([]int, 0) для явно ненулевого пустого среза. Указатель на срез оправдан только тогда, когда отдельно требуется изменять сам объект-срез через указатель или различать отсутствие указателя и наличие nil-среза.

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

В структуре конфигурации разработчик объявил поле *[]string, чтобы постепенно добавлять значения, и получил лишний уровень косвенности: пришлось писать *p = append(*p, value). Вариант с обычным []string проще: nil-срез уже поддерживает append, а отсутствие значений представляется его нулевым состоянием.

Вариант с make([]string, 0) полезен, когда контракт явно требует ненулевой пустой срез, например при сериализации или сравнении с nil. Однако это не универсальная гарантия формата вывода: конкретное поведение сериализатора определяется его правилами.

Выбран обычный []string с добавлением через append, потому что он не требует указателя, корректно работает в нулевом состоянии и уменьшает риск забыть присвоить обновлённый заголовок. *[]string оставляют только при реальной необходимости различать несколько состояний владения или менять поле через указатель.

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

1. Выделяет ли new([]int) backing array для элементов?

Нет. new выделяет место под значение типа []int, то есть под заголовок среза. Сам nil-срез не ссылается на массив элементов; backing array может появиться позднее при append или другой операции, создающей вместилище.

2. Почему недостаточно написать append(*p, 7) без присваивания?

Потому что результатом append является новый заголовок среза. Даже если элементы попадут в существующий backing array, длина исходного заголовка не изменится автоматически. Нужно написать *p = append(*p, 7) или передать срез в функцию, которая вернёт обновлённый срез.

3. Чем new([3]int) отличается от make([]int, 3)?

new([3]int) возвращает *[3]int — указатель на массив фиксированной длины три. make([]int, 3) возвращает []int длиной три, причём его длину можно изменить через операции со срезом, например после append с использованием дополнительной capacity. Это разные типы и разные модели владения последовательностью элементов.