Обробка помилок і ? Оператор

Філософія Rust заохочує вас чітко розпізнавати можливість помилок і структурувати свій код для їх обробки до компіляції програми.

Помилки в Rust поділяються на дві основні категорії: невиправні помилки (які викликають негайне припинення через макрос panic!) і виправні помилки (керовані за допомогою типу Result<T, E>).

Тип результату<T, E> і відповідність шаблону

Більшість помилок, які можна виправити, повертають тип Result<T, E>, який є переліком, визначеним як:

enum Result<T, E> {
    Ok(T),
    Err(E),
}

Ми можемо використовувати зіставлення за зразком, щоб перевірити результат:

use std::fs::File;

fn main() {
    let greeting_file_result = File::open("hello.txt");

    let greeting_file = match greeting_file_result {
        Ok(file) => file,
        Err(error) => panic!("Problem opening the file: {:?}", error),
    };
}

Поширення помилки за допомогою оператора ?

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

Rust надає оператор ? як синтаксичний ярлик для поширення помилок. Якщо значення Result дорівнює Ok, вираз повертає внутрішнє значення Ok; якщо це Err, помилка Err повертається з усієї поточної функції, як якщо б ми використовували return Err(...).

use std::fs::File;
use std::io::{self, Read};

fn read_username_from_file() -> Result<String, io::Error> {
    let mut username_file = File::open("username.txt")?;
    let mut username = String::new();
    username_file.read_to_string(&mut username)?;
    Ok(username)
}

[!ВАЖЛИВО] Оператор ? можна використовувати лише у функціях, які повертають тип, сумісний із значенням, до якого він застосований (зазвичай Result, Option або типи, що реалізують FromResidual).

Спеціальні помилки

Ми можемо визначити власні власні типи помилок, реалізувавши властивість std::fmt::Display (і, за бажанням, std::error::Error), щоб забезпечити зрозуміле для людини представлення помилки:

use std::fmt;

#[derive(Debug)]
struct MyError {
    details: String,
}

impl fmt::Display for MyError {
    fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
        write!(f, "Error: {}", self.details)
    }
}

impl std::error::Error for MyError {}

Спробуйте самі

Вправа 1: Читання файлу за допомогою ? оператор

Вправа 2: Синтаксичний розбір і подвоєння числа

Вправа 3: визначення власної помилки