结果 Result
我们前面已经看到 Option
枚举可以用于函数可能失败的返回值,其中 None
可以返回以表明失败。但是有时要强调为什么一个操作会失败。为达成这点,我们提供了 Result
枚举。
Result<T, E>
枚举拥有两个变量:
Ok(value)
表示操作成功,并装包操作返回的value
(value
拥有T
类型)。Err(why)
,表示操作失败,并装包why
,它(能按照所希望的方式)解释了失败的原因(why
拥有E
类型)。
mod checked { // 我们想要捕获的数学“错误” #[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 { // 此操作将会失败,反而让我们返回失败的理由,并装包成 `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 { // 这是一个三层的匹配金字塔! // (原文:This is a three level match pyramid!) 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)); }