Keyboard shortcuts

Press or to navigate between chapters

Press S or / to search in the book

Press ? to show this help

Press Esc to hide this help

?

Ланцюжок результатів за допомогою match може стати досить неохайним; на щастя, оператор ? можна використати, щоб знову зробити все охайним. ? використовується в кінці виразу, що повертає Result, і є еквівалентом виразу match, де гілка Err(err) розгортається в раннє return Err(From::from(err)), а гілка Ok(ok) розгортається у вираз ok.

mod checked {
    #[derive(Debug)]
    enum MathError {
        DivisionByZero,
        NonPositiveLogarithm,
        NegativeSquareRoot,
    }

    type MathResult = Result<f64, MathError>;

    fn div(x: f64, y: f64) -> MathResult {
        if y == 0.0 {
            Err(MathError::DivisionByZero)
        } else {
            Ok(x / y)
        }
    }

    fn sqrt(x: f64) -> MathResult {
        if x < 0.0 {
            Err(MathError::NegativeSquareRoot)
        } else {
            Ok(x.sqrt())
        }
    }

    fn ln(x: f64) -> MathResult {
        if x <= 0.0 {
            Err(MathError::NonPositiveLogarithm)
        } else {
            Ok(x.ln())
        }
    }

    // Проміжна функція
    fn op_(x: f64, y: f64) -> MathResult {
        // якщо `div` "зазнає невдачі", тоді `DivisionByZero` буде `return`ed
        let ratio = div(x, y)?;

        // якщо `ln` "зазнає невдачі", тоді `NonPositiveLogarithm` буде `return`ed
        let ln = ln(ratio)?;

        sqrt(ln)
    }

    pub fn op(x: f64, y: f64) {
        match op_(x, y) {
            Err(why) => panic!("{}", match why {
                MathError::NonPositiveLogarithm
                    => "logarithm of non-positive number",
                MathError::DivisionByZero
                    => "division by zero",
                MathError::NegativeSquareRoot
                    => "square root of negative number",
            }),
            Ok(value) => println!("{}", value),
        }
    }
}

fn main() {
    checked::op(1.0, 10.0);
}

Обов’язково перегляньте документацію, оскільки існує багато методів для map/compose Result.