17.5.1 try!

match를 사용하여 결과를 연쇄적으로 처리하는건 직관적이지 않다; 다행히, try! 매크로로 다시 보기 좋게 만들 수 있게 만들 수 있다. try! 매크로는 match 표현의 확장으로, Err(err) 분기를 조기에 return Err(err)로 확장하고 Ok(ok) 분기를 ok 표현으로 확장한다.

mod checked {
    #[derive(Debug)]
    enum MathError {
        DivisionByZero,
        NegativeLogarithm,
        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::NegativeLogarithm)
        } else {
            Ok(x.ln())
        }
    }

    // 중간 함수
    fn op_(x: f64, y: f64) -> MathResult {
        // `div`가 실패하면 `DivisionByZero`가 `return`된다.
        let ratio = try!(div(x, y));

        // `ln`이 "실패"하면 `NegativeLogarithm`은 `return`된다.
        let ln = try!(ln(ratio));

        sqrt(ln)
    }

    pub fn op(x: f64, y: f64) {
        match op_(x, y) {
            Err(why) => panic!(match why {
                MathError::NegativeLogarithm
                    => "logarithm of negative 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);
}

결과를 Result로 매핑/작성 하는데는 여러 방법이 있으니 문서를 확인하세요.

results matching ""

    No results matching ""