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

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

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

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

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

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

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

При этом не каждый результат обязан обрабатываться одинаково. Иногда вызывающий код намеренно отказывается от результата, поэтому компилятор не запрещает игнорирование безусловно: он выдаёт предупреждение, которое можно явно подавить.

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

Для Result<T, E> Rust применяет lint unused_must_use, когда значение результата просто вычислено и отброшено. Предупреждение появляется не во время выполнения и не означает, что ошибка автоматически обработана.

fn send() -> Result<(), &'static str> {
    Err("сервис недоступен")
}

fn main() {
    send();          // предупреждение: Result проигнорирован
    let _ = send();  // результат отброшен явно
}

В первом вызове программа всё равно продолжит выполнение: предупреждение не превращает Result в panic и не выполняет автоматический retry. Во втором вызове let _ = выражает намерение сознательно отбросить значение; это отличается от случайного одиночного вызова.

Предупреждение можно повысить до ошибки сборки настройками lint, например в CI. Но must_use не проверяет, правильно ли обработан Result: вызов unwrap, запись в лог или возврат через ? с точки зрения компилятора уже означает использование значения, хотя логика приложения при этом может оставаться ошибочной.

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

Функция сохранения состояния возвращает Result, но вызывающий код запускает её как отдельное выражение и сразу сообщает пользователю, что операция завершена. Предупреждение must_use указывает на потенциальную потерю ошибки.

Есть несколько вариантов. Игнорирование результата устраняет шум, но скрывает реальные сбои. Логирование сохраняет информацию для диагностики, однако не сообщает об ошибке непосредственному вызывающему коду. Возврат Result через ? позволяет верхнему уровню выбрать реакцию, но требует, чтобы цепочка вызывающих функций тоже описывала возможную ошибку.

Для критичного сохранения выбран возврат ошибки через ?, а на границе пользовательского интерфейса — преобразование ошибки в понятное сообщение. Явное игнорирование оставлено только для некритичной телеметрии, где потеря отдельного события допустима. В результате предупреждение стало проверкой архитектурного решения, а не препятствием компиляции.

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

Означает ли must_use, что Rust запрещает игнорировать Result?

Нет. Обычно это предупреждение lint unused_must_use, и его можно подавить явным использованием значения, например через let _ =, либо настройкой уровня lint. Такой дизайн позволяет отличить намеренное игнорирование от случайного.

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

Почему проверка must_use не гарантирует корректную обработку ошибки?

Компилятор проверяет факт использования значения, а не смысл этого использования. Вызовы unwrap, expect, преобразование в другой тип или передача Result в функцию считаются использованием, хотя могут привести к panic, потере контекста или дальнейшему игнорированию ошибки.

Поэтому must_use обнаруживает только один класс дефектов — полное случайное отбрасывание результата. Выбор стратегии обработки остаётся частью проектирования API и бизнес-логики.

Чем намеренное отбрасывание Result отличается от вызова функции, которая ничего не возвращает?

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

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