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

В функции, возвращающей Option, оператор ? немедленно завершает текущую функцию с результатом None. Если значение присутствует, оператор извлекает его и передаёт дальше как обычное значение.

Это не преобразование None в ошибку и не вызов panic: None распространяется как штатный результат отсутствия значения.

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

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

Оператор ? появился как краткий способ последовательно обрабатывать такие типы без вложенных проверок. Он делает ранний выход явным в типе результата и сохраняет управление потоком безопасным.

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

Без ? каждый потенциально отсутствующий результат пришлось бы отдельно сопоставлять с Some и None. При нескольких последовательных операциях это приводит к глубокой вложенности или к большому числу временных переменных.

Неверная замена None на unwrap опасна: отсутствие значения, которое является допустимым сценарием, превратится в аварийное завершение. Неверное использование ? также может скрыть важное различие между «значение отсутствует» и «операция завершилась ошибкой».

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

Для Option оператор ? проверяет значение:

при Some(value) извлекает value и продолжает выполнение;
при None прекращает выполнение текущей функции и возвращает None.

fn first_number(values: &[i32]) -> Option<i32> {
    values.first().copied()
}

fn doubled_first(values: &[i32]) -> Option<i32> {
    let value = first_number(values)?;
    Some(value * 2)
}

В doubled_first пустой срез приводит к None из first_number, поэтому функция завершается до вычисления умножения. Для непустого среза ? извлекает число, и функция возвращает удвоенное значение.

Механически это ранний возврат, связанный с типом Option. В терминах более общего протокола Rust оператор ? обрабатывает специальный результат отсутствия и передаёт его наружу, а не создаёт новое значение по умолчанию.

Функция должна быть совместима с таким выходом: обычное применение ? к Option требует, чтобы возвращаемый контекст функции поддерживал возврат None. В функции, возвращающей Result, None автоматически не становится ошибкой; обычно его явно преобразуют, например через ok_or или ok_or_else.

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

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

Сервис строит URL ресурса по необязательной цепочке данных: у пользователя может отсутствовать профиль, у профиля — настройки, а в настройках — нужное поле. Отсутствие любого звена означает, что URL не нужно строить, но не является сбоем сервиса.

Вариант с unwrap короткий, но превращает обычные неполные данные в panic. Вариант с последовательными match безопасен, однако создаёт много шаблонного кода. Цепочка вызовов, возвращающих Option, с ? лучше передаёт семантику: отсутствие любого значения приводит к единому None.

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

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

1. Преобразует ли ? значение None в значение по умолчанию?

Нет. Оператор немедленно возвращает None из текущей функции и не выполняет последующий код. Значение по умолчанию можно задать отдельно с помощью методов вроде unwrap_or, но это уже другая операция с другой семантикой.

2. Можно ли применить ? к Option в функции, возвращающей Result?

Напрямую — нет, потому что None и Err представляют разные варианты завершения. Нужно явно определить преобразование: например, заменить None на конкретную ошибку через ok_or_else; тогда оператор ? будет распространять уже полученный Err.

3. Где происходит ранний возврат, если выражение с ? находится внутри замыкания?

Возврат относится к ближайшему контексту, в котором вычисляется это выражение, то есть к замыканию, если оно само является границей выполнения. Поэтому тип результата замыкания должен поддерживать соответствующий Option; ? внутри замыкания не завершает автоматически внешнюю функцию.