• 结果 Result

    结果 Result

    我们前面已经看到 Option 枚举可以用于函数可能失败的返回值，其中 None 可以返回以表明失败。但是有时要强调为什么一个操作会失败。为达成这点，我们提供了 Result 枚举。

    Result<T, E> 枚举拥有两个变量：

    • Ok(value) 表示操作成功，并装包操作返回的 value（value 拥有 T 类型）。
    • Err(why)，表示操作失败，并装包 why，它（能按照所希望的方式）解释了失败的原因（why 拥有 E 类型）。
    1. mod checked {
    2.     // 我们想要捕获的数学“错误”
    3.     #[derive(Debug)]
    4.     pub enum MathError {
    5.         DivisionByZero,
    6.         NegativeLogarithm,
    7.         NegativeSquareRoot,
    8.     }
    10.     pub type MathResult = Result<f64, MathError>;
    12.     pub fn div(x: f64, y: f64) -> MathResult {
    13.         if y == 0.0 {
    14.             // 此操作将会失败，反而让我们返回失败的理由，并装包成 `Err`
    15.             Err(MathError::DivisionByZero)
    16.         } else {
    17.             // 此操作是有效的，返回装包成 `Ok` 的结果
    18.             Ok(x / y)
    19.         }
    20.     }
    22.     pub fn sqrt(x: f64) -> MathResult {
    23.         if x < 0.0 {
    24.             Err(MathError::NegativeSquareRoot)
    25.         } else {
    26.             Ok(x.sqrt())
    27.         }
    28.     }
    30.     pub fn ln(x: f64) -> MathResult {
    31.         if x < 0.0 {
    32.             Err(MathError::NegativeLogarithm)
    33.         } else {
    34.             Ok(x.ln())
    35.         }
    36.     }
    37. }
    39. // `op(x, y)` === `sqrt(ln(x / y))`
    40. fn op(x: f64, y: f64) -> f64 {
    41.     // 这是一个三层的匹配金字塔！
    42.     // （原文：This is a three level match pyramid!）
    43.     match checked::div(x, y) {
    44.         Err(why) => panic!("{:?}", why),
    45.         Ok(ratio) => match checked::ln(ratio) {
    46.             Err(why) => panic!("{:?}", why),
    47.             Ok(ln) => match checked::sqrt(ln) {
    48.                 Err(why) => panic!("{:?}", why),
    49.                 Ok(sqrt) => sqrt,
    50.             },
    51.         },
    52.     }
    53. }
    55. fn main() {
    56.     // 这会失败吗？
    57.     println!("{}", op(1.0, 10.0));
    58. }