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

При успешном Result оператор ? извлекает значение T и передаёт его во внешнее выражение, обычно перемещая его без копирования. Если T не реализует Copy, исходное значение после этого нельзя использовать как владельца повторно.

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

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

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

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

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

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

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

Для выражения типа Result<T, E> оператор ? концептуально проверяет вариант результата. При Ok(value) он извлекает value и возвращает его как значение всего выражения; при Err(error) немедленно завершает текущую функцию соответствующей ошибкой.

Если T является владеющим типом, например String или Vec<u8>, успешное значение обычно перемещается. Копирования содержимого не происходит. После перемещения исходное владеющее значение нельзя использовать, если тип не поддерживает Copy или если заранее не был создан заём.

fn length(input: Result<String, &'static str>) -> Result<usize, &'static str> {
    let text = input?;
    Ok(text.len())
}

fn main() {
    let result = Ok(String::from("Rust"));
    let size = length(result).unwrap();
    println!("{}", size);
}

В этом примере строка перемещается из успешного Result в локальную переменную text. Затем text используется для вычисления длины и освобождается в обычном порядке. Оператор ? не клонирует строку и не делает владение разделяемым.

Если результат содержит ссылку, например Result<&str, E>, перемещается сама ссылка, а не данные, на которые она указывает. Если нужно сохранить доступ к исходному объекту, можно работать с заимствованным представлением, например предварительно использовать as_ref, получив Result<&T, &E>, либо явно сопоставить варианты через match.

Конкретное поведение также зависит от того, является ли тип Copy. Числовые типы обычно копируются при присваивании, поэтому перемещение может быть незаметно, но для String, Vec<T> и большинства пользовательских структур оно является явным ограничением.

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

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

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

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

Можно ли использовать исходный Result после успешного применения ??

Если Result<T, E> владеет некопируемым T, обычно нельзя. Применение ? потребляет значение результата, чтобы извлечь T, поэтому повторное обращение к тому же Result будет обращением к перемещённому значению. Для сохранения доступа нужно заранее получить ссылку или явно обработать результат без перемещения.

Всегда ли ? перемещает данные из успешного результата?

Нет. Он извлекает значение согласно типу выражения и правилам владения Rust. Для Result<&T, E> перемещается ссылка, но не объект T; для типов Copy значение копируется семантически; при работе с as_ref извлекается заимствованная ссылка вместо владеющего значения.

Как сохранить исходное значение и одновременно корректно распространить ошибку?

Нужно выбрать заимствование или явное сопоставление вариантов. Например, as_ref позволяет проверить Result<T, E> через Result<&T, &E>, не забирая T; это удобно, если после проверки требуется использовать исходный объект. Если вызывающему коду нужна собственная копия, её следует создать осознанно через clone, принимая стоимость копирования и требования к реализации Clone.