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
로 매핑/작성 하는데는 여러 방법이 있으니 문서를 확인하세요.