17.5 Result
전에 봤듯이 Option enum이 실패할 수 있는 함수들의 반환 값으로 사용될 수 있고, None은 실패를 나타내기 위해 반환될 수 있다. 하지만, 가끔 동작이 왜 실패하는지 표현하는게 중요한다. 이를 위해 Result num 을 사용한다.
Result<T, E> enum 은 두 가지 변수형을 갖는다:
Ok(value)가 나타내는 것은 동작이 성공했다는 것이고, 연산이 반환하는value를 포장한다. (valuehas typeT)Err(why), 가 나타내는 것은 동작이 실패했다는 것이고, (기대하는)실패의 원인을 설명하는why를 포장한다. (whyhas typeE)
mod checked {
// 수학적 "errors" 를 잡아보고자 한다.
#[derive(Debug)]
pub enum MathError {
DivisionByZero,
NegativeLogarithm,
NegativeSquareRoot,
}
pub type MathResult = Result<f64, MathError>;
pub fn div(x: f64, y: f64) -> MathResult {
if y == 0.0 {
// 이 동작은 `fail`할 것, 대신 실패 원인을 `Err`로
// 포장하여 반환하자.
Err(MathError::DivisionByZero)
} else {
// 이 동작은 정상, 결과를 `Ok`로 포장해 반환한다.
Ok(x / y)
}
}
pub fn sqrt(x: f64) -> MathResult {
if x < 0.0 {
Err(MathError::NegativeSquareRoot)
} else {
Ok(x.sqrt())
}
}
pub fn ln(x: f64) -> MathResult {
if x < 0.0 {
Err(MathError::NegativeLogarithm)
} else {
Ok(x.ln())
}
}
}
// `op(x, y)` === `sqrt(ln(x / y))`
fn op(x: f64, y: f64) -> f64 {
// 삼단 레벨 match 피라미드!
match checked::div(x, y) {
Err(why) => panic!("{:?}", why),
Ok(ratio) => match checked::ln(ratio) {
Err(why) => panic!("{:?}", why),
Ok(ln) => match checked::sqrt(ln) {
Err(why) => panic!("{:?}", why),
Ok(sqrt) => sqrt,
},
},
}
}
fn main() {
// 이건 실패할까?
println!("{}", op(1.0, 10.0));
}