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

Пустой идентификатор _ принимает значение, но не сохраняет его в доступной переменной. При этом выражение справа от присваивания всё равно вычисляется, поэтому его побочные эффекты сохраняются.

_ нельзя прочитать, передать по адресу или использовать позже. Это явный способ сообщить компилятору, что конкретный результат намеренно отбрасывается.

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

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

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

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

Если функция возвращает несколько значений, часть из них может быть не нужна в конкретном месте. Простое удаление ненужной переменной невозможно, поскольку синтаксис присваивания должен принять все возвращаемые значения.

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

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

В присваивании с _ правая часть вычисляется полностью, после чего значение, соответствующее пустому идентификатору, просто не сохраняется. Сам _ не является обычным именем: у него нет значения, области хранения или адреса.

Например:

package main

import (
    "fmt"
    "strconv"
)

func main() {
    n, _ := strconv.Atoi("42")
    fmt.Println(n)
}

Здесь результат преобразования числа сохраняется в n, а ошибка преобразования отбрасывается. Вызов strconv.Atoi всё равно выполняется, поэтому _ не является механизмом пропуска вычисления.

Пустой идентификатор можно использовать при присваивании, объявлении переменных, импорте пакета ради побочного эффекта и в некоторых других конструкциях языка. Но смысл остаётся одинаковым: результат или имя намеренно не становится доступным для дальнейшего использования.

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

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

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

Рассматривались два варианта. Отбрасывание ошибки с помощью _ проще и короче, но скрывает причину сбоя. Обработка ошибки требует нескольких строк, зато позволяет вернуть клиенту понятный ответ и не продолжать расчёт с недействительными данными.

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

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

Прекращает ли _ выполнение выражения справа?

Нет. Все выражения справа вычисляются до присваивания. Если вместо результата вызывается функция, она выполнится полностью, включая побочные эффекты и возможную панику.
Можно ли использовать _ как временную переменную?

Нет. В отличие от обычного имени, пустой идентификатор нельзя прочитать, передать в функцию или взять у него адрес. Каждое присваивание в _ независимо от предыдущих: значение нигде не сохраняется для последующего доступа.
Зачем используется импорт с пустым идентификатором?

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