Result

우리는 실패할 수 있는 함수로부터 None을 반환하여 실패를 나타낼 때 Option 열거형이 사용될 수 있음을 보았습니다. 하지만 때로는 작업이 왜 실패했는지 표현하는 것이 중요합니다. 이를 위해 우리는 Result 열거형을 가지고 있습니다.

Result<T, E> 열거형은 두 가지 변체를 가집니다:

• Ok(value): 작업이 성공했음을 나타내며, 작업에 의해 반환된 value를 감쌉니다. (value는 T 타입을 가집니다)
• Err(why): 작업이 실패했음을 나타내며, 실패의 원인을 설명하는 (바라건대) why를 감쌉니다. (why는 E 타입을 가집니다)

mod checked {
    // 우리가 포착하고 싶은 수학적 "에러"들
    #[derive(Debug)]
    pub enum MathError {
        DivisionByZero,
        NonPositiveLogarithm,
        NegativeSquareRoot,
    }

    pub type MathResult = Result<f64, MathError>;

    pub fn div(x: f64, y: f64) -> MathResult {
        if y == 0.0 {
            // 이 작업은 실패하게 되므로, 대신 실패의 원인을
// `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::NonPositiveLogarithm)
        } else {
            Ok(x.ln())
        }
    }
}

// `op(x, y)` === `sqrt(ln(x / y))`
fn op(x: f64, y: f64) -> f64 {
    // 이것은 3단계 `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));
}