Оператор ? и From в Rust

fn load(p: &str) -> Result<Config, Error> {
    let text = fs::read_to_string(p)?;
    let cfg = toml::from_str(&text)?;
    Ok(cfg)
}

Проверьте себя

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

1. #rs_question_op1 / 5
   Можно ли применять ? в функции, возвращающей Option?

   A)Да: None приводит к раннему возврату None

   B)Да, но только после преобразования Option в Result

   C)Нет: ? работает только с Result

   D)Да, и None при этом превращается в Err с пустой причиной

   показать ответ и разбор

   +A)Да: None приводит к раннему возврату None

   // разбор: Оператор определён через трейт Try, и Option его реализует: v? даёт значение при Some и мгновенно возвращает None при None. Удобно в цепочках поиска — first()?, get(k)?, parse().ok()?. Смешивать типы нельзя: в Option-функции ? применяют к Option, в Result-функции — к Result.

2. #rs_question_op2 / 5
   Что позволяет писать ? для разных источников ошибок в функции с Box<dyn Error>?

   A)Компилятор стирает тип ошибки и подставляет универсальную обёртку

   B)Специальное правило оператора ? для трейт-объектов

   C)Сплошная реализация From: ошибка оборачивается в Box

   D)Автоматическая реализация Error для всех типов в крейте

   показать ответ и разбор

   +C)Сплошная реализация From: ошибка оборачивается в Box

   // разбор: В стандартной библиотеке есть impl<E: Error + 'static> From<E> for Box<dyn Error>, поэтому ? заворачивает любую подходящую ошибку в трейт-объект. Это быстрый способ склеить разнородные ошибки в приложении. Плата — вызывающий видит только Display и source, разобрать конкретный тип можно лишь через downcast.

3. #rs_question_op3 / 5
   Что произойдёт при ? внутри main, объявленной как fn main() -> Result<(), Box<dyn Error>>?

   A)Ошибка молча игнорируется, код возврата остаётся нулевым

   B)Программа паникует с сообщением об ошибке и стеком вызовов

   C)Компилятор не разрешит объявить main с типом Result

   D)Программа напечатает ошибку и вернёт ненулевой код

   показать ответ и разбор

   +D)Программа напечатает ошибку и вернёт ненулевой код

   // разбор: Такой main разрешён с 2018-й редакции: рантайм печатает Error: {:?} в stderr и выставляет ненулевой код возврата. Из-за Debug вывод выглядит сыровато (Os { code: 2, kind: NotFound }), поэтому в CLI-утилитах ошибку обычно ловят руками и печатают через Display, а код возврата задают явно.

4. #rs_question_op4 / 5
   Оператор ? делает ранний возврат. Что происходит с уже созданными в функции значениями?

   A)Они перемещаются в возвращаемую ошибку для последующей очистки

   B)Для них вызываются деструкторы, как при обычном возврате

   C)Их освобождает вызывающая функция, когда разберёт Err

   D)Они остаются в памяти до конца программы: ранний выход пропускает Drop

   показать ответ и разбор

   +B)Для них вызываются деструкторы, как при обычном возврате

   // разбор: Ранний выход через ? — обычный возврат из функции: компилятор вставляет вызовы drop для всех живых локальных значений в обратном порядке. Поэтому файл закроется, блокировка снимется, соединение вернётся в пул. Это и делает RAII устойчивым к путям с ошибками — забыть освобождение на «плохой ветке» невозможно.

5. #rs_question_op5 / 5
   Где можно писать оператор ?

   A)В функции с типом возврата i32: компилятор подберёт подходящую обёртку сам

   B)В функциях, возвращающих Result, Option или другой тип с реализацией Try

   C)Только в функциях, возвращающих Result с ошибкой Box<dyn Error>

   D)Везде, кроме замыканий и тел асинхронных функций и блоков

   показать ответ и разбор

   +B)В функциях, возвращающих Result, Option или другой тип с реализацией Try

   // разбор: Оператор разворачивается в ранний возврат, поэтому тип возврата функции обязан его допускать: Result, Option или свой тип с реализацией Try. В обычной функции с возвратом i32 компилятор скажет, что ? тут неприменим. В замыканиях и async-блоках оператор работает, но соотносится с их собственным типом результата, а не с типом внешней функции — это частый источник путаницы.